KLEE symbolic execution engine in 2019
Cristian Cadar, Martin Nowack
Abstract
Abstract KLEE is a popular dynamic symbolic execution engine, initially designed at Stanford University and now primarily developed and maintained by the Software Reliability Group at Imperial College London. KLEE has a large community spanning both academia and industry, with over 60 contributors on GitHub, over 350 subscribers on its mailing list, and over 80 participants to a recent dedicated workshop. KLEE has been used and extended by groups from many universities and companies in a variety of different areas such as high-coverage test generation, automated debugging, exploit generation, wireless sensor networks, and online gaming, among many others.
Topics & Concepts
DebuggingComputer scienceSymbolic executionExploitVariety (cybernetics)Reliability (semiconductor)SoftwareTheory of computationTest (biology)Software engineeringProgramming languageComputer securityArtificial intelligencePhysicsPaleontologyPower (physics)Quantum mechanicsBiologySoftware Testing and Debugging TechniquesAdvanced Malware Detection TechniquesSoftware Reliability and Analysis Research