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 | ??? |