concolica
×
concolica
Author(s) | c01db33f |
Site project | |
Tag(s) | concolic execution |
License | ??? |
Python versions | 2.7 |
Platforms | lin |
Processors (Architecture) | x86/x64 |
Description | Python concolic execution framework for program analysis. Based on capstone, vdb, z3 |
Tools | ??? |
Useful links | ??? |