3764 Commits (berndt_1)

 

All Branches   

Search

Author	SHA1	Message	Date
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
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
Bernhard Mueller	474582f826	General refactoring	6 years ago
JoranHonig	9da4708c32	Merge pull request #1032 from ConsenSys/features/filter_precompile_externalcall ... ignore external calls to precompile contracts	6 years ago
JoranHonig	e1c4ec8b70	Merge branch 'develop' into features/filter_precompile_externalcall	6 years ago
Bernhard Mueller	5e092a6d7b	Merge branch 'develop' of github.com:ConsenSys/mythril-classic into dependence	6 years ago
Joran Honig	6887fbdc06	move constraint creation out of try context	6 years ago
Bernhard Mueller	00de533507	Hopefully fix CircleCI complaint	6 years ago
Bernhard Mueller	07ab25323c	Don't attempt to access annotations from concrete ints	6 years ago
Bernhard Mueller	b14efd30b1	Remove debugging (and take a break)	6 years ago
Bernhard Mueller	f2eae2f092	Minor changes	6 years ago
Bernhard Mueller	c35b6b35bd	Correctly propagate annotations in sha3 (from indexed memory)	6 years ago
Bernhard Mueller	982cb8ee74	Narrow down findings to instances of CALL and SUICIDE reached via predictable control flow decision	6 years ago
Dr. Sergey Pogodin	7716a2a414	Temporary disables full Edelweiss test + up to 5 retries of the quick one	6 years ago
Bernhard Mueller	1b891fafae	Fix wrong instantiation of OldBlockNumberUsedAnnotation	6 years ago
Bernhard Mueller	dc1963c316	Improve report formatting	6 years ago
Bernhard Mueller	3d35f905e4	Traditionally, add black formatting	6 years ago
Bernhard Mueller	cad6f5ae35	Add differentiation between blockhash of previous and current/future block numbers	6 years ago
Bernhard Mueller	9175a1975f	First implementation of blockhash handling	6 years ago
Joran Honig	31fd66acf5	ignore external calls to precompile contracts	6 years ago
JoranHonig	cd93bd789d	Merge pull request #1031 from ConsenSys/rename/var ... Change the variable name of full_contract_source	6 years ago
Bernhard Mueller	c8aad25921	Merge branch 'develop' of github.com:ConsenSys/mythril-classic into dependence	6 years ago
Nikhil Parasaram	58dad6c23f	Change the variable name of full_contract_source	6 years ago
Nikhil Parasaram	584064d150	Set low priority to other internal compiler generated code (#975) ... * Set low priority to other internal compiler generated code * Remove unused variable * Use the ast to get contract source code * Add docstrings * Remove code filtering for truffle * Update mythril/solidity/soliditycontract.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com>	6 years ago
Bernhard Mueller	c7e401c6bc	Ohoo black	6 years ago
Bernhard Mueller	84849b734b	Remove loggimng	6 years ago
Bernhard Mueller	c419cd9430	Merge branch 'dependence' of github.com:ConsenSys/mythril-classic into dependence	6 years ago
Bernhard Mueller	a3f951d9c7	[WIP] refactor to use annotations	6 years ago
JoranHonig	6149e1809e	Merge branch 'develop' into dependence	6 years ago