3948 Commits (fix-balance-overflow)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Joran Honig	5ec39fdce5	Revert "Change timeout logic" ... This reverts commit fda18b3e77.	6 years ago
JoranHonig	8e92dcb412	Merge branch 'develop' into global_timeout	6 years ago
Dr. Sergey Pogodin	1fe3a8876f	FIX: Restricts `eth-account` package version to be <=0.3.0 ... Because `eth-account@0.4.0` depends on `eth_abi>=2.0.0b7`, which conflicts with `eth_abi==1.3.0` required by `mythril-classic`. As I am looking for a rapid fix, I am restricting `eth-account<=0.3.0` rather than trying to allow higher versions of `eth_abi`. Thus, leaving to `mythril-classic` team to inverstigate possibility of update to latest `eth-account` and `eth_abi`, and fix any related issues.	6 years ago
Dr. Sergey Pogodin	3e4e4a2517	FIX: Restricts `eth-account` package version to be <=0.3.0 ... Because `eth-account@0.4.0` depends on `eth_abi>=2.0.0b7`, which conflicts with `eth_abi==1.3.0` required by `mythril-classic`. As I am looking for a rapid fix, I am restricting `eth-account<=0.3.0` rather than trying to allow higher versions of `eth_abi`. Thus, leaving to `mythril-classic` team to inverstigate possibility of update to latest `eth-account` and `eth_abi`, and fix any related issues.	6 years ago
Bernhard Mueller	e6254b9edb	Revert log.info -> log.debug	6 years ago
Bernhard Mueller	444cee6494	Black	6 years ago
Bernhard Mueller	409d2171ca	Refactor predictable vars module	6 years ago
Bernhard Mueller	501c774486	Merge branch 'develop' of github.com:ConsenSys/mythril-classic into develop	6 years ago
JoranHonig	9c6d8420c6	Merge pull request #1028 from ConsenSys/remove/mythril.py ... Remove mythril.py	6 years ago
Nikhil Parasaram	4180870117	Remove mythril due to some merge conflicts	6 years ago
Bernhard Mueller	c19f54e17d	Black %#;.@&%^&	6 years ago
Bernhard Mueller	f79342ef04	Global execution timeout	6 years ago
JoranHonig	7a6463aaee	Merge pull request #1022 from ConsenSys/bugfix/stop ... Handle return_data=None case	6 years ago
Nikhil Parasaram	b1ecbdc929	Handle return_data=None case	6 years ago
Bernhard Mueller	fda18b3e77	Change timeout logic	6 years ago
JoranHonig	e08ce7e785	Merge pull request #1016 from ConsenSys/features/disable_fp_filter ... Disable effect check feature	6 years ago