├── .gitignore ├── .gitmodules ├── EVMFuzz.py ├── LICENSE ├── NeoSemanticDiffFuzzer.py ├── NeoVMFuzz.py ├── README.md ├── __init__.py ├── neodiff ├── EVMDiffGenerator.py ├── NeoDiff.py ├── NeoVmDiffGenerator.py ├── PyDiffGenerator.py └── __init__.py ├── requirements.txt ├── roots21-2.pdf ├── roots21-2.png ├── setup.sh └── utils ├── EVMrun.sh ├── EVMscale.sh ├── EV_Mkill.sh ├── analyze_data.py ├── neo-python-VM.afl.py ├── neo-python-VM.py └── parse_results.py /.gitignore: -------------------------------------------------------------------------------- 1 | venv 2 | out 3 | .vscode 4 | .idea 5 | RESULTS 6 | __pycache__ 7 | .env 8 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/.gitmodules -------------------------------------------------------------------------------- /EVMFuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/EVMFuzz.py -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/LICENSE -------------------------------------------------------------------------------- /NeoSemanticDiffFuzzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/NeoSemanticDiffFuzzer.py -------------------------------------------------------------------------------- /NeoVMFuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/NeoVMFuzz.py -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/README.md -------------------------------------------------------------------------------- /__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /neodiff/EVMDiffGenerator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/neodiff/EVMDiffGenerator.py -------------------------------------------------------------------------------- /neodiff/NeoDiff.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/neodiff/NeoDiff.py -------------------------------------------------------------------------------- /neodiff/NeoVmDiffGenerator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/neodiff/NeoVmDiffGenerator.py -------------------------------------------------------------------------------- /neodiff/PyDiffGenerator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/neodiff/PyDiffGenerator.py -------------------------------------------------------------------------------- /neodiff/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/requirements.txt -------------------------------------------------------------------------------- /roots21-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/roots21-2.pdf -------------------------------------------------------------------------------- /roots21-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/roots21-2.png -------------------------------------------------------------------------------- /setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/setup.sh -------------------------------------------------------------------------------- /utils/EVMrun.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/utils/EVMrun.sh -------------------------------------------------------------------------------- /utils/EVMscale.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/utils/EVMscale.sh -------------------------------------------------------------------------------- /utils/EV_Mkill.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | `ps aux | grep -ie EVM | awk '{print "kill " $2}'` 4 | -------------------------------------------------------------------------------- /utils/analyze_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/utils/analyze_data.py -------------------------------------------------------------------------------- /utils/neo-python-VM.afl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/utils/neo-python-VM.afl.py -------------------------------------------------------------------------------- /utils/neo-python-VM.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/utils/neo-python-VM.py -------------------------------------------------------------------------------- /utils/parse_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fgsect/NeoDiff/HEAD/utils/parse_results.py --------------------------------------------------------------------------------