4439 Commits (f94b71e681cdb613dc59cc32648c5237a944b3ed)

 

All Branches   

Search

Author	SHA1	Message	Date
Nikhil	856547fa97	Fix tests	5 years ago
Nikhil	a5628219dc	Don't handle concrete vals in keccak_func_manager	5 years ago
Nikhil	079840911c	Merge branch 'storage/UIP' of github.com:ConsenSys/mythril into storage/UIP	5 years ago
Nikhil	32ef5f475e	Fix type hints	5 years ago
Nikhil Parasaram	b21414294b	Merge branch 'develop' into storage/UIP	5 years ago
Nikhil	5d79fd399d	Handle constructor args	5 years ago
Nikhil	60a1bafd63	Merge branch 'storage/UIP' of github.com:ConsenSys/mythril into storage/UIP	5 years ago
Nikhil	0f15c76596	add some changes	5 years ago
Nathan	8ad33dd64d	Merge branch 'develop' into specify-attacker-creator-address	5 years ago
Nathan	29507e782a	Fix types	5 years ago
Nikhil	33cab6830d	Handle sha3() case	5 years ago
Nathan	66556519dc	Add cli options to specify attacker and creator addresses	5 years ago
Nathan	8faee17db4	Merge pull request #1251 from ConsenSys/remove/old_cli ... Remove old cli	5 years ago
Nikhil Parasaram	08ec57ca5f	Merge branch 'develop' into storage/UIP	5 years ago
Nikhil Parasaram	3f4ee27c1f	Update mythril/laser/ethereum/state/world_state.py ... Co-Authored-By: Nathan <nbanmp@gmail.com>	5 years ago
Nikhil Parasaram	6c420e74df	Merge branch 'develop' into remove/old_cli	5 years ago
Nikhil	61214648f8	Fix epic test	5 years ago
Nikhil	33783a0b9d	Remove old cli	5 years ago
Nikhil Parasaram	9515cc5dd2	Mythril v0.21.18	5 years ago
Nikhil Parasaram	bbff2ff454	Refactor code by removing usused and repeated code (#1249)	5 years ago
Nikhil Parasaram	5f40a1839a	Fix symbolic calldata size when create (#1244) ... * Fix symbolic calldata size when create * Consider the integer case	5 years ago
Nathan	f040fd8a14	Do not display creation input in markdown or text reports (#1242)	5 years ago
Nikhil Parasaram	aaef40764c	Fix mypy issues (#1246)	5 years ago
Nikhil Parasaram	1cd49eb3b6	Catch stackunderflow exception before hitting analysis modules (#1234) ... * Add a instruction stack usage table * catch stackunderflow exception before the pre analysis * Fix type hints * Fix black * fix tests	5 years ago
Nikhil Parasaram	0869cbf394	Add tests for extcodecopy (#1240) ... * Add tests for extcodecopy * Don't use mock	5 years ago
Nathan	3d1b0e889d	Merge pull request #1239 from ConsenSys/fix/iprof-ctrlc ... Display instruction profiler results on ctrl+c or error	5 years ago
Nathan	73c6f8390a	Merge branch 'develop' into fix/iprof-ctrlc	5 years ago
Nikhil Parasaram	7a105e5dec	Py35 support (#1233) ... * Add py35 into tox * Use solcx for python3.6+ * Fix tests	5 years ago
Nathan	8e9edebb79	Merge branch 'develop' into fix/iprof-ctrlc	5 years ago
Nikhil Parasaram	07347e28ff	Remove truffle support (#1218) ... * Remove truffle * Fix black * Remove truffle.py	5 years ago
Nathan	9fd552dae3	Merge branch 'develop' into fix/iprof-ctrlc	5 years ago
Nathan	f1a0c9db04	Fix propagation of JumpdestCountAnnotation (#1237) ... * Fix propagation of JumpdestCountAnnotation * Update mythril/laser/ethereum/strategy/extensions/bounded_loops.py Co-Authored-By: Nikhil Parasaram <nikhilparasaram@gmail.com>	5 years ago
Nathan	4aeb4cc5f3	Improve function signatures	5 years ago
Nikhil Parasaram	203e8f6feb	Update mythril/laser/ethereum/svm.py ... Co-Authored-By: Nathan <nbanmp@gmail.com>	5 years ago
Nathan	14ec9022f0	Display instruction profiler results on ctrl+c or error	5 years ago
Nikhil	2f80f78b82	Use concrete hashes too	5 years ago
Nikhil	16dbd05d93	change the log to debug	5 years ago
Nikhil	92e727e317	Refactor code and support other args	5 years ago
Nikhil	d5465acaea	Merge branch 'storage/UIP' of github.com:ConsenSys/mythril into storage/UIP	5 years ago
Nikhil	967e948e7a	Remove changes in setup.py	5 years ago
Nikhil	df81e73896	Merge branch 'develop' of github.com:ConsenSys/mythril into storage/UIP	5 years ago
Nikhil Parasaram	a16fd249a4	Merge branch 'develop' into storage/UIP	5 years ago
Nikhil	609b20f6da	Remove useless code	5 years ago
Nikhil	f26067d186	remove dead code	5 years ago
Nikhil	4c586f1981	remove dead code	5 years ago
Nikhil	79faa94820	fix type fixes	5 years ago
Nikhil	b62c34705e	refactor the code	5 years ago
Nikhil	b51fd81848	Use different method	5 years ago
JoranHonig	a223219ab6	Merge pull request #1231 from ConsenSys/bug/invalid-loop-pruning ... Added 'context' to loop annotations.	5 years ago
Eric Ngo	e9dfa8fca3	Make keys unique	5 years ago