Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Joran Honig b38ba4e6b9 Regenerate json to include contract name		6 years ago
..
calls.sol.o.easm	F2F: Fix tests and build	7 years ago
calls.sol.o.graph.html	Worklist implementation (#288)	6 years ago
calls.sol.o.json	Regenerate json to include contract name	6 years ago
calls.sol.o.markdown	Worklist implementation (#288)	6 years ago
calls.sol.o.text	Worklist implementation (#288)	6 years ago
ether_send.sol.o.easm	Fix function names in CFG	7 years ago
ether_send.sol.o.graph.html	Worklist implementation (#288)	6 years ago
ether_send.sol.o.json	Regenerate json to include contract name	6 years ago
ether_send.sol.o.markdown	Revert "Revert "Merge pull request #296 from norhh/branch/295""	7 years ago
ether_send.sol.o.text	Revert "Revert "Merge pull request #296 from norhh/branch/295""	7 years ago
exceptions.sol.o.easm	F2F: Fix tests and build	7 years ago
exceptions.sol.o.graph.html	Worklist implementation (#288)	6 years ago
exceptions.sol.o.json	Regenerate json to include contract name	6 years ago
exceptions.sol.o.markdown	An extra newline was being added by the editor	7 years ago
exceptions.sol.o.text	Merge branch 'master' into f2f-30064535-walker_	7 years ago
kinds_of_calls.sol.o.easm	F2F: Fix tests and build	7 years ago
kinds_of_calls.sol.o.graph.html	Worklist implementation (#288)	6 years ago
kinds_of_calls.sol.o.json	Regenerate json to include contract name	6 years ago
kinds_of_calls.sol.o.markdown	Worklist implementation (#288)	6 years ago
kinds_of_calls.sol.o.text	Worklist implementation (#288)	6 years ago
metacoin.sol.o.easm	F2F: Fix tests and build	7 years ago
metacoin.sol.o.graph.html	Worklist implementation (#288)	6 years ago
metacoin.sol.o.json	Regenerate json to include contract name	6 years ago
metacoin.sol.o.markdown	Revert "Revert "Merge pull request #296 from norhh/branch/295""	7 years ago
metacoin.sol.o.text	Revert "Revert "Merge pull request #296 from norhh/branch/295""	7 years ago
multi_contracts.sol.o.easm	F2F: Fix tests and build	7 years ago
multi_contracts.sol.o.graph.html	Worklist implementation (#288)	6 years ago
multi_contracts.sol.o.json	Regenerate json to include contract name	6 years ago
multi_contracts.sol.o.markdown	An extra newline was being added by the editor	7 years ago
multi_contracts.sol.o.text	Updated the tests to work for the latest commits in master	7 years ago
nonascii.sol.o.easm	Update of expected test results for `nonascii.sol` test	7 years ago
nonascii.sol.o.graph.html	Worklist implementation (#288)	6 years ago
nonascii.sol.o.json	Update of expected test results for `nonascii.sol` test	7 years ago
nonascii.sol.o.markdown	Update of expected test results for `nonascii.sol` test	7 years ago
nonascii.sol.o.text	Update of expected test results for `nonascii.sol` test	7 years ago
origin.sol.o.easm	F2F: Fix tests and build	7 years ago
origin.sol.o.graph.html	Worklist implementation (#288)	6 years ago
origin.sol.o.json	Regenerate json to include contract name	6 years ago
origin.sol.o.markdown	Updated test files to reflect the fixed typo	7 years ago
origin.sol.o.text	Updated test files to reflect the fixed typo	7 years ago
overflow.sol.o.easm	F2F: Fix tests and build	7 years ago
overflow.sol.o.graph.html	Worklist implementation (#288)	6 years ago
overflow.sol.o.json	Regenerate json to include contract name	6 years ago
overflow.sol.o.markdown	Revert "Revert "Merge pull request #296 from norhh/branch/295""	7 years ago
overflow.sol.o.text	Revert "Revert "Merge pull request #296 from norhh/branch/295""	7 years ago
returnvalue.sol.o.easm	F2F: Fix tests and build	7 years ago
returnvalue.sol.o.graph.html	Worklist implementation (#288)	6 years ago
returnvalue.sol.o.json	Regenerate json to include contract name	6 years ago
returnvalue.sol.o.markdown	Worklist implementation (#288)	6 years ago
returnvalue.sol.o.text	Worklist implementation (#288)	6 years ago
rubixi.sol.o.json	Worklist implementation (#288)	6 years ago
rubixi.sol.o.markdown	Worklist implementation (#288)	6 years ago
rubixi.sol.o.text	Worklist implementation (#288)	6 years ago
suicide.sol.o.easm	F2F: Fix tests and build	7 years ago
suicide.sol.o.graph.html	Worklist implementation (#288)	6 years ago
suicide.sol.o.json	Regenerate json to include contract name	6 years ago
suicide.sol.o.markdown	An extra newline was being added by the editor	7 years ago
suicide.sol.o.text	F2F: Fix tests and build	7 years ago
underflow.sol.o.easm	F2F: Fix tests and build	7 years ago
underflow.sol.o.graph.html	Worklist implementation (#288)	6 years ago
underflow.sol.o.json	Regenerate json to include contract name	6 years ago
underflow.sol.o.markdown	Revert "Revert "Merge pull request #296 from norhh/branch/295""	7 years ago
underflow.sol.o.text	Revert "Revert "Merge pull request #296 from norhh/branch/295""	7 years ago
weak_random.sol.o.json	Worklist implementation (#288)	6 years ago
weak_random.sol.o.markdown	Worklist implementation (#288)	6 years ago
weak_random.sol.o.text	Worklist implementation (#288)	6 years ago