| .codeclimate.yml | |
|
|
| .coveragerc | |
|
|
| .github/ISSUE_TEMPLATE/bug_report.md | |
|
|
| .github/ISSUE_TEMPLATE/config.yml | |
|
|
| .github/ISSUE_TEMPLATE/feature_request.md | |
|
|
| .github/dependabot.yml | |
|
|
| .github/workflows/ci.yml | |
|
|
| .github/workflows/osx.yml | |
|
|
| .github/workflows/pip-audit.yml | |
|
|
| .github/workflows/release.yml | |
|
|
| .gitignore | |
|
|
| CHANGELOG.md | |
|
|
| CITATION.cff | |
|
|
| CODEOWNERS | |
|
|
| CONTRIBUTING.md | |
|
|
| Dockerfile | |
|
|
| LICENSE | |
|
|
| README.md | |
|
|
| lgtm.yml | |
|
|
| manticore/__init__.py | 17 | A 0 mins |
|
| manticore/__main__.py | 217 | A 0 mins |
|
| manticore/binary/__init__.py | 18 | A 0 mins |
|
| manticore/binary/binary.py | 107 | A 0 mins |
|
| manticore/core/__init__.py | 0 | A 0 mins |
|
| manticore/core/manticore.py | 980 | A 0 mins |
|
| manticore/core/parser/__init__.py | 0 | A 0 mins |
|
| manticore/core/parser/parser.py | 233 | A 0 mins |
|
| manticore/core/plugin.py | 558 | A 0 mins |
|
| manticore/core/smtlib/__init__.py | 6 | A 0 mins |
|
| manticore/core/smtlib/constraints.py | 355 | A 0 mins |
|
| manticore/core/smtlib/expression.py | 1,048 | A 0 mins |
|
| manticore/core/smtlib/operators.py | 231 | A 0 mins |
|
| manticore/core/smtlib/solver.py | 873 | A 0 mins |
|
| manticore/core/smtlib/visitors.py | 906 | A 0 mins |
|
| manticore/core/state.proto | |
|
|
| manticore/core/state.py | 522 | A 0 mins |
|
| manticore/core/state_pb2.py | 339 | A 0 mins |
|
| manticore/core/worker.py | 267 | A 0 mins |
|
| manticore/core/workspace.py | 515 | A 0 mins |
|
| manticore/ethereum/__init__.py | 23 | A 0 mins |
|
| manticore/ethereum/abi.py | 333 | A 0 mins |
|
| manticore/ethereum/abitypes.py | 167 | A 0 mins |
|
| manticore/ethereum/account.py | 117 | A 0 mins |
|
| manticore/ethereum/cli.py | 122 | A 0 mins |
|
| manticore/ethereum/detectors.py | 673 | A 0 mins |
|
| manticore/ethereum/manticore.py | 1,532 | A 0 mins |
|
| manticore/ethereum/plugins.py | 204 | A 0 mins |
|
| manticore/ethereum/solidity.py | 293 | A 0 mins |
|
| manticore/ethereum/state.py | 14 | A 0 mins |
|
| manticore/ethereum/verifier.py | 394 | A 0 mins |
|