Software Target-Focused Flow Analysis
Primary Investigator:
John Springer
Daniel Sokoler, Harsha Deshmukh
Abstract
This project focuses on enumeration of paths between the starting point of a set of code to a known vulnerable target point in that same set of code. In other words, trace the potential control flows that reach the known vulnerable target point. Existing parsers parse the C code to generate an AST of the complete source code , this prevents the user from specifying any determined program point (vulnerability) of interest to be analyzed for its reach-ability from the starting point of program.