4036 Commits (analyze-with-mythx)

 

All Branches   

Search

Author	SHA1	Message	Date
Nathan	cc42cccf08	Merge branch 'develop' into analyze-with-mythx	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	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
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
Bernhard Mueller	8e058f7b05	Merge branch 'develop' into workshop-fixes	5 years ago
Nikhil Parasaram	0281be777b	Fix onsite storage by using proper variables (#1194)	5 years ago
palkeo	2eb94f3043	Small cleanups (no semantic changes) (#1196) ... * Small cleanups. * Run black.	5 years ago
Nathan	66c604b72c	Fix invalid function names	5 years ago
Nathan	bcf528e139	Fix pruning of calls	5 years ago
Bernhard Mueller	477f296395	Merge pull request #1192 from palkeo/storage_loaded ... Fix for #1176: track what storage has been initialized. Load uninitialized storage once.	5 years ago
palkeo	ef1cbc4052	Add type annotation.	5 years ago
palkeo	b46f2a4001	Check that key is not symbolic in __setitem__	5 years ago
palkeo	a9fd342baf	Check if item is symbolic first.	5 years ago
palkeo	04d295b329	Track what storage has been initialized, and load non-initialized storage.	5 years ago
palkeo	8397ca89ad	Fix a bug: the key for the accounts is an integer. (#1190)	5 years ago
palkeo	4f539f6bf0	Fix a bug: correctly copy printable storage over (#1191) ... * Fix a bug: the key for the accounts is an integer. * Fix a bug: correctly copy printable storage. Also fix another serialization bug that appears now that the printable storage is not empty. * Revert "Fix a bug: the key for the accounts is an integer." Should not have been included in that PR.	5 years ago
Nikhil Parasaram	4b1bcbeb3e	Version update	5 years ago
e-ngo	5f3a84107e	"true" to True (#1188)	5 years ago
Bernhard Mueller	2581f9e238	Merge pull request #1185 from ConsenSys/fix-balance-overflow ... Fix balance overflow	5 years ago