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.