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

1188 Commits (c39ef01d994ccaae7b2004f9de800aab44f623ba)
 

Author SHA1 Message Date
Bernhard Mueller 768e798ffe Add .gitattributes
7 years ago
Bernhard Mueller 5532d1e775 Also add jinja2 to setup.py
7 years ago
Bernhard Mueller 9adcf06914 Merge branch 'joshuata/templating' of git://github.com/joshuata/mythril
7 years ago
Dr. Sergey Pogodin eafd065814 Merge branch 'f2f-30064535-walker_'
7 years ago
Dr. Sergey Pogodin fcdffc83d3 Updated the tests to work for the latest commits in master
7 years ago
Dr. Sergey Pogodin 72af781994 Merge branch 'master' into f2f-30064535-walker_
7 years ago
Dr. Sergey Pogodin 8e94ea6952 F2F: Fix tests and build
7 years ago
Dr. Sergey Pogodin 9a9b0eb354 Update of expected test outputs
7 years ago
Dr. Sergey Pogodin ef6352fe8f Merge branch 'f2f-30064536-diazz'
7 years ago
Dr. Sergey Pogodin 9f6caa50ff F2F: Improve formatting of analysis reports
7 years ago
Bernhard Mueller e6cec0409e
Merge pull request #128 from JoranHonig/features/integeroverflow_benign
7 years ago
Joran Honig 0263acd2c8 Add type check
7 years ago
Bernhard Mueller e84c12fdd2 Update test files
7 years ago
Bernhard Mueller 33a93db2e1
Merge pull request #127 from JoranHonig/features/integeroverflow_benign
7 years ago
Joran Honig 41c59fd5e8 Add comment
7 years ago
Joran Honig 4b2592431b Edit comments and spacing
7 years ago
Joran Honig 926ec84d4b Reduce nesting, and implement verification step for integer overflow
7 years ago
Bernhard Mueller 1ffcbe09bf Integers: Add type check, change operator in assert conditions
7 years ago
Bernhard Mueller 393e8c3fa7 Update expected test files
7 years ago
Bernhard Mueller 53a78aab97 Add check for overflow in MUL instructions, improve underflow detection
7 years ago
Bernhard Mueller d50a8e2479
Merge pull request #126 from birdofpreyru/f2f-30064537
7 years ago
Dr. Sergey Pogodin 1330944414 F2F: Fix bugs related to multi-threading support in db initialization functionality
7 years ago
Bernhard Mueller 8062b4d0d4 Update expected outout file (suicide.json)
7 years ago
Bernhard Mueller 350dae5644 Update expected test outputs (markdown)
7 years ago
Josh Asplund 367a185075 Simplifies serialization code
7 years ago
Josh Asplund 0f0e154000 Initial template implementation.
7 years ago
Bernhard Mueller 509ba09936
Merge pull request #124 from suppermancool/suggestions-to-improve-markdown-report-formatting-#108
7 years ago
dat b1d3c2d913 #108 add back tips
7 years ago
dat 148f4823ca wrap all functions in back ticks #108
7 years ago
Bernhard Mueller 96f9384b16
Merge pull request #120 from atikur/tc-30064536
7 years ago
Atikur Rahman fa920872cb wrap function in back ticks
7 years ago
Atikur Rahman 15fd5a3c02 fix markdown report formatting
7 years ago
Bernhard Mueller d0a3858400 Lock pip version in Dockerfile #115
7 years ago
Bernhard Mueller 05804bb97f
Merge pull request #117 from JoranHonig/bugfix/tests
7 years ago
Bernhard Mueller 5eb828a1c3 Update expected test outputs
7 years ago
Joran Honig 0a14db0481 Add dependency check to test script
7 years ago
Bernhard Mueller d5f05a1c6a
Fix a typo
7 years ago
Bernhard Mueller facdec1cf4 Update report text in integer overflow check
7 years ago
Bernhard Mueller 2acd398325
Merge pull request #114 from JoranHonig/bugfix/tests
7 years ago
Joran Honig 093fb053cb Add missing test files
7 years ago
Joran Honig 260180b187 Regenerate output files adding easm files
7 years ago
Joran Honig b1717a8c1f Change documentation and output line
7 years ago
Joran Honig 50e8acb632 Add new expected files
7 years ago
Joran Honig 311e30cec9 Compare with current output
7 years ago
Joran Honig 55c7a4e61a Compare with current output
7 years ago
Joran Honig 3b86cbf23d Add returnline and return statement.
7 years ago
Joran Honig 8e32db3e84 Change check from expected == expected to expected == current
7 years ago
Bernhard Mueller bbdab3afff Merge branch 'master' of github.com:ConsenSys/mythril
7 years ago
Bernhard Mueller 9e340d64c9 Merge branch 'features/integeroverflow' of git://github.com/JoranHonig/mythril into JoranHonig-features/integeroverflow
7 years ago
Bernhard Mueller c38228a135
Update README.md
7 years ago