3460 Commits (analysis/TOD)

 

All Branches   

Search

Author	SHA1	Message	Date
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
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
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
JoranHonig	e314bfc990	Merge branch 'develop' into enhance/886	6 years ago
Nikhil Parasaram	ca1c496bae	Fix annotation problem	6 years ago
Nikhil Parasaram	f4893eea65	Merge pull request #994 from ConsenSys/enhance/w/886 ... Propose some changes to enhance/886	6 years ago
Joran Honig	19c12ca685	make typehint compatible with 3.5	6 years ago
Joran Honig	672fcd6c0d	make sure the target address is higher than 16	6 years ago
Joran Honig	056e105bee	refactor state change after external call module ... removed call issue class as this didn't add any extra features over annotations removed dependency on get_call_from_state removed dependency on ops moved issue building logic to the annotation consider different call opcodes for state changes and external calls use bitvecs and smt solving for ether transfer check	6 years ago
Joran Honig	e2b34eec8c	refactor _balance_change to work with bitvec	6 years ago