V
Veritas
LLM-powered binary analysis for detecting memory corruption vulnerabilities in stripped code
Open SourceFree
About
Academic research framework from Columbia University and King's College London that detects memory corruption vulnerabilities in stripped binaries. Combines static analysis with LLM-based semantic understanding to identify security issues through runtime feasibility analysis and interprocedural data flow propagation. Targets security researchers and reverse engineers working with compiled code where source is unavailable.
Details
| Type | |
| Integrations | |
| Language |
Tags
open-sourceautonomouscoding-agentevaluationpythontool-use
Quick Info
- Organization
- Columbia University / King's College London
- Pricing
- open-source
- Free Tier
- Yes
- Updated
- May 16, 2026
Also in Dev Tools
C
Crawl4AI
Open-source web crawler optimized for LLMs and AI agents — 62K+ stars
OSSFree
unclecode
65.7K3d ago72
F
Firecrawl
Web scraping API built for LLMs — turn any website into LLM-ready data — 89K+ stars
OSSfreemium
Mendable
120.4Ktoday145
H
Headroom Context Optimization
Reduce LLM API costs by 50-90% through advanced context compression
OSSFree
Shubham Saboo
110.5K7d ago77