kamilababayeva's repositories
StratosphereLinuxIPS
Stratosphere IPS for Linux
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Language:CApache-2.0000
crab
A library for building abstract interpretation-based analyses
Language:C++Apache-2.0000
recommonmark
A markdown parser for docutils
Language:PythonMIT000