静态分析告警的自动化修复.pdf

《静态分析告警的自动化修复.pdf》由会员分享，可在线阅读，更多相关《静态分析告警的自动化修复.pdf（51页珍藏版）》请在三个皮匠报告上搜索。

1、Automated Repair of Static Analysis Alerts 2023 Carnegie Mellon University1DISTRIBUTION STATEMENT A This material has been approved for public release and unlimited distribution.2023 Carnegie Mellon UniversityDISTRIBUTION STATEMENT A This material has been approved for public release and unlimited d

2、istribution.Automated Repair ofStatic Analysis AlertsDavid SvobodaSoftware Security EngineerAutomated Repair of Static Analysis Alerts 2023 Carnegie Mellon University2DISTRIBUTION STATEMENT A This material has been approved for public release and unlimited distribution.Document MarkingsCopyright 202

3、3 Carnegie Mellon UniversityThis material is based upon work funded and supported by the Department of Defense under Contract No.FA8702-15-D-0002 with Carnegie Mellon University for the operation of the Software Engineering Institute,a federally funded research and development center.The view,opinio

4、ns,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 designated by other documentation.References herein to any specific commercial product,process,or service by trade name,trade mark,manufact

5、urer,or otherwise,does not necessarily constitute or imply its endorsement,recommendation,or favoring by Carnegie Mellon University or its Software Engineering Institute.NO WARRANTY.THIS CARNEGIE MELLON UNIVERSITY AND SOFTWARE ENGINEERING INSTITUTE MATERIAL IS FURNISHED ON AN AS-IS BASIS.CARNEGIE ME

6、LLON UNIVERSITY MAKES NO WARRANTIES OF ANY KIND,EITHER EXPRESSED OR IMPLIED,AS TO ANY MATTER INCLUDING,BUT NOT LIMITED TO,WARRANTY OF FITNESS 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