What I do
- Analyze programs statically
- Detect bugs and vulnerabilities
- Apply dynamic analysis
- Build analysis tools
When to use me
When working on program analysis or security auditing.
Key Concepts
- Data flow analysis
- Control flow analysis
- Taint analysis
- Symbolic execution
- Fuzz testing
- Abstract interpretation
- Program slicing