VeriFuzz: Program Aware Fuzzing (Competition Contribution)

被引：31

作者：

Chowdhury, Animesh Basak ^{[1
]}

Medicherla, Raveendra Kumar ^{[1
]}

Venkatesh, R. ^{[1
]}

机构：

[1] Tata Res Dev & Design Ctr, Pune, Maharashtra, India

来源：

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III | 2019年 / 11429卷

关键词：

D O I：

10.1007/978-3-030-17502-3_22

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

VeriFuzz is a program aware fuzz testing tool, which combines the power of feedback-driven evolutionary fuzz testing with static analysis. VeriFuzz deploys lightweight static analysis to extract meaningful information about program behavior that can aid fuzzing based test-input generation to achieve coverage goals quickly. We use constraint-solver to generate an initial population of test-inputs. VeriFuzz could generate the maximum number of counterexamples for reachsafety category benchmarks in SV-COMP 2019 and in Test-Comp 2019 [16]. (All the terms in typewriter font are competition specific. See [15].)

引用

页码：244 / 249

页数：6

共 19 条

[1] [Anonymous], 2013, ESEC FSE
[2] Directed Greybox Fuzzing
Bohme, Marcel
Van-Thuan Pham
Manh-Dung Nguyen
Roychoudhury, Abhik
[J]. CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2017, : 2329 - 2344
[3] Chen T, 2016, P 22 ACM SIGKDD INT
[4] 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
[5] VeriAbs: Verification by Abstraction and Test Generation
Darke, Priyanka
Prabhu, Sumanth
Chimdyalwar, Bharti
Chauhan, Avriti
Kumar, Shrawan
Basakchowdhury, Animesh
Venkatesh, R.
Datar, Advaita
Medicherla, Raveendra Kumar
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II, 2018, 10806 : 457 - 462
[6] DeMott J., 2007, BLACKHAT DEFCON
[7] Empirical software metrics for benchmarking of verification tools
Demyanova, Yulia
Pani, Thomas
Veith, Helmut
Zuleger, Florian
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2017, 50 (2-3) : 289 - 316
[8] Hsu Chin-Chia, 2018, S NETWORK DISTRIBUTE
[9] Khare S., P 2011 IND SOFTW ENG
[10] FAIRFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage
Lemieux, Caroline
Sen, Koushik
[J]. PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), 2018, : 475 - 485

← 1 2 →