4683 Commits (53fe613d22fba6b948e43b432c68b37bf7728e1f)

 

All Branches   

Search

Author	SHA1	Message	Date
Nathan	8571d301d2	Implement user supplied assertion module	5 years ago
Nikhil Parasaram	5f424b62d9	Only propagate code based call annotations (#1211) ... * Only propagate code based call annotations * Move the if condition to a better place	5 years ago
Eric N	bc0f677e87	Cleaned up code. Add create test.	5 years ago
Eric N	a9755b8c67	Modified codecopy. Debugging issue with contract function calls.	5 years ago
Nikhil	28499ac8de	Finish concretisation	5 years ago
Nikhil	6b10d9809b	Save status	5 years ago
Nathan	612fc4df34	Merge branch 'develop' into pending-opcodes	5 years ago
Nathan	b265254055	Merge pull request #1205 from ConsenSys/fix/constraints-after-issues ... Test issue constraints at the end of each transaction	5 years ago
Nathan	52d5afe0b6	Merge branch 'develop' into fix/constraints-after-issues	5 years ago
Nathan	3ab99c963c	Merge pull request #1105 from ConsenSys/analyze-with-mythx ... Analyze contracts with MythX	5 years ago
Eric N	3eaf917b22	Fixing CCT logic. Fixes CREATE with symbolic constructor arguments, but not Concrete.	5 years ago
Nathan	4342785c5d	Fix missed _cache and _issue names	5 years ago
Nathan	cc42cccf08	Merge branch 'develop' into analyze-with-mythx	5 years ago
Nathan	e6963632df	Merge branch 'fix/constraints-after-issues' of github.com:ConsenSys/mythril-classic into fix/constraints-after-issues	5 years ago
Nathan	6456c86a6c	Make _cache and _issues public	5 years ago
Nathan	ba8cb741ca	Add variables for trial credentials	5 years ago
Nathan	389a2cc810	Add trial mode messaging	5 years ago
Nikhil	c7d819b488	Remove constraints	5 years ago
Eric N	7483bc80fd	Refactored code.	5 years ago
Eric N	c6ba4e7e6c	Merge branch 'develop' of https://github.com/ConsenSys/mythril into pending-opcodes	5 years ago
Nikhil Parasaram	988879e632	Mythril version 0.21.16 release	5 years ago
Eric N	c22aeb6abf	Merge develop	5 years ago
Eric N	3dced43216	Syntax errors	5 years ago
Eric N	3c3153e242	Cleaned up stupid logic. Add gas calculation to create2.	5 years ago
Nathan	a310b03611	Merge branch 'develop' into fix/constraints-after-issues	5 years ago
Nathan	74cabd3d3c	Fix issue reporting for trial analysis	5 years ago
Nathan	00179d22c3	Merge branch 'develop' into analyze-with-mythx	5 years ago
Nathan	57e49571bd	Merge pull request #1202 from ConsenSys/bug/constructor-arguments ... Fixing constructor arguments	5 years ago
Nathan	8e7ddbaf66	Merge branch 'develop' into bug/constructor-arguments	5 years ago
palkeo	4ea9827d66	Propagate annotations to the parent call, when a call succeeds. (#1197) ... * Propagate annotations to the parent call, when a call succeeds. This makes the MutationPruner behave correctly. * Add a copy_annotations_from method. * Run black. * WIP * Use persist_to_world_state and the world state instead.	5 years ago
Nikhil Parasaram	c55af2a5a0	Implement static call (#991) ... * Implement static call * Refactor static call tests * Reuse call's post for staticcall * Change variable names and add docstring comments * Rename variable name * change the comment * Fix the tests based on the merge * Fix the tests * Remove extra declaration of WriteProtection * Fix static call test * Add the missing condition in callcode	5 years ago
Nikhil	b4e57b67e4	Add concretisation	5 years ago
Nathan	134627e37e	Fix up some missed bugs	5 years ago
Nathan	0633944719	Merge branch 'analyze-with-mythx' of github.com:ConsenSys/mythril-classic into analyze-with-mythx	5 years ago
Nathan	9f04fa0c8a	Fixes for latest pythx version	5 years ago
Nathan	48ac696400	Merge branch 'develop' into analyze-with-mythx	5 years ago
Nathan	02835c807d	Concretize and display calldata transaction data	5 years ago
Eric N	e64dcbd05d	Removed DelegateCallAnnotation	5 years ago
Eric N	7c2f3dffc6	Fix mypy	5 years ago
Eric N	35690d2dc7	Refactored delegatecall to ignore post conditions.	5 years ago
Nathan	b14f10f8f2	Update external calls to report issues at the end of a transaction	5 years ago
Nathan	bb3aabdb09	Test issue constraints at the end of each transaction	5 years ago
Nikhil	f4dd64a60b	Make the keccak spread accross	5 years ago
Eric N	2082caa290	Merge branch 'develop' into pending-opcodes	5 years ago
Nikhil	475ad946b8	Use UIP over BitVecFunc()	5 years ago
Nathan	3979cc27f2	Fix typo	5 years ago
Nathan	a265b06627	Merge branch 'develop' into bug/constructor-arguments	5 years ago
Nathan	97ab3f9e9a	Add a descriptive comment to codecopy_	5 years ago
Nikhil Parasaram	00dc912f2c	Refactor the cli and add help for the contract selection (#1203)	5 years ago
Eric N	43b15324a1	Add logic for create and create2.	5 years ago