| .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/core/state.proto | |
|
|
| mypy.ini | |
|
|
| pyproject.toml | |
|
|
| readthedocs.yml | |
|
|
| server/README.md | |
|
|
| server/justfile | |
|
|
| server/manticore_server/ManticoreServer.proto | |
|
|
| server/manticore_server/ManticoreServer_pb2.pyi | |
|
|
| server/pyproject.toml | |
|
|
| server/tests/contracts/adder.sol | |
|
|
| tox.ini | |
|
|
| manticore/__init__.py | 17 |
|
|
| manticore/__main__.py | 217 |
|
|
| manticore/binary/__init__.py | 18 |
|
|
| manticore/binary/binary.py | 107 |
|
|
| manticore/core/__init__.py | 0 |
|
|
| manticore/core/manticore.py | 980 |
|
|
| manticore/core/parser/__init__.py | 0 |
|
|
| manticore/core/parser/parser.py | 233 |
|
|
| manticore/core/plugin.py | 558 |
|
|
| manticore/core/smtlib/__init__.py | 6 |
|
|
| manticore/core/smtlib/constraints.py | 355 |
|
|
| manticore/core/smtlib/expression.py | 1,048 |
|
|
| manticore/core/smtlib/operators.py | 231 |
|
|
| manticore/core/smtlib/solver.py | 873 |
|
|
| manticore/core/smtlib/visitors.py | 906 |
|
|
| manticore/core/state.py | 522 |
|
|
| manticore/core/state_pb2.py | 339 |
|
|
| manticore/core/worker.py | 267 |
|
|
| manticore/core/workspace.py | 515 |
|
|
| manticore/ethereum/__init__.py | 23 |
|
|