- 🔭 I’m currently working on https://github.com/esbmc/esbmc
- 🌱 I’m currently learning: Android Bytecode Analysis
- 💬 Ask me about: Bounded Model Checking
- 📫 How to reach me: email: [email protected] TG:@RafaelSa94
Projects that I've worked:
ESBMC is a static analyzer for C/C++ programs.
Map2Check is a dynamic analyzer for C programs.
Jimple Parser is a Haskell program to generate an AST from Jimple files and export them into JSON.