sipma

Palo Alto, CA

Pinned Repositories

ktadvance
KT Advance Memory Safety Analyzer for C
Language:C++63
codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
Language:OCaml00
CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
Language:Python10
CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
Language:Python00
CodeHawk-C-Targets-Juliet
Juliet Test Suite 1.3 prepared for analysis by the CodeHawk-C Analyzer
00
CodeHawk-C-Targets-Misc
Small C projects as demonstration targets for the CodeHawk-C Analyzer
00
openssl
TLS/SSL and crypto library
Language:C00
codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
Language:OCaml54 9 18
CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
Language:Python23 5 710
CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
Language:Python23 4 34

sipma's Repositories

sipma/CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
Language:Python10
sipma/codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
Language:OCaml00
sipma/CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
Language:Python00
sipma/CodeHawk-C-Targets-Juliet
Juliet Test Suite 1.3 prepared for analysis by the CodeHawk-C Analyzer
00
sipma/CodeHawk-C-Targets-Misc
Small C projects as demonstration targets for the CodeHawk-C Analyzer
00
sipma/openssl
TLS/SSL and crypto library
Language:C00