Commit Graph

4875 Commits (bugfix/1840)
 

Author SHA1 Message Date
Nikhil Parasaram 965513f239
Refactor code (#1577) 3 years ago
Nikhil Parasaram c72ac81de1
Add more precompile tests (#1576) 3 years ago
Nikhil Parasaram 4003ff1e80
Mythril v0.22.34 3 years ago
Iaroslav Zeigerman 3d012818e9
Fix the leaking file descriptor when returning a z3 smt check result (#1574) 3 years ago
Nikhil Parasaram 916a47286c
Support multiple function names (#1571) 3 years ago
Nikhil Parasaram c3c6739ace
Fix py-evm version (#1570) 3 years ago
Nikhil Parasaram 20521d60f6
Mythril v0.22.33 3 years ago
Nikhil Parasaram b84f55b757
Fix creation case and use better error message (#1569) 3 years ago
Nikhil Parasaram 70348b2066
Fixes issues with NoneType and restricts rlp version (#1567) 3 years ago
Sir Hashalot b9fdf359ac
Fix myth --version typo in docs (#1563) 3 years ago
Nikhil Parasaram 7b321d668e
Use requirements in setup (#1564) 3 years ago
Nikhil Parasaram 510ff95655
Support symbolic bytecode (#1560) 3 years ago
Nikhil Parasaram 47ba692d5c
Use concrete storage (#1562) 3 years ago
Nikhil Parasaram ccda36d30e
Mythril v0.22.32 3 years ago
Nikhil Parasaram 58a36720f4
Use empty code to denote address (#1559) 3 years ago
Nikhil Parasaram 0136b4a1f9
Fix case where loader is not present (#1558) 3 years ago
Nikhil Parasaram b64892bfa9
Fix blake2bpy (#1557) 3 years ago
Nikhil Parasaram 5683310f83
Fix typing_extensions (#1556) 3 years ago
Nikhil Parasaram 2fe53f1721
Remove -l option from docs 3 years ago
Nikhil Parasaram 54676b2011
Remove mythx analysis doc 3 years ago
Nikhil Parasaram 65e274a210
Removes pyethereum Dependencies and leveldb libraries (#1555) 3 years ago
Nikhil Parasaram 3e3e5186e4
Mythril v0.22.31 3 years ago
Nikhil Parasaram 0fa1aac499
Fix pyparsing (#1551) 3 years ago
Nikhil Parasaram aacb04a226
Handle an edgecase from local host clients (#1550) 3 years ago
Nikhil Parasaram 53f90cfb5f
Fix issue with get_constraints (#1549) 3 years ago
Nikhil Parasaram 1a5f28332a
Fix onchain storage access (#1548) 3 years ago
Nikhil Parasaram 9d7873621e
Fixes issues by considering future concrete hashes (#1547) 3 years ago
Nikhil Parasaram f35f1df509
Mythril v0.22.30 3 years ago
Nikhil Parasaram 29738fef56
Fix issues with out of index code (#1545) 3 years ago
Nikhil Parasaram 728d8a2dfc
Remove additional eth transfer (#1544) 3 years ago
Nikhil Parasaram 651e0ac827
Ignore plyvel (#1543) 3 years ago
Nikhil Parasaram 8bde93f621
Mythril v0.22.29 3 years ago
Nikhil Parasaram ab2db57b9a
Fix issues with exceptions module (#1542) 3 years ago
Nikhil Parasaram e7d50f3c60
Fix issue with integer arthimetic (#1541) 3 years ago
Nikhil Parasaram f30dd19181
Mythril v0.22.28 3 years ago
Nikhil Parasaram 455cdd16f5
Fix issue with calldatasize (#1537) 3 years ago
Nikhil Parasaram 82d2fa8196
Support native calls for delegatecall and callcode (#1534) 3 years ago
Nikhil Parasaram 2212e565a4
Use symbol_factory (#1533) 3 years ago
Nikhil Parasaram 9d922fe9f4
Refactor opcode files and fix issues (#1532) 3 years ago
Nikhil Parasaram 579480b477
Fix issue with source mapping (#1526) 3 years ago
Nikhil Parasaram 128aea5dd4
Mythril v0.22.27 3 years ago
Nikhil Parasaram df1d4dd0eb
Use last jump as source for yul mapping (#1518) 3 years ago
Nikhil Parasaram 3e113c9a55
[WIP] Add safe function support (#1510) 3 years ago
Nikhil Parasaram c0693ee49a
Mythril v0.22.26 3 years ago
Nikhil Parasaram db02473193
Add typing extensions (#1516) 3 years ago
Nikhil Parasaram 89bc36baa8
Support Panic(uint256) calls for asserts in v0.8.0+ (#1514) 3 years ago
Nikhil Parasaram 067d2c0b47
Add BASEFEE opcode (#1513) 3 years ago
Nikhil Parasaram cf5f2dd5e0
Mythril v0.22.25 3 years ago
Peilin Zheng 135de8d94e
Fix bug during checking potential issues (#1507) 3 years ago
Nikhil Parasaram 5b3336a7f7
Fix error message (#1506) 3 years ago