Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
cybersecurity project
|
| gptkbp:analyzes |
smart contracts
|
| gptkbp:developedBy |
gptkb:Trail_of_Bits
|
| gptkbp:focusesOn |
blockchain security
|
| https://www.w3.org/2000/01/rdf-schema#label |
Manticore project
|
| gptkbp:license |
gptkb:Apache_License_2.0
|
| gptkbp:programmingLanguage |
gptkb:Python
|
| gptkbp:repository |
https://github.com/trailofbits/manticore
|
| gptkbp:supports |
gptkb:Ethereum
EVM bytecode |
| gptkbp:type |
symbolic execution tool
|
| gptkbp:usedFor |
automated testing
security analysis vulnerability detection |
| gptkbp:bfsParent |
gptkb:John_D._Reppy
|
| gptkbp:bfsLayer |
7
|