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

4217 Commits (remove/dos)
 

Author SHA1 Message Date
Nikhil Parasaram aaef40764c
Fix mypy issues (#1246)
5 years ago
Nikhil Parasaram 1cd49eb3b6
Catch stackunderflow exception before hitting analysis modules (#1234)
5 years ago
Nikhil Parasaram 0869cbf394
Add tests for extcodecopy (#1240)
5 years ago
Nathan 3d1b0e889d
Merge pull request #1239 from ConsenSys/fix/iprof-ctrlc
5 years ago
Nathan 73c6f8390a
Merge branch 'develop' into fix/iprof-ctrlc
5 years ago
Nikhil Parasaram 7a105e5dec
Py35 support (#1233)
5 years ago
Nathan 8e9edebb79
Merge branch 'develop' into fix/iprof-ctrlc
5 years ago
Nikhil Parasaram 07347e28ff
Remove truffle support (#1218)
5 years ago
Nathan 9fd552dae3
Merge branch 'develop' into fix/iprof-ctrlc
5 years ago
Nathan f1a0c9db04 Fix propagation of JumpdestCountAnnotation (#1237)
5 years ago
Nathan 4aeb4cc5f3 Improve function signatures
5 years ago
Nikhil Parasaram 203e8f6feb
Update mythril/laser/ethereum/svm.py
5 years ago
Nathan 14ec9022f0 Display instruction profiler results on ctrl+c or error
5 years ago
Nikhil 2f80f78b82 Use concrete hashes too
5 years ago
Nikhil 16dbd05d93 change the log to debug
5 years ago
Nikhil 92e727e317 Refactor code and support other args
5 years ago
Nikhil d5465acaea Merge branch 'storage/UIP' of github.com:ConsenSys/mythril into storage/UIP
5 years ago
Nikhil 967e948e7a Remove changes in setup.py
5 years ago
Nikhil df81e73896 Merge branch 'develop' of github.com:ConsenSys/mythril into storage/UIP
5 years ago
Nikhil Parasaram a16fd249a4
Merge branch 'develop' into storage/UIP
5 years ago
Nikhil 609b20f6da Remove useless code
5 years ago
Nikhil f26067d186 remove dead code
5 years ago
Nikhil 4c586f1981 remove dead code
5 years ago
Nikhil 79faa94820 fix type fixes
5 years ago
Nikhil b62c34705e refactor the code
5 years ago
Nikhil b51fd81848 Use different method
5 years ago
JoranHonig a223219ab6
Merge pull request #1231 from ConsenSys/bug/invalid-loop-pruning
5 years ago
Eric Ngo e9dfa8fca3 Make keys unique
5 years ago
Eric Ngo e1bd418aa4 Merge branch 'develop' of https://github.com/ConsenSys/mythril into bug/invalid-loop-pruning
5 years ago
Nikhil e8330f5bb5 Save status
5 years ago
Nikhil Parasaram 94cd6364b0
Use padded operation over operation (#1229)
5 years ago
Eric Ngo 6f63749891 Fixed mypy
5 years ago
Eric Ngo 6f21b92796 Added 'context' to loop annotations.
5 years ago
e-ngo a8a76b3da5 Added returning global state to SIGNEXTEND opcode. (#1227)
5 years ago
Bernhard Mueller b0e57b2768 Enable optimizer when compiling Soldity files (#1226)
5 years ago
Bernhard Mueller 43e3a58ec0
Merge pull request #1225 from ConsenSys/fix/cleanup
5 years ago
Nikhil 652e791ed7 Remove weighted param
5 years ago
Nikhil 00bf44d00d Use Constraint()'s weight
5 years ago
Joran Honig 172394184d immediately return value
5 years ago
JoranHonig 5063b6882c
Merge pull request #1224 from ConsenSys/edelweiss/2.0
5 years ago
JoranHonig 12eb0c29f7
Merge branch 'develop' into edelweiss/2.0
5 years ago
Aleksandr Sobolev 1ae2cf0355
Inject env variable into Edelweiss
5 years ago
Nikhil 759c778f3a Fix type hints
5 years ago
Nikhil ae8f9c099d Merge branch 'storage/UIP' of github.com:ConsenSys/mythril into storage/UIP
5 years ago
Nikhil 7e84ead7dc Add type hints and remove redundant storing
5 years ago
Bernhard Mueller 67adaeac5e
Merge branch 'develop' into storage/UIP
5 years ago
e-ngo 57068484c6 Changed instructions out-of-bounds behavior to return halt instruction. (#1223)
5 years ago
Nikhil 90950756d3 Handle few edge cases
5 years ago
Nikhil ceeedcf461 Merge branch 'storage/UIP' of github.com:ConsenSys/mythril into storage/UIP
5 years ago
Nikhil c5b8ae87b2 Push concolic Node changes
5 years ago