This is an AI-powered binary vulnerability scanner. Upload a binary file and it will get decompiled and
checked against more than 20k historical vulnerabilities. The analysis could take some minutes depending on
the size. The analysis could take up to 10 minutes and proceeds as following:
- Decompile the Executable using Ghidra
- Remove filler, clean, format, guess symbols and inline function calls
- Generate function-wise embeddings using a finetuned CodeT5+ Embedding model. Finetuned on
- Big Clone Bench
- CodeSearchNet
- Check similarities against DiverseVul Dataset
- Check for vulnerabilities with SemGrep