ExecFormer
Neural abstract interpretation for C/C++ memory safety
Our Research
Explore how ExecFormer achieves state-of-the-art vulnerability detection through looped transformers and neural abstract interpretation.
→
API Documentation
Integrate ExecFormer into your CI/CD pipeline. Create API keys instantly and start scanning C/C++ code for vulnerabilities.
→