backward-symbolic-execution-smartcontract

Name		Name	Last commit message	Last commit date
Latest commit History 79 Commits
sample-smart-contracts		sample-smart-contracts
.gitignore		.gitignore
README.md		README.md
arg_parser.py		arg_parser.py
autotest.sh		autotest.sh
cfg_traversal_utils.py		cfg_traversal_utils.py
exporters.py		exporters.py
main.py		main.py
notebook-requirements.txt		notebook-requirements.txt
requirements.txt		requirements.txt
results-parser.py		results-parser.py
results.ipynb		results.ipynb
sample.sol		sample.sol
slither_ir_ply.py		slither_ir_ply.py
slither_utils.py		slither_utils.py
sol_utils.py		sol_utils.py
test_multi_tx.sh		test_multi_tx.sh
utils.py		utils.py
workspace.py		workspace.py

Provide feedback