Targeted greybox fuzzing with static lookahead analysis
Valentin Wüstholz, Maria Christakis
Abstract
Automatic test generation typically aims to generate inputs that explore new paths in the program under test in order to find bugs. Existing work has, therefore, focused on guiding the exploration toward program parts that are more likely to contain bugs by using an offline static analysis.
Topics & Concepts
Fuzz testingComputer scienceSuiteStatic analysisCode coverageBenchmark (surveying)Test suiteProgram analysisScheduleSoftware bugInstrumentation (computer programming)Code (set theory)Software engineeringTest caseProgramming languageSet (abstract data type)Embedded systemSoftwareOperating systemMachine learningHistoryGeographyRegression analysisArchaeologyGeodesySoftware Testing and Debugging TechniquesAdvanced Malware Detection TechniquesSoftware Engineering Research