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
70.4K2d ago76
F
Firecrawl
Web scraping API built for LLMs — turn any website into LLM-ready data — 89K+ stars
OSSfreemium
Mendable
141.7Ktoday154
H
Headroom Context Optimization
Reduce LLM API costs by 50-90% through advanced context compression
OSSFree
Shubham Saboo
116.1K2w ago80