Search Docker Hub
Community User
Displaying 1 to 5 of 5 repositories
An environment where one can apply obfuscation to C programs and attack them with symbolic execution
8y
10K+
A tool for synthesizing computer programs
9y
190
Ubuntu 14.04 + KLEE symbolic execution engine + Tigress obfuscation engine
333
184
84