4114 Commits (fix/boundedloops)

 

All Branches   

Search

Author	SHA1	Message	Date
Nathan	ba8cb741ca	Add variables for trial credentials	5 years ago
Nathan	389a2cc810	Add trial mode messaging	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
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
Eric N	2082caa290	Merge branch 'develop' into pending-opcodes	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
Eric N	2f2c56ac6d	Add create_post logic	5 years ago
Eric N	e8b50b57ef	Fix bug and comment code. Adding tests.	5 years ago
ricengo	f58aaa1830	Updated create implementation. TODO: finish log, create2, and staticcall	5 years ago
ricengo	79ec85ea71	Merge branch 'bug/constructor-arguments' into pending-opcodes	5 years ago
e-ngo	5e1fb60670	Added CREATE	5 years ago
e-ngo	35dc2ef099	Merge branch 'develop' into pending-opcodes	5 years ago
Nathan	d390b4a6a4	Remove confusing comment	5 years ago
Nathan	c453aa6c78	Merge branch 'develop' into bug/constructor-arguments	5 years ago
e-ngo	7096a2806b	Removed creationdata as is unnecessary for now.	5 years ago
Nathan	871907f6c3	Add checks for creation transaction in codesize/codecopy/calldatasize/calldatacopy	5 years ago
Nikhil Parasaram	c8d91b6f41	Add the rest of the precompiles (#990) ... * Support modular exponentiation for concrete data * Add elliptic curve operations * Fix type hints and refactor code * Support usage of the rest of the native contracts * Remove unused imports * Add tests for elliptic curve functions * Use a constant for native functions count * Update py_ecc version * Use PRECOMPILE_COUNT over hardcoded value * Use shortened list comprehensives * Clean up imports * Use precompile count in checking precompile calls * Refactor code	5 years ago
e-ngo	4295b828f5	Starting implementation of creationdata.	5 years ago
e-ngo	01724da877	Added new calculation to codesize.	5 years ago
Bernhard Mueller	7a4c11a44a	Merge pull request #1200 from ConsenSys/standard_actors ... Change actor addresses in line with MythX test case conventions	5 years ago
Bernhard Mueller	4821668087	Fix standard actors list	5 years ago
Bernhard Mueller	106bf49fda	Reduce number of actors	5 years ago
Bernhard Mueller	42fec0c770	Change actor addresses in line with MythX test case conventions	5 years ago
palkeo	dcdceefd5d	Fix support for calls forwarding the entire calldata. (#1195) ... * Fix support for calls forwarding the entire calldata. * Reformat with black. * uses_entire_calldata is always a Bool * Revert "uses_entire_calldata is always a Bool" This reverts commit 629cb53172. * Revert "Revert "uses_entire_calldata is always a Bool"" Didn't help, it passed before. Strange. Will need to find a way to investigate locally.	5 years ago
e-ngo	06fce92c10	Refactored create_ opcode	5 years ago