Commit Graph

4896 Commits (dependabot/pip/markupsafe-lt-3.1.0)
 

Author SHA1 Message Date
Nikhil Parasaram f8f59dfdd2
Update docs and Add tutorial (#1664) 2 years ago
Nikhil Parasaram aa0f1d192d
Remove additional python runs in tox (#1663) 2 years ago
Nikhil Parasaram 90964e55b0
Add exit code (#1662) 2 years ago
Nikhil Parasaram ac2811701a
Fix imports for python 3.10 (#1661) 2 years ago
Nikhil Parasaram 485b224598
Fix issue with simplify (#1660) 2 years ago
Nikhil Parasaram 76e6d00e1d
Fix OOG issue (#1658) 2 years ago
Nikhil Parasaram 42b0e2068d
Update Readme 2 years ago
Nikhil Parasaram ca3218be48
Mythril v0.23.6 2 years ago
Nikhil Parasaram d6e8813100
Add partial abi support (#1655) 2 years ago
Nikhil Parasaram 842e3da3a4
Fix issues with arbitrary jump dest (#1654) 2 years ago
Nikhil Parasaram 405277dcca
Mythril v0.23.5 2 years ago
Nikhil Parasaram 5a184e8225
Add support for locking config file (#1652) 2 years ago
Nikhil Parasaram 21999f8b50
Fix CI (#1651) 2 years ago
Nikhil Parasaram 229b607fe5
Deepcopy storage load and store sets (#1648) 2 years ago
Nikhil Parasaram 06426c64f6
Mythril v0.23.4 2 years ago
Nikhil Parasaram 13829d77f4
Add a get set for summaries (#1647) 2 years ago
Nikhil Parasaram 15d7dc989d
Support py36 through py39 (#1646) 2 years ago
Nikhil Parasaram 591af8a319
Use latest blake2bpy, Fix version extraction (#1644) 2 years ago
Nikhil Parasaram d9521dc667
Mythril v0.23.3 2 years ago
Nikhil Parasaram 6e2a6e1316
Fix issues with Bitvec (#1642) 2 years ago
Nikhil Parasaram 635a37afa5
Fix Bitvec issue (#1641) 2 years ago
Christian c869a2bf27
Typo: External Calls now states correctly SWC-107 (#1639) 2 years ago
Nikhil Parasaram ca0edd6208
Handle CRLF line endings (#1637) 3 years ago
Nikhil Parasaram c65340a328
Mythril v0.23.2 3 years ago
Nikhil Parasaram e5fd33def6
Fix loop bound and other instruction performance issues (#1635) 3 years ago
Nikhil Parasaram 949a9820ad
Fix caching for exceptions module (#1633) 3 years ago
72521 32d2bd676e
Correct comment (#1632) 3 years ago
Nikhil Parasaram 0c2e136819
Mythril v0.23.1 3 years ago
Nikhil Parasaram b8749f887f
Fix misc issues (#1631) 3 years ago
Nikhil Parasaram e9c5f6a897
Use a more precise modeling of return data (#1630) 3 years ago
Nikhil Parasaram c236dde7d8
remove depth for jump (#1628) 3 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