The Static Analyzer Infer in SV-COMP (Competition Contribution)

被引：5

作者：

Kettl, Matthias ^{[1
]}

Lemberger, Thomas ^{[1
]}

机构：

[1] Ludwig Maximilians Univ Munchen, Munich, Germany

来源：

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II | 2022年 / 13244卷

关键词：

D O I：

10.1007/978-3-030-99527-0_30

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present INFER-SV, a wrapper that adapts INFER for SV-COMP. INFER is a static-analysis tool for C and other languages, developed by Facebook and used by multiple large companies. It is strongly aimed at industry and the internal use at Facebook. Despite its popularity, there are no reported numbers on its precision and efficiency. With INFER-SV, we take a first step towards an objective comparison of INFER with other SV-COMP participants from academia and industry.

引用

页码：451 / 456

页数：6

共 16 条

[1] Beyer D., 2022, P TACAS
[2] Beyer D, 2022, VERIFIERS VALIDATORS, DOI [10.5281/zenodo.5959149, DOI 10.5281/ZENODO.5959149]
[3] Beyer D., 2022, P TACAS 2
[4] Correctness Witnesses: Exchanging Verification Results between Verifiers
Beyer, Dirk
Dangl, Matthias
Dietsch, Daniel
Heizmann, Matthias
[J]. FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 326 - 337
[5] Witness Validation and Stepwise Testification across Software Verifiers
Beyer, Dirk
Dangl, Matthias
Dietsch, Daniel
Heizmann, Matthias
Stahlbauer, Andreas
[J]. 2015 10TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2015) PROCEEDINGS, 2015, : 721 - 733
[6] Moving Fast with Software Verification
Calcagno, Cristiano
Distefano, Dino
Dubreil, Jeremy
Gabi, Dominik
Hooimeijer, Pieter
Luca, Martino
O'Hearn, Peter
Papakonstantinou, Irene
Purbrick, Jim
Rodriguez, Dulma
[J]. NASA FORMAL METHODS (NFM 2015), 2015, 9058 : 3 - 11
[7] Compositional Shape Analysis by Means of Bi-Abduction
Calcagno, Cristiano
Distefano, Dino
O'Hearn, Peter W.
Yang, Hongseok
[J]. JOURNAL OF THE ACM, 2011, 58 (06)
[8] Chalupa M., 2022, P TACAS 2
[9] VeriFuzz: Program Aware Fuzzing (Competition Contribution)
Chowdhury, Animesh Basak
Medicherla, Raveendra Kumar
Venkatesh, R.
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, 2019, 11429 : 244 - 249
[10] A tool for checking ANSI-C programs
Clarke, E
Kroening, D
Lerda, F
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2004, 2988 : 168 - 176

← 1 2 →