3889 Commits (remove_pragma)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Joran Honig	d3103d780f	remove unused dependency from external calls module	6 years ago
JoranHonig	8c45c18188	Merge pull request #989 from ConsenSys/features/coverage_based_search_strategy ... Coverage based search strategy	6 years ago
Joran Honig	c4b25f482b	apply style changes	6 years ago
Joran Honig	1737e50e73	implement instruction coverage based plugin ... This search strategy directs the symbolic execution towards "fresh" instructions.	6 years ago
Joran Honig	c966152d4c	move coverage plugin to separate package and add function to ... check if an instruction has previously been covered	6 years ago
Joran Honig	aad81074f7	add type hints to strategy	6 years ago
JoranHonig	71f1b95ee1	Merge pull request #986 from ConsenSys/maintenance/use_instruction_coverage_plugin ... Use instruction coverage plugin	6 years ago
JoranHonig	aab295d7b4	Merge branch 'develop' into maintenance/use_instruction_coverage_plugin	6 years ago
Nikhil Parasaram	71764dbe31	Update version to 0.20.3	6 years ago
Joran Honig	0c6c9de851	add per transaction coverage increase metrics	6 years ago
Joran Honig	1d8995402d	add transaction hooks to svm	6 years ago
Joran Honig	6971b2c2e7	add todo comment to benchmark plugin	6 years ago
Joran Honig	e55fb49440	remove coverage related logic from svm	6 years ago
Joran Honig	45569d9f1f	enable coverage plugin in symbolic.py	6 years ago
JoranHonig	9a9595ae7d	Merge pull request #983 from ConsenSys/features/plugin_loader_sym ... Use plugin loader and factory	6 years ago
Joran Honig	3b444fd4bc	Merge branch 'develop' into features/plugin_loader_sym ... # Conflicts: # mythril/laser/ethereum/plugins/plugin_factory.py	6 years ago
Joran Honig	8c1e7e58b5	add matplotlib to dependencies	6 years ago
Nikhil Parasaram	802ec0d30f	Remove node from usage in state_change module	6 years ago
Nikhil Parasaram	ecbd6711e1	Merge branch 'enhance/886' of github.com:ConsenSys/mythril into enhance/886	6 years ago
Nikhil Parasaram	259c0f28dc	Fix merge conflicts and add check for SSTORE in annotations	6 years ago
Nikhil Parasaram	e861c35bd6	Merge pull request #984 from ConsenSys/features/coverage_plugin ... Implement instruction coverage as a plugin	6 years ago
Nikhil Parasaram	8cddc7039d	Merge branch 'develop' into features/coverage_plugin	6 years ago
Nikhil Parasaram	cb12af78fa	Merge pull request #977 from ConsenSys/features/cleanup_cfg ... Removes dependency on cfg elements from detection modules	6 years ago
Nikhil Parasaram	47bce55067	Merge branch 'develop' into features/cleanup_cfg	6 years ago
Nikhil Parasaram	8f4c438c86	Merge pull request #985 from ConsenSys/maintenance/cleanup_dynamic_load ... Remove unnecessary variable from dynamic loading function	6 years ago
Joran Honig	58a32f6f06	cleanup comment string	6 years ago
Joran Honig	aab48a8e63	remove unnecessary variable from dynamic loading function	6 years ago
Joran Honig	fd51315361	make typehint compatible with older python version	6 years ago
Joran Honig	302817340f	remove dependency from setup	6 years ago
Joran Honig	c3300a755c	add typehint for coverage dict	6 years ago