Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

Finding software vulnerabilities in concurrent programs is a challenging task due to the size of the state-space exploration, as the number of interleavings grows exponentially with the number of program threads and statements. We propose and evaluate EBF (Ensembles of Bounded Model Checking with Fu...

Full description

Bibliographic Details
Main Authors: Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
Format: Article
Language:English
Published: IEEE 2022-01-01
Series:IEEE Access
Subjects:
Concurrency-aware gray-box fuzzer
bounded model checking
concurrent programs
instrumentation
LLVM pass
Online Access:https://ieeexplore.ieee.org/document/9955513/

Internet

https://ieeexplore.ieee.org/document/9955513/

Similar Items