June 23, 2021


Dedicated Forum to help removing adware, malware, spyware, ransomware, trojans, viruses and more!

Blog post – Code coverage using dynamic symbolic execution

Code coverage is mainly used in the vulnerability research area. The goal is to generate inputs which will reach different parts of the program’s code. Then, if an input makes the program crash, we check if the crash can be exploited or not. A lot of methods exist to perform code coverage – like random testing or mutation generation – but in this short blog post, we will focus on code coverage using dynamic symbolic execution (DSE) and explain why it’s not a trivial task.