Commit Graph

4036 Commits (cc42cccf0834cd72470a73bf2e5bc2c2d7dd221b)
 

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 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) 5 years ago
Nikhil Parasaram c55af2a5a0
Implement static call (#991) 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) 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 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) 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 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) 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 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) 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 5 years ago