4602 Commits (fix/signextend)

 

All Branches   

Search

Author	SHA1	Message	Date
Joran Honig	9606bd3d88	add helper function to discovery to list plugins	5 years ago
Joran Honig	27aff199e9	initialise mythril plugin loader at start	5 years ago
Bernhard Mueller	bca745faaa	Update README.md	5 years ago
Bernhard Mueller	066e10667d	Merge pull request #1338 from ConsenSys/creator_origin_fix ... Add constraints on tx.origin	5 years ago
Bernhard Mueller	7d166f7073	Update mythril/analysis/module/modules/state_change_external_calls.py ... Co-Authored-By: Nikhil Parasaram <nikhilparasaram@gmail.com>	5 years ago
Nikhil Parasaram	2af3eaa512	Merge branch 'develop' of github.com:ConsenSys/mythril into creator_origin_fix	5 years ago
Bernhard Mueller	a0f78e9337	Add printer for listing detection modules	5 years ago
Bernhard Mueller	02107c2043	black	5 years ago
Bernhard Mueller	710001c42e	Modify cmdline argument order	5 years ago
Bernhard Mueller	ddd0985253	Refactor module names	5 years ago
Bernhard Mueller	34212e4fe0	Refactor detection module whitelist feature	5 years ago
Bernhard Mueller	47824a725d	Refactor module names	5 years ago
Nikhil Parasaram	8f93f525dd	Handle concrete hashes (#1339) ... * Handle concrete hashes * rename hash to keccak * Use SMT Bool * Make constraints cleaner Co-authored-by: Bernhard Mueller <b-mueller@users.noreply.github.com>	5 years ago
JoranHonig	29e011dc3e	Merge pull request #1335 from ConsenSys/refine_detection_architecture ... Clean up detection modules	5 years ago
Bernhard Mueller	b6609bc854	Address norrh's comments	5 years ago
Bernhard Mueller	6b5bf2ca38	Merge branch 'develop' into refine_detection_architecture	5 years ago
Bernhard Mueller	a203cebffd	Add origin constraints to suicide & ether_thief mods	5 years ago
Bernhard Mueller	c930ed6ac2	Set origin to concrete creator address in creation tx	5 years ago
Nikhil Parasaram	b290b6071a	Fix create salt (#1306) ... * Remove native tests * Handle symbolic salt * Handle symbolic salt * Add type hint for contract_address * Bring the instruction gas up * Fix the tests and the instruction Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	5 years ago
Nikhil Parasaram	fa3207c5b8	Fix loop bounds (#1336) ... * new algo for creating loop counter keys * Good old black * Revert to debug log level * Fix type annotation * Minor modification of checksum generation * Greater trace length and some black * Count continous loops Co-authored-by: Bernhard Mueller <b-mueller@users.noreply.github.com>	5 years ago
JoranHonig	0589cdbc76	Merge pull request #1337 from ConsenSys/feature/pre-commit ... Add pre commit to repo	5 years ago
Joran Honig	7f03422026	change type annotation	5 years ago
Joran Honig	b2525e18ba	⚫	5 years ago
Joran Honig	39f8273df0	cast target type in execute method of detection module	5 years ago
Joran Honig	6d65fee9f0	write docstrings for moduleloader member functions	5 years ago
Joran Honig	1551e065a9	add class documentation to ModuleLoader	5 years ago
Joran Honig	8f9f0f9f39	fix up module documentation	5 years ago
Joran Honig	19fcbcf36f	use abstractmethod vs throwing NotImplementedException	5 years ago
Joran Honig	d509e8a240	add docstrings to member functions of DetectionModule ... also improve type annotations	5 years ago
Joran Honig	7c67c46dc0	add documentation to EntryPoint	5 years ago
Joran Honig	85ddc4aa7a	add more documentation to the detection module class docstring	5 years ago
Joran Honig	cc476df2a5	retrieve callback modules not post modules	5 years ago
Joran Honig	b821e13594	call super class init	5 years ago
Joran Honig	05731c29f7	fix typo in field name	5 years ago
Joran Honig	ecdd01c12b	⚫	5 years ago
Joran Honig	d04e8216d3	only enable black for now	5 years ago
Joran Honig	cb1854b0dc	add pre commit to repo	5 years ago
Joran Honig	cb16600668	adapt interface to new analysis logic	5 years ago
Joran Honig	a25da1d08d	black	5 years ago
Joran Honig	2cfcd2eb3b	fix mypy issues	5 years ago
Joran Honig	bd7126cd4d	import directly from module	5 years ago
Joran Honig	250f8c7834	add type annotation to hook dict	5 years ago
Joran Honig	cb3b98d7b8	Merge remote-tracking branch 'origin/develop' into refine_detection_architecture	5 years ago
Joran Honig	c5b26088a1	fix: do not access detector ... modules are detector instances now	5 years ago
JoranHonig	c57269a82d	Merge pull request #1331 from ConsenSys/feature/mythril_plugins ... Base implementation for mythril plugins	5 years ago
Joran Honig	19ab207e2e	⚫	5 years ago
Joran Honig	698f84ee58	fix calls in symbolic to security	5 years ago
Joran Honig	0a17565346	cleanup security.py bigtime (moved module loading logic and utils)	5 years ago
Joran Honig	f37164af0a	import reset callback modules from module	5 years ago
Joran Honig	25676f19d2	black	5 years ago