4093 Commits (harvey_style_assertions)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Nikhil Parasaram	70c036cc26	support a for analyze and add more tests	6 years ago
Nikhil Parasaram	46c1b29528	Add more tests for storage slots and execution	6 years ago
Nikhil Parasaram	cbe5a656f0	Add more tests and change docs	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
Nikhil Parasaram	40bd45b271	Merge branch 'refactor/cli' of github.com:ConsenSys/mythril into refactor/cli	6 years ago
Nikhil Parasaram	6c4fe8b291	Add documentation	6 years ago
Nikhil Parasaram	c5670221c8	Merge branch 'develop' into refactor/cli	6 years ago
Nikhil Parasaram	ef55c1a0d5	Move the cmd_line_test to the previous directory	6 years ago
Nikhil Parasaram	2eb3d33b23	Add cli tests for error	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	7611d2b01a	Re-Refactor the cli structure for more flexibility	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
Bernhard Mueller	32275d07e4	Fix norhh bugs	6 years ago
Bernhard Mueller	6b24a8a51e	Merge branch 'develop' of github.com:ConsenSys/mythril-classic into global_timeout	6 years ago
Bernhard Mueller	1439bb5666	Merge branch 'develop' of github.com:ConsenSys/mythril-classic into dependence	6 years ago
Bernhard Mueller	19ce7c7526	Of course, black has to be done	6 years ago
Bernhard Mueller	cc63cda26f	Refine module	6 years ago