3419 Commits (46c1b29528447f2bdb3d0ea598ff51923251f495)

 

All Branches   

Search

Author	SHA1	Message	Date
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
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
Nikhil Parasaram	da8a1fd29a	Mythril v0.20.5	6 years ago
Bernhard Mueller	d3eaf8d105	Merge branch 'master' into develop	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
Joran Honig	6887fbdc06	move constraint creation out of try context	6 years ago
Nikhil Parasaram	c14f6a3292	enhance cli	6 years ago
Dr. Sergey Pogodin	7716a2a414	Temporary disables full Edelweiss test + up to 5 retries of the quick one	6 years ago
Nikhil Parasaram	e02a2612d0	Refactor cli	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
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
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
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
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