Henny Sipma (sipma)

sipma

Geek Repo

Location:Palo Alto, CA

Github PK Tool:Github PK Tool

Henny Sipma's repositories

CodeHawk-Binary

CodeHawk Binary Analyzer for malware analysis and general reverse engineering

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

codehawk

CodeHawk Abstract Interpretation Engine and Analyzers

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

CodeHawk-C

CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

CodeHawk-C-Targets-Juliet

Juliet Test Suite 1.3 prepared for analysis by the CodeHawk-C Analyzer

License:MITStargazers:0Issues:0Issues:0

openssl

TLS/SSL and crypto library

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0