4051 Commits (f781ce3604e11c2475e59e8f412746f9cc0067de)

 

All Branches   

Search

Author	SHA1	Message	Date
Nathan	f781ce3604	Add user supplied assertions module to documentation	5 years ago
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
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
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 Parasaram	988879e632	Mythril version 0.21.16 release	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
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
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
Nikhil Parasaram	7a025fadee	Update the execution timeout for calls.sol test	5 years ago
Nikhil Parasaram	b3d20d22a5	Version update	5 years ago
Nikhil Parasaram	fa29f9b67f	Fix some ether problems and fix minimise (#1198)	5 years ago
Bernhard Mueller	4cf3300c99	Merge pull request #1193 from ConsenSys/workshop-fixes ... Fix pruning of calls	5 years ago