3946 Commits (feature/regioned_storage)

 

All Branches   

Search

Author	SHA1	Message	Date
Bernhard Mueller	653245c0a6	Merge branch 'develop' into z3_upgrade	6 years ago
Nikhil Parasaram	062a07c2c7	Use symbolic storage for concrete=False (#1039)	6 years ago
Bernhard Mueller	5432309a9e	Merge branch 'develop' into global_timeout	6 years ago
Bernhard Mueller	845a7f3a1c	Merge pull request #1043 from ConsenSys/multiple_calls ... Refactor multiple_sends module	6 years ago
Bernhard Mueller	6d9a6f67d9	Merge branch 'develop' into global_timeout	6 years ago
Bernhard Mueller	aacf1d04f6	Merge branch 'develop' into multiple_calls	6 years ago
Bernhard Mueller	77bf67bd71	Use newer z3 version	6 years ago
Nikhil Parasaram	2cea270e36	Update mythril/laser/ethereum/state/memory.py ... Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com>	6 years ago
Bernhard Mueller	de78d019e3	Norhh suggestion #1	6 years ago
Bernhard Mueller	24da7c56c1	Merge pull request #1041 from ConsenSys/dos_detection ... Add DOS detection module	6 years ago
Bernhard Mueller	73500d86b6	Norhh feedback #3	6 years ago
Bernhard Mueller	4d91d803fb	Remove unused dependencies	6 years ago
Bernhard Mueller	e36be4b69d	Refactor multiple_sends module	6 years ago
Bernhard Mueller	57d3b7c96d	Implement norhh suggestions #2	6 years ago
Bernhard Mueller	386855ae2f	Implement norhh suggestions	6 years ago
Bernhard Mueller	fca8dd01fb	Merge branch 'develop' into dos_detection	6 years ago
Nikhil Parasaram	2175ee7b1a	update detection capabilities (#1040)	6 years ago
Bernhard Mueller	90fc3a6bf2	Merge pull request #1029 from ConsenSys/dependence ... Refactor predictable vars module	6 years ago
Bernhard Mueller	5bedb338ec	Import Dict:	6 years ago
Bernhard Mueller	66ec7de153	Make code nicer:	6 years ago
Bernhard Mueller	28d3f5034b	Merge branch 'dos_detection' of github.com:ConsenSys/mythril-classic into dos_detection	6 years ago
Bernhard Mueller	58a8a7b621	Add missing type annotation	6 years ago
Bernhard Mueller	c305b8fbf6	Merge branch 'develop' into dos_detection	6 years ago
Bernhard Mueller	2905998561	Merge branch 'develop' into dependence	6 years ago
Bernhard Mueller	f255723045	Better annotations check	6 years ago
Bernhard Mueller	b6c51e8e17	Add DOS detection module	6 years ago
Bernhard Mueller	441ba16276	Mythril Classic -> Mythril	6 years ago
Bernhard Mueller	9bbb9841fd	Update README.md	6 years ago
Bernhard Mueller	fb8968157e	Fix badges (2)	6 years ago
Bernhard Mueller	f6dc443aeb	Fix badges	6 years ago
Bernhard Mueller	c03ddd4ae0	Modify report text	6 years ago
Bernhard Mueller	ad4a5bc25f	Merge branch 'develop' into global_timeout	6 years ago
Bernhard Mueller	2cfa81ba2c	Fix typo in commnent	6 years ago
Bernhard Mueller	23478f43ec	Add typehints, remove debug statements	6 years ago
Bernhard Mueller	990e84f66a	Re-add block_number class variable to environment	6 years ago
Bernhard Mueller	2a6b282eca	Check if variable is BitVec before copying annotations	6 years ago
Bernhard Mueller	676e894d0c	Resolve conflict with develop	6 years ago
Bernhard Mueller	d1d4460605	Add norhh suggestion #2	6 years ago
Bernhard Mueller	dce7d9dc7c	Add suggestion from norhh	6 years ago
Bernhard Mueller	4ee2270168	Update mythril/analysis/modules/dependence_on_predictable_vars.py ... Co-Authored-By: Nikhil Parasaram <tommycjniko@gmail.com>	6 years ago
Dr. Sergey Pogodin	c5d59ce623	Another fix of the previous commit	6 years ago
Dr. Sergey Pogodin	e24b2bc772	Fix of the previous commit	6 years ago
Dr. Sergey Pogodin	02b902637c	Adds Docker pulls shield to README.md... ... also renames "Downloads" into "PyPI Installs" to avoid confusions.	6 years ago
Xiao Liang	111f1f166f	Dockerfile improvement (#1017) ... * build(dockerfile): support preinstalling custom solc * build(dockerfile): run with normal user mythril * build(dockerfile): fix install SOLC command & install under mythril user * fix.build(dockerfile): when build-time argument SOLC not specified * fix.build & chore(dockerfile): copy signature db to user directory & remove CHOWN operation for copied files Fix copying to `signatures.db` to root home directory mistake. `chown` operation was unnecessary and removed.	6 years ago
JoranHonig	a9671de8a3	Balance modelling and symbolic sender variables (#1025) ... * add actor address to symbolic This will allow us to simulate semi-symbolic transaction senders * add value transfer to transaction global state creation * add proper balance tracking to world state and account * use address value vs string * disable actor address variable * use address directly * allow balance functions with int types * use value as getters since bitvecs aren't hashable * implement correct value transfer for suicide * use actor from actor pool * allow use of Or with *arg pattern * use bitvec instead of strings * add dynamic balance implementation to state datamodels * cleanup svm interface * use balance lambda in suicide op implementation * use bitvec instead of string address * update world state and account creation in symbolic * update tests to include overflow results * apply style rules * ignore previous open states for now * update native test to conform to new laser interface * fix incorrect types in the symbolic virtual machine * allow multiple types as input for address in account * fix type hint in symbolic.py * get int out of string in call * fix type in call op implementation * adapt test_transaction to conform to new laser interface * use static address to keep contracts from trying to enter themselves and make address type more dynamic * update evm test to conform to new laser interface * implement suicide to uncreated account * apply style rules * dynamically create colormap This removes the need for a globally maintained accountlist * get value out of address * add accounts getter * change symbolic test call to be valid with respect to the world state and account apis * remove dependency on globally recorded accounts * fix typing issues * fix type annotations in symbolic.py * fix remaining mypy warnings * simplify assertion check * execute lambda to get balance * make variable name plural * add documentation to svm constructor * use list comprehension to make code cleaner * remove comment * change variable name to plural * remove commented code * change variable name to conform to changed interface	6 years ago
Nikhil Parasaram	1a9d0cdd0e	Mythril v0.20.6	6 years ago
JoranHonig	477210e878	Merge pull request #1037 from ConsenSys/develop ... Release 0.20.5	6 years ago
Nikhil Parasaram	da8a1fd29a	Mythril v0.20.5	6 years ago
Bernhard Mueller	d3eaf8d105	Merge branch 'master' into develop	6 years ago
Bernhard Mueller	2ab2d7720f	Delete stray file	6 years ago