- 🔭 I’m currently working on https://github.com/esbmc/esbmc
- 🌱 I’m currently learning: DE10-nano for hardware acceleration.
- 📫 How to reach me: rafael.sa.menezes@outlook.com
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.
