2557 Commits (2bdf805952a1c307aa75b5bd677fb4d4e81e8296)

 

All Branches   

Search

Author	SHA1	Message	Date
Nikhil Parasaram	b9414cafcd	Merge pull request #310 from LoCorVin/feature/reformatsymindices ... Modifies the symbolic suffixes enclosing them into brackets and sympl…	6 years ago
JoranHonig	e57ef0d361	Merge pull request #332 from JoranHonig/features/solver_timeout_logging ... Add timeout logging to solver	6 years ago
Joran Honig	d3ad937462	Load all contracts from file	6 years ago
Joran Honig	e1552435e8	Add timeout logging to solver	6 years ago
Joran Honig	b30e70235c	Implement coverage measurement	6 years ago
Nikhil Parasaram	e3a90d8321	Remove z3 from natives	6 years ago
Nikhil Parasaram	ad69ad5fa4	Remove unused import	6 years ago
Nikhil Parasaram	b013951fb6	Add an exception in native contracts	6 years ago
Joran Honig	65322ee7f7	Fix circular dependency	6 years ago
Konrad Weiss	704307890a	Merge branch 'master' of https://github.com/ConsenSys/mythril into feature/reformatsymindices	6 years ago
Konrad Weiss	f873d041ee	Revert "Merge branch 'master' of https://github.com/LoCorVin/mythril into feature/reformatsymindices" ... This reverts commit a8de6b1a55, reversing changes made to ac818454ab.	6 years ago
Konrad Weiss	a8de6b1a55	Merge branch 'master' of https://github.com/LoCorVin/mythril into feature/reformatsymindices	6 years ago
Konrad Weiss	ac818454ab	Correcting the symetric variable formatting for calldatacopy	6 years ago
Nikhil Parasaram	deb98df7c5	return a list for blockhash function	7 years ago
Nikhil Parasaram	9710715452	Merge branch 'master' of github.com:ConsenSys/mythril into bugfix/315	7 years ago
Nikhil Parasaram	740b73bed6	Store a BitVec when an exception occurs	7 years ago
Nikhil Parasaram	bb29722a8f	Merge pull request #324 from JoranHonig/bugfix/worklist ... wip: Worklist fixes	7 years ago
Nikhil Parasaram	7eff17ae31	Merge pull request #308 from tintinweb/feat/online_sighash_lookup ... Feature: online signature hash lookup and signatures refactor	7 years ago
Joran Honig	9b5bd6de77	Use base 16	7 years ago
tintinweb	6851754059	remove unnecessary comment (todo) ... reuse SimpleFileLock instance if already set Note: requests.[get|post|request](.., proxies=None) should be using the default proxy settings (env) Note: signature db path selection logic is currently not matching mythril._init_config (but myhtril._init_mythril_dir)	7 years ago
tintinweb	73efcffde2	rebase off master ... refactor function signature handling -> one single class to handle signatures -> Signatures().get(sighash) and Signatures()[sighash] interfaces -> added simple file locking mechanism ref #294 -> fix signature caching (avoid looking up same hash multiple times)	7 years ago
tintinweb	cdd2738397	result to online lookup can be ambiguous. use first item and note this ... in disassembly	7 years ago
tintinweb	83c5eca66b	added online lookup for signature hashes via 4bytes.directory	7 years ago
Nikhil Parasaram	fb77530574	Merge pull request #316 from norhh/bugfix/315 ... Support 0x0 for extcodesize	7 years ago
Nikhil Parasaram	c43aafee50	Merge branch 'master' of github.com:ConsenSys/mythril into bugfix/315	7 years ago
Joran Honig	7c638272cb	Reverse comparison	7 years ago
Joran Honig	0a0e320612	Merge remote-tracking branch 'upstream/master' into bugfix/worklist	7 years ago
Joran Honig	09c41deb63	Fix node issue	7 years ago
Joran Honig	c3d1eb85c3	Pass None as node	7 years ago
Joran Honig	290aaf8198	Add condition not 0	7 years ago
Nikhil Parasaram	b259c5e6d4	Merge pull request #323 from norhh/fix ... connect to infura with -l	7 years ago
Nikhil Parasaram	d0efd35ce2	connect to infura with -l	7 years ago
Nikhil Parasaram	da6f8daf15	Merge pull request #317 from norhh/test_fix ... fix ethereum to 2.3.1	7 years ago
Nikhil Parasaram	24fad14cbd	fix ethereum to 2.3.1	7 years ago
Nikhil Parasaram	25f76368bc	Support 0x0 for extcodesize	7 years ago
JoranHonig	88873206d1	Merge pull request #313 from JoranHonig/features/search_strategy_bfs ... Implement breadth first search	7 years ago
Joran Honig	eb963d38fd	Implement depth first search	7 years ago
JoranHonig	a6e9a415d5	Merge pull request #312 from JoranHonig/features/search_strategy_dfs ... Search strategy dfs	7 years ago
Joran Honig	b82717afed	re add max depth for now	7 years ago
Joran Honig	b973a1686f	Add documentation and fix pop	7 years ago
Joran Honig	5c0e65b2d8	Implementation of a depth first search search strategy	7 years ago
Nikhil Parasaram	96193a01e0	Merge pull request #311 from JoranHonig/bugfix/missing_return ... bugfix: Add return statement to function	7 years ago
Joran Honig	6bbab6855a	Add return statement	7 years ago
Konrad Weiss	b1d1127841	Portyng symbolic name formating to the new svm and instructions file structure	7 years ago
Konrad Weiss	45b08081d3	Merge branch 'master' into feature/reformatsymindices	7 years ago
JoranHonig	631ebe07b7	Worklist implementation (#288) ... Refactor laser to work with a worklist vs a simple loop	7 years ago
Nikhil Parasaram	1dc9e2a65c	Merge pull request #307 from norhh/bugfix/extcodesize ... Get contract code from infura for EXTCODESIZE	7 years ago
Nikhil Parasaram	5c349e4a8c	Revert Dynld changes	7 years ago
Konrad Weiss	06ddeb13dc	Modifies the symbolic suffixes enclosing them into brackets and symplifying them with the z3 simplification algorithm	7 years ago
Nikhil Parasaram	2305f29af2	Fix the argument for dynloader in fire_lasers	7 years ago