2020/12/21 by Kaled M. Alshmrany, Rafael Menezes, Alshmrany, Kaled M. +5
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
paper · pdf · doi:10.48550/arxiv.2012.11223
openalex publication_date 2020/12/21 · openalex created_date 2022/07/25 · openalex updated_date 2026/07/28
We describe and evaluate a novel white-box fuzzer for C programs named\nFuSeBMC, which combines fuzzing and symbolic execution, and applies Bounded\nModel Checking (BMC) to find security vulnerabilities in C programs. FuSeBMC\nexplores and analyzes C programs (1) to find execution paths that lead to\nproperty violations and (2) to incrementally inject labels to guide the fuzzer\nand the BMC engine to produce test-cases for code coverage. FuSeBMC\nsuccessfully participates in Test-Comp'21 and achieves first place in the\nCover-Error category and second place in the Overall category.\n