waskyo

Pinned Repositories

micropatch-bench
Micropatching benchmarks compiled by Aarno Labs and MIT for DARPA Assured Micro-patching (AMP)
Language:Dockerfile00
atlas-guides
Guides for Atlas tutorials, deployment and usage
Language:Dockerfile00
codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
Language:OCaml54 9 18
CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
Language:Python24 5 710
CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
Language:Python23 4 35
codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
Language:OCaml00
CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
Language:Python00
CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
Language:Python00
configme
Language:Vim Script10

waskyo's Repositories

waskyo/codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
Language:OCaml
waskyo/CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
Language:Python
waskyo/CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
Language:Python
waskyo/configme
Language:VimL1