├── .gitignore ├── Dockerfile ├── README.md ├── analysis.py ├── basicblock.py ├── batch_run.py ├── global_params.py ├── global_test_params.py ├── license.txt ├── misc_utils ├── generate-graphs.py ├── get_source.py ├── stats-collect.py ├── transaction_scrape 2.py ├── transaction_scrape.py └── tx-stats.py ├── opcodes.py ├── oyente.py ├── symExec.py ├── test.json ├── test.py ├── tests ├── vmArithmeticTest.json └── vmBitwiseLogicOperationTest.json ├── testutils.py ├── utils.py └── vargenerator.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/.gitignore -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/Dockerfile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/README.md -------------------------------------------------------------------------------- /analysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/analysis.py -------------------------------------------------------------------------------- /basicblock.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/basicblock.py -------------------------------------------------------------------------------- /batch_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/batch_run.py -------------------------------------------------------------------------------- /global_params.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/global_params.py -------------------------------------------------------------------------------- /global_test_params.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/global_test_params.py -------------------------------------------------------------------------------- /license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/license.txt -------------------------------------------------------------------------------- /misc_utils/generate-graphs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/misc_utils/generate-graphs.py -------------------------------------------------------------------------------- /misc_utils/get_source.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/misc_utils/get_source.py -------------------------------------------------------------------------------- /misc_utils/stats-collect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/misc_utils/stats-collect.py -------------------------------------------------------------------------------- /misc_utils/transaction_scrape 2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/misc_utils/transaction_scrape 2.py -------------------------------------------------------------------------------- /misc_utils/transaction_scrape.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/misc_utils/transaction_scrape.py -------------------------------------------------------------------------------- /misc_utils/tx-stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/misc_utils/tx-stats.py -------------------------------------------------------------------------------- /opcodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/opcodes.py -------------------------------------------------------------------------------- /oyente.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/oyente.py -------------------------------------------------------------------------------- /symExec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/symExec.py -------------------------------------------------------------------------------- /test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/test.json -------------------------------------------------------------------------------- /test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/test.py -------------------------------------------------------------------------------- /tests/vmArithmeticTest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/tests/vmArithmeticTest.json -------------------------------------------------------------------------------- /tests/vmBitwiseLogicOperationTest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/tests/vmBitwiseLogicOperationTest.json -------------------------------------------------------------------------------- /testutils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/testutils.py -------------------------------------------------------------------------------- /utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/utils.py -------------------------------------------------------------------------------- /vargenerator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethereum/oyente/HEAD/vargenerator.py --------------------------------------------------------------------------------