Toggle navigation
Home
All Pages
Categories
AI
Architecture
Backends
Business Reading
Clouds
Conferences
Developer Relations
Distribution and Distributed Systems
Formats
Game Development
Hardware
Language Development
Languages
Libraries
Management
Patterns
Places of interest on the Internet
Platforms
Presentation
Reading
Security
Speaking
Storage
Teaching
Tools
Virtual Machines
Writing
All Tags
Subscribe (RSS)
Crab
A Language-Agnostic Library for Static Analysis
Source
Crab-llvm
: Abstract Interpretation of LLVM bitcode
Tags:
tool
native
llvm
Last modified 22 January 2025