Summary Based Static Analysis for Practical Search for Defects in C Programs and Libraries

Author

Borodin, Alexey

Author_Institution

Inst. for Syst. Program., Moscow, Russia

fYear

2014

fDate

March 31 2014-April 4 2014

Firstpage

231

Lastpage

232

Abstract

This paper considers an algorithm for scalable automatic static analysis to detect defects in programs written in C. We propose a criterion for emitting warnings based on reach ability of function statements. Main advantages of the proposed approach are scalability, high true positive rate and ability to perform library analysis.

Keywords

C language; program diagnostics; program testing; reachability analysis; software libraries; C program defect detection; function statement reachability; library analysis; scalable automatic static analysis; summary-based static analysis; true-positive rate; warning emission; Conferences; Software testing; backward analysis; bug-finding; static analysis; summary-based analysis;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Testing, Verification and Validation Workshops (ICSTW), 2014 IEEE Seventh International Conference on

Conference_Location

Cleveland, OH

Type

conf

DOI

10.1109/ICSTW.2014.60

Filename

6825663

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=147929