Program Analysis Tools presented at SyScan360 2015

by Edgar Barbosa,

Summary : This presentation will focus on tools for program analysis. Real tools with source code that will be released after the presentation. I will talk about symbolic execution engines, constraint solvers, string solvers, taint analysis, program synthesis and how to create a workflow to connect all these tools for both static and dynamic analysis. I will also demonstrate the use of the tools on real-world applications.