Abstract
We present VeriFuzz 1.2 with two new enhancements: (1) unroll the given program to a short depth and use BMC to produce incomplete test inputs, which are extended into complete inputs, and (2) if BMC fails for this short unrolling, automatically identify the reason and rerun BMC with a corresponding remedial strategy.
Raveendra Kumar Medicherla: Jury member
Chapter PDF
Similar content being viewed by others
References
Audemard, G., Simon, L.: On the glucose SAT solver. Int. J. Artif. Intell. Tools 27(1), 1840001:1–1840001:25 (2018). https://doi.org/10.1142/S0218213018400018
Beyer, D.: Second competition on software testing: Test-comp 2020. In: Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering (FASE 2020, Dublin, Ireland, April 25-30). pp. 505–519. LNCS 12076, Springer (2020). https://doi.org/10.1007/978-3-030-45234-6_25
Beyer, D.: Status report on software testing: Test-Comp 2021. In: Proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering (FASE 2021, Luxembourg, Luxembourg, March 27 - April 1). pp. 341–357. LNCS 12649, Springer (2021). https://doi.org/10.1007/978-3-030-71500-7_17
Beyer, D.: Advances in automaticl software testing: Test-Comp 2022. In: Proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering - 25th International Conference, (FASE 2022, Munich, Germany, April 2-7, 2022). LNCSÂ 13241, Springer (2022)
Chowdhury, A.B., Medicherla, R.K., Venkatesh, R.: Verifuzz: Program aware fuzzing - (competition contribution). In: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019, Prague, Czech Republic, April 6-11). pp. 244–249. LNCS 11429, Springer (2019). https://doi.org/10.1007/978-3-030-17502-3_22
Clarke, E.M., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004, Barcelona, Spain, March 29 - April 2). pp. 168–176. LNCS 2988, Springer (2004). https://doi.org/10.1007/978-3-540-24730-2_15
Khare, S., Saraswat, S., Kumar, S.: Static program analysis of large embedded code base: an experience. In: Proceeding of the 4th Annual India Software Engineering Conference, (ISEC 2011, Thiruvananthapuram, India, February 24-27). pp. 99–102. ACM (2011). https://doi.org/10.1145/1953355.1953368
Metta, R., Medicherla, R.K., Chakraborty, S.: Bmc+fuzz : Efficient and effective test generation to appear. In: Design, Automation & Test in Europe Conference & Exhibition, (DATEÂ 2022, Antwerp, Belgium, March 14-23). IEEE (2022)
de Moura, L.M., Bjørner, N.: Z3: an efficient SMT solver. In: Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008, Budapest, Hungary, March 29 - April 6). pp. 337–340. LNCS 4963, Springer (2008) https://doi.org/10.1007/978-3-540-78800-3_24
Stephens, N., Grosen, J., Salls, C., Dutcher, A., Wang, R., Corbetta, J., Shoshitaishvili, Y., Kruegel, C., Vigna, G.: Driller: Augmenting fuzzing through selective symbolic execution. In: 23rd Annual Network and Distributed System Security Symposium, (NDSS 2016, San Diego, California, USA, February 21-24). The Internet Society (2016). https://doi.org/10.14722/ndss.2016.23368
Zalewski, M.: American fuzzy lop, http://lcamtuf.coredump.cx/afl/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2022 The Author(s)
About this paper
Cite this paper
Metta, R., Medicherla, R.K., Karmarkar, H. (2022). VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). In: Johnsen, E.B., Wimmer, M. (eds) Fundamental Approaches to Software Engineering. FASE 2022. Lecture Notes in Computer Science, vol 13241. Springer, Cham. https://doi.org/10.1007/978-3-030-99429-7_20
Download citation
DOI: https://doi.org/10.1007/978-3-030-99429-7_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-99428-0
Online ISBN: 978-3-030-99429-7
eBook Packages: Computer ScienceComputer Science (R0)