1、 2024 Carnegie Mellon University1Distribution Statement A Approved for public release and unlimited distribution.2024 Carnegie Mellon UniversityDistribution Statement A Approved for public release and unlimited distribution.AUGUST 2024Will Klieber and Lori FlynnUsing LLMs to Adjudicate Static-Analys
2、is Results 2024 Carnegie Mellon University2Distribution Statement A Approved for public release and unlimited distribution.Copyright 2024 Carnegie Mellon University.This material is based upon work funded and supported by the Department of Defense under Contract No.FA8702-15-D-0002 with Carnegie Mel
3、lon University for the operation of the Software Engineering Institute,a federally funded research and development center.The view,opinions,and/or findings contained in this material are those of the author(s)and should not be construed as an official Government position,policy,or decision,unless de
4、signated by other documentation.NO WARRANTY.THIS CARNEGIE MELLON UNIVERSITY AND SOFTWARE ENGINEERING INSTITUTE MATERIAL IS FURNISHED ON AN AS-IS BASIS.CARNEGIE MELLON UNIVERSITY MAKES NO WARRANTIES OF ANY KIND,EITHER EXPRESSED OR IMPLIED,AS TO ANY MATTER INCLUDING,BUT NOT LIMITED TO,WARRANTY OF FITN
5、ESS FOR PURPOSE OR MERCHANTABILITY,EXCLUSIVITY,OR RESULTS OBTAINED FROM USE OF THE MATERIAL.CARNEGIE MELLON UNIVERSITY DOES NOT MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT,TRADEMARK,OR COPYRIGHT INFRINGEMENT.DISTRIBUTION STATEMENT A This material has been approved for public re
6、lease and unlimited distribution.Please see Copyright notice for non-US Government use and distribution.This material may be reproduced in its entirety,without modification,and freely distributed in written or electronic form without requesting formal permission.Permission is required for any other