3626 Commits (berndtz_experimental)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Nikhil Parasaram	5f24d23438	Storage Refactor	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
JoranHonig	3095a5efcf	Merge branch 'develop' into features/disable_fp_filter	6 years ago
Joran Honig	ec0794a54b	add return character	6 years ago
Joran Honig	271eda6111	Disable effect check feature	6 years ago
Dr. Sergey Pogodin	2348c75a58	Sets up integration tests	6 years ago
JoranHonig	27af71c34b	add create2 opcode to hooks (#1006)	6 years ago
Nikhil Parasaram	5b2dbd9b94	Send the transaction count to the Analyzer (#998)	6 years ago
JoranHonig	0ff82e7e7e	Merge pull request #919 from ConsenSys/enhance/886 ... Detect State changes after external calls	6 years ago
JoranHonig	10cbe0e48e	Merge branch 'develop' into enhance/886	6 years ago
Ooqu4	8967ea3090	Fix some minor typos (#1003) ... * Fix some minor typos * Revert wrong typo correction	6 years ago
Nikhil Parasaram	44ed641f81	Update mythril to 0.20.4	6 years ago
Bernhard Mueller	819747128d	Merge pull request #1002 from ConsenSys/bugfix/source_list ... Add the runtime bytecode to source list	6 years ago
Nikhil Parasaram	7af06fe6f9	Add the runtime bytecode to source list	6 years ago
Nikhil Parasaram	8254bf1f5c	Merge pull request #1000 from ConsenSys/fix/log-format ... Fix jsonv2 log format	6 years ago
Dominik Muhs	7adb14c329	Fix cli log format	6 years ago
Dominik Muhs	6b70e1e10a	Fix jsonv2 log format	6 years ago
Nikhil Parasaram	228ea789ed	Remove the annotation removal	6 years ago
Nikhil Parasaram	931432ad85	Use statechange address	6 years ago
JoranHonig	0615a2a219	Merge pull request #997 from ConsenSys/bugfix/ret ... Add creation hash to the code	6 years ago
Nikhil Parasaram	38daa586bd	Add creation hash to the code	6 years ago
Nikhil Parasaram	d42153f592	Merge pull request #971 from ConsenSys/jsonv2fix ... Fix the jsonv2 output for the type of the contract	6 years ago
Nikhil Parasaram	1a5a761bb6	Fix the merge conflict problem	6 years ago
Nikhil Parasaram	aba7e32edf	Fix merge conflicts	6 years ago