Commit Graph

4875 Commits (bugfix/1840)
 

Author SHA1 Message Date
Christian c869a2bf27
Typo: External Calls now states correctly SWC-107 (#1639) 2 years ago
Nikhil Parasaram ca0edd6208
Handle CRLF line endings (#1637) 2 years ago
Nikhil Parasaram c65340a328
Mythril v0.23.2 2 years ago
Nikhil Parasaram e5fd33def6
Fix loop bound and other instruction performance issues (#1635) 2 years ago
Nikhil Parasaram 949a9820ad
Fix caching for exceptions module (#1633) 2 years ago
72521 32d2bd676e
Correct comment (#1632) 2 years ago
Nikhil Parasaram 0c2e136819
Mythril v0.23.1 2 years ago
Nikhil Parasaram b8749f887f
Fix misc issues (#1631) 2 years ago
Nikhil Parasaram e9c5f6a897
Use a more precise modeling of return data (#1630) 2 years ago
Nikhil Parasaram c236dde7d8
remove depth for jump (#1628) 2 years ago
Nikhil Parasaram 6b34febd5e
Use int argument (#1625) 3 years ago
Zach Obront 4adafd27ac
fixed module links in documentation (#1622) 3 years ago
Nikhil Parasaram 1cc7706f5c
Mythril v0.23.0 3 years ago
Nikhil Parasaram 120d7d23ec
Fix issue with PluginSkipState (#1620) 3 years ago
shafu.eth 4ba3c10e39
dead link (#1616) 3 years ago
Nikhil Parasaram 651a17c647
Fix issue with cache during summaries (#1619) 3 years ago
Nikhil Parasaram dfaa9382ec
Fix misc issues related to summaries (#1617) 3 years ago
Nikhil Parasaram 38313273e5
Use better issue annotations for search (#1615) 3 years ago
Nikhil Parasaram dfcf5d2cc0
Mythril v0.22.43 3 years ago
JoranHonig 77fdbc81e3
use more secure approach to call docker (#1614) 3 years ago
Nikhil Parasaram 50e1ded4ab
Check versions before using integer module (#1613) 3 years ago
Nikhil Parasaram 042cc68025
Remove logging (#1611) 3 years ago
Nikhil Parasaram 46b26678e1
Fix caching of issues across modules (#1610) 3 years ago
Nikhil Parasaram 1b26ce839a
Mythril v0.22.42 3 years ago
Nikhil Parasaram ae0fd06e47
Unrestrict z3 to 4.8.15.0 (#1608) 3 years ago
Nikhil Parasaram bb1dd3e794
Support TX constraints and refactor CLI (#1607) 3 years ago
Nikhil Parasaram 7a4946144a
Change default execution time 3 years ago
Nikhil Parasaram 7d3f9b5842
Beam search (#1606) 3 years ago
Nikhil Parasaram 8fbe2e2748
Fix NPM code block issue (#1602) 3 years ago
Nikhil Parasaram cf0cb1520b
Handle constructor edge case (#1600) 3 years ago
Nikhil Parasaram 85296a4eb4
Mythril v0.22.41 3 years ago
Nikhil Parasaram c88a5eda57
Fixes optimizer issue (#1597) 3 years ago
Nikhil Parasaram 8f1b8cdc3b
Mythril v0.22.40 3 years ago
Nikhil Parasaram f380bbf689
Init config dir (#1595) 3 years ago
Nikhil Parasaram ed90d243b7
Mythril v0.22.39 3 years ago
Nikhil Parasaram 3c77dce935
Fix issues with sqlite3 (#1594) 3 years ago
Nikhil Parasaram fb18c361bb
Mythril v0.22.38 3 years ago
Nikhil Parasaram d8e2689c8e
Concolic tool (#1445) 3 years ago
Nikhil Parasaram 0ea0f4fbe2
Mythril v0.22.37 3 years ago
Nikhil Parasaram 085f6bb0eb
Stop Edelweiss temporarily (#1593) 3 years ago
Nikhil Parasaram 0a2996a83e
Support Pragmas (#1591) 3 years ago
Nikhil Parasaram 8718a4501f
Helper functions for symbolic summaries (#1587) 3 years ago
Nikhil Parasaram 53fe613d22
Restrict eth-rlp, eth-keyfile (#1586) 3 years ago
Serafim Cloud 52f15b7591
Update LICENSE (#1585) 3 years ago
Nikhil Parasaram 21e21269a6
Mythril v0.22.36 3 years ago
Nikhil Parasaram 56bcd5a21c
Handle changes in allow-paths in solc versions 0.8.8+ (#1584) 3 years ago
Kis Gabor ec17c1423c
Allow missing solc (#1582) 3 years ago
Nikhil Parasaram d00152f8e4
Handle cases with symbolic bytecode (#1581) 3 years ago
Nikhil Parasaram 700950c9e1
Mythril v0.22.35 3 years ago
Nikhil Parasaram 084e549a3a
Fixes issues with create with symbolic bytecode (#1578) 3 years ago