Commit Graph

126 Commits (analyze-with-mythx)

Author SHA1 Message Date
Nikhil Parasaram c8d91b6f41
Add the rest of the precompiles (#990) 5 years ago
Nikhil Parasaram 7a025fadee
Update the execution timeout for calls.sol test 5 years ago
Nathan 518e33b45b Fix incorrect values in some suicide evm tests 5 years ago
Nathan 584bdf13d6 First draft of ether balance modeling 5 years ago
JoranHonig eaebc2361f Nested bitvec func (#1163) 5 years ago
Nikhil Parasaram 7f2a598f70 Update storage tests 5 years ago
Nikhil Parasaram 5252a05524
Implement EXTCODECOPY (#928) 6 years ago
Nikhil Parasaram dd7b255fc9 Fix storage 6 years ago
Nikhil Parasaram a0f0767b15 Revert "Merge pull request #1076 from ConsenSys/bugfix/bectoken" 6 years ago
Nikhil Parasaram bedbc7d287 Fix storage tests 6 years ago
Nikhil Parasaram b3bf6fbcde Fix Storage and calldata 6 years ago
JoranHonig a9671de8a3 Balance modelling and symbolic sender variables (#1025) 6 years ago
Nikhil Parasaram 78a720ed31 Fix merge conflicts 6 years ago
Nikhil Parasaram c2b9bd7cb0 Move a test to TODO 6 years ago
Nikhil Parasaram 92a9990c34 Fix the tests 6 years ago
Nikhil Parasaram ca4107833a Fix gasprice and return1_ 6 years ago
Nikhil Parasaram 475398deb4 Refactor the code 6 years ago
Nikhil Parasaram f02eaa8cd6 Fix the Add randomTests, SystemOpsTests and IOandFlowTests 6 years ago
Nikhil Parasaram 1c16bf7741 Fix merge conflicts 6 years ago
Nathan 0a992bb6d9 Create helper functions for operations in bitvec.py 6 years ago
Joran Honig 42edd276c3 move solver files to separate directory 6 years ago
Nathan bfed409e45 Add bitvecfunc tests 6 years ago
Nikhil Parasaram 1a63fb20ef Refactor mythril/mythril.py 6 years ago
Nikhil Parasaram f9aafe8a9f Add a execution-time require checker flag 6 years ago
Joran Honig 105feb44ac fix calldata tests 6 years ago
Joran Honig 3761a2cbef add check to tests 6 years ago
Joran Honig b336a18132 refactor solvers to work based of * variable 6 years ago
Joran Honig 1a65e8e4c9 adapt tests according to style rules 6 years ago
Joran Honig 79aad17fde add some basic model tests and fix discovered bug 6 years ago
Joran Honig 4fe49aa260 add independence solver tests 6 years ago
Joran Honig 5adb4cd2d0 add dependence map test 6 years ago
Joran Honig 8014e546c0 add create bucket test 6 years ago
Joran Honig a0dd061424 add _get_expr_variable tests for independence solver 6 years ago
Nikhil Parasaram 6322b4d3c7 Fix the timelimit of calls.sol execution 6 years ago
Dominik Muhs 55153a1469 Add basic docstrings to all classes and functions 6 years ago
Joran Honig 9fae995616 Apply style rules 6 years ago
Joran Honig 3ceed6665d Remove invalid comment 6 years ago
Joran Honig d6c4c3cd82 Remove type hint for compatibility with 3.5 6 years ago
Joran Honig abf8e0847a adapt storage test to use smt abstraction 6 years ago
Joran Honig 521a68d868 adapt mstate test to use smt abstraction 6 years ago
Joran Honig fb89bdf093 Bugfix for and instruction and calldata tests 6 years ago
Joran Honig 4db5e25dc4 mythril/laser/ethereum: Replace z3 with smt abstraction layer 6 years ago
Nathan 2c1572f569 memory refactor to store symbolic values 6 years ago
Joran Honig 2c11246bb6 add symbolic calldata indices test 6 years ago
Joran Honig 49a1f6fa25 mythril/laser/ethereum/state/calldata: Refactor to separate modules and re implement loading logic 6 years ago
Dominik Muhs 0e9e4bf0b1 SQLite Signature DB (#758) 6 years ago
Dominik Muhs c4127fd229 Add Ubuntu PPA support to solc installer, fix version to 0.5.0 6 years ago
Nikhil Parasaram 75c0f1ac16 Reformat code with black 6 years ago
Nikhil Parasaram b1ef2953d7 Fix the tests by fixing solc version of them 6 years ago
Bernhard Mueller e04dd1cdda Refactor package and class names 6 years ago