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

3934 Commits (feature/concretise_storage)
 

Author SHA1 Message Date
Bernhard Mueller a09cb37c13 Format account balance as hex string
5 years ago
Joran Honig c7975eb24a ignore hybrid functions for condition permeation
5 years ago
Joran Honig 3e079a4bfd add return character
5 years ago
Joran Honig 558c9cf83d add appropriate handling for nested bitvecfuncs
5 years ago
Joran Honig fb3aa8c9c8 add test for other level of bitvecfunc
5 years ago
Joran Honig 9753f60a52 add test to reproduce nested function bug
5 years ago
Bernhard Mueller f556ae66a2 Catch exception caused by invalid signature
5 years ago
Bernhard Mueller f5f0ed0e75 Add function names to report output
5 years ago
Bernhard Mueller 8bff312bd0 Undo last commit
5 years ago
Bernhard Mueller 8824258c58 Black
5 years ago
Bernhard Mueller ccb2229f59 Merge branch 'develop'
5 years ago
Bernhard Mueller dc8562e93c
Merge pull request #1156 from ConsenSys/develop
5 years ago
Bernhard Mueller c9a35c3f60 Bump version number
5 years ago
Nathan 96e6e0b73c
Merge pull request #1155 from ConsenSys/cli_notify_incorrect_solv
5 years ago
e-ngo bf5420f242 Merge branch 'develop' into cli_notify_incorrect_solv
5 years ago
e-ngo 9b20f4db8f Removed unnecessary comments
5 years ago
Bernhard Mueller 8f04aacf86
Merge pull request #1153 from ConsenSys/fix/padding
5 years ago
Nikhil cd6246a4dc Fix imports
5 years ago
Nikhil 062e9a3bba Fix type hints
5 years ago
Nikhil 6322730701 Fix the usage of operators
5 years ago
Nikhil e7605bb0a6 Merge branch 'develop' of github.com:ConsenSys/mythril into fix/addr_field
5 years ago
Nikhil 7d9194a06c Pad while comparing unequal functions
5 years ago
e-ngo e88b9e1842 Moved solidity version mismatch error checking from cli to mythril_disassembler
5 years ago
e-ngo 5216c01a61 Added messages to help solidity version mismatches
5 years ago
Bernhard Mueller 9041008f3f
Merge pull request #1150 from ConsenSys/develop
5 years ago
Bernhard Mueller 8def32cb38
Update __version__.py
5 years ago
Bernhard Mueller 66419475af
Merge pull request #1149 from ConsenSys/fix/addr_field
5 years ago
Bernhard Mueller b1405f41d6 Start pruning from second iteration
5 years ago
Nikhil 120d0b2e2d Fix the json v2 accounts field
5 years ago
Bernhard Mueller 47a308fa39
Merge pull request #1148 from ConsenSys/fix/symbolic_dos
5 years ago
Bernhard Mueller ad4cad6b1d
Merge branch 'develop' into fix/symbolic_dos
5 years ago
Bernhard Mueller 1cce71c4ff
Merge pull request #1146 from ConsenSys/pruning_fix
5 years ago
Nikhil be4a157cfd Avoid symbolic targets
5 years ago
Bernhard Mueller d21f9877f7 Norrh suggestion #1
5 years ago
Bernhard Mueller 4df215ca49 Remove reference to non-existant class variable
5 years ago
Bernhard Mueller bae42c3d48 Refactor pruning plugin
5 years ago
Bernhard Mueller f81e71377b
Merge pull request #1145 from ConsenSys/develop
5 years ago
Bernhard Mueller e040f91950
Merge branch 'master' into develop
5 years ago
Bernhard Mueller e0ec462cea
Increase integration test timeout
5 years ago
Bernhard Mueller b3d63c0fef Merge branch 'develop'
5 years ago
Bernhard Mueller a56f6d25df Bump version
5 years ago
Bernhard Mueller c46b2a8911 Merge branch 'develop'
5 years ago
Bernhard Mueller fe1f428dd4
Merge pull request #1133 from ConsenSys/fix/memory
5 years ago
Bernhard Mueller f42eb86cdb
Merge branch 'develop' into fix/memory
5 years ago
Bernhard Mueller 052b8988e3 testCase -> testCases
5 years ago
Bernhard Mueller 4024e18fb6
Merge branch 'develop' into fix/memory
5 years ago
Nikhil 2f6302a8c1 Fix Call for graph test and use a fixed itr for symbolic size
5 years ago
Bernhard Mueller 730873285b
Merge pull request #1142 from ConsenSys/develop
5 years ago
Bernhard Mueller 6076b6a782
Bump version
5 years ago
Bernhard Mueller 60ee9f3c97
Merge branch 'develop' into fix/memory
5 years ago