4442 Commits (vuln_edits)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Joran Honig	307da5ddce	add return type to load	5 years ago
Joran Honig	84bf53781b	implement reset callback modules	5 years ago
Joran Honig	9cadd1f50c	implement more refined get detection modules logic	5 years ago
Joran Honig	7cc1a5bc98	import util function from module init	5 years ago
Joran Honig	5041d04d77	use module directly	5 years ago
Joran Honig	9e73ebcd87	Implement get detection_module_hooks in util	5 years ago
Joran Honig	b2f93f91da	implement loading and querying functions for module Loader	5 years ago
Joran Honig	e4e239551a	use base module namespace vs specific module	5 years ago
Joran Honig	0a1cd1d35e	implement initial ModuleLoader	5 years ago
Joran Honig	0a6dd7bf6d	restructure modules python module ... The following was the reason for this change: From other places in mythril there is only a dependency towards base, and a future loader. By structuring the module in this way, this lack of dependency is made more explicit.	5 years ago