TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
3189 Commits
97 Branches
171 Tags
59 MiB
Tag: Branch: Tree: 2da984bcb5
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '2da984bcb5'
${ noResults }
Commit Graph

3189 Commits (2da984bcb5e730bcd76f0d93af469de9ef29f469)
 

Author SHA1 Message Date
Joran Honig 2da984bcb5 add todo to TOD module
6 years ago
Joran Honig 9e5661d24b remove dependence on cfg & nodes from suicide module
6 years ago
Joran Honig 04e1e3e880 remove dependence on cfg & nodes from multiple sends module
6 years ago
Joran Honig c71067da54 remove dependence on cfg & nodes from integer module
6 years ago
Joran Honig 4906051b17 remove dependence on cfg & nodes from external calls module
6 years ago
Joran Honig 45418830a4 remove dependence on cfg & nodes from exceptions module
6 years ago
Joran Honig 6502bdaf2f remove dependence on cfg & nodes from ether thief
6 years ago
Joran Honig 75c6a12688 add else case to ignore cases where there is a different op being used
6 years ago
Joran Honig 9e45f1ca1c use environment instead of node in depcrecated ops module
6 years ago
Joran Honig f609151316 use environment instead of node in dependence on predictable vars module
6 years ago
Joran Honig 122692b094 use environment instead of node in delegate call
6 years ago
JoranHonig 40d02c662a
Merge pull request #943 from ConsenSys/enhance/941
6 years ago
JoranHonig 22a29cd0b9
Merge branch 'develop' into enhance/941
6 years ago
Nikhil Parasaram 84d5c8652e Move start_time.py to support and reinitialize the start_time to every contract
6 years ago
Nikhil Parasaram 7073c0f730
Merge pull request #938 from ConsenSys/bugfix/935
6 years ago
Nikhil Parasaram 6e497f33c5 Fix merge conflicts
6 years ago
Nikhil Parasaram ba077b4411
Merge pull request #945 from ConsenSys/bugfix/library
6 years ago
JoranHonig a2c17b9e06
Merge branch 'develop' into bugfix/library
6 years ago
Nikhil Parasaram 3fca93df02
Merge pull request #921 from ConsenSys/enhance/350
6 years ago
Nikhil Parasaram 52d5618fc3
Merge branch 'develop' into enhance/350
6 years ago
JoranHonig 0ed11a2bf2
Update mythril/analysis/modules/integer.py
6 years ago
Nikhil Parasaram e1c29a1c83 Fix address length and mstore8_ opcode
6 years ago
Nikhil Parasaram 99ca850baf Add the discovery time to Issue class
6 years ago
Nikhil Parasaram 6d03ef3536 Fix the indentation
6 years ago
JoranHonig 19b8d9092f
Update mythril/analysis/modules/integer.py
6 years ago
Nikhil Parasaram 3093ed54b4
Merge pull request #923 from ConsenSys/bugfix/920
6 years ago
Nikhil Parasaram 1bbc38c152
Merge branch 'develop' into bugfix/920
6 years ago
Nikhil Parasaram 2e1f1fd5d2 Add documentation for _handle_return function
6 years ago
JoranHonig 29e62391cb
Merge pull request #925 from nbanmp/more_documentation
6 years ago
JoranHonig fcd02e295a
Merge branch 'develop' into more_documentation
6 years ago
Nikhil Parasaram fd2436ddb7 handle for integer module
6 years ago
Bernhard Mueller 4830f1ca74
Update README.md
6 years ago
Nikhil Parasaram 0633127ca6
Merge branch 'develop' into bugfix/920
6 years ago
Nathan bc29dc54a1 Merge branch 'more_documentation' of github.com:nbanmp/mythril into more_documentation
6 years ago
Nathan 086bea6e1d Update about.rst and security-analysis.rst
6 years ago
Nikhil Parasaram 4f994f3416 Fix the jsonv2 tests
6 years ago
Nikhil Parasaram aa4fb47f69 Remove return comment and refactor with black
6 years ago
JoranHonig 9fc2b6034f
Fix the offset variable name
6 years ago
JoranHonig c52843ad0f
Merge branch 'develop' into more_documentation
6 years ago
Nikhil Parasaram f03ca139f7 Merge branch 'enhance/350' of github.com:ConsenSys/mythril into enhance/350
6 years ago
Nikhil Parasaram 8fe9b7ae81 Handle edge case for exp
6 years ago
JoranHonig 9072be4ad2
Merge pull request #933 from ConsenSys/bugfix/931
6 years ago
Nikhil Parasaram 50885dd838 increase max depth to 50 and move to bfs
6 years ago
JoranHonig 4d7721fb8d
Merge pull request #930 from ConsenSys/typos
6 years ago
Bernhard Mueller d229c0b309 Fix a couple of typos
6 years ago
JoranHonig 78743b9f58
Merge pull request #927 from ConsenSys/concolic-symbolic
6 years ago
JoranHonig 8b5ac37af7
change concolic to symbolic
6 years ago
JoranHonig b0031ef270
Merge branch 'develop' into more_documentation
6 years ago
Nikhil Parasaram 77e41b52d7
Merge branch 'develop' into enhance/350
6 years ago
Nikhil Parasaram a362f39e6f Revert the use of constraints list
6 years ago