4866 Commits (1a5d41fe1c494af3052c1d52b6f44a6122d7e5e7)

 

All Branches   

Search

Author	SHA1	Message	Date
Sir Hashalot	b9fdf359ac	Fix myth --version typo in docs (#1563) ... Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com>	3 years ago
Nikhil Parasaram	7b321d668e	Use requirements in setup (#1564)	3 years ago
Nikhil Parasaram	510ff95655	Support symbolic bytecode (#1560) ... * Support symbolic bytecode * Use hex notation * Handle swarm hash	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) ... * change versions * Move away from pyethereum dependency * Remove leveldb * Change requirements * Add rzpad() * Fix issues with sha3 * Fix sha3 edge cases * Fix setup.py * Restrict eth-utils * Restrict eth-typing * Fix py-ecc * Fix typing_extensions	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) ... * change versions * Move away from pyethereum dependency * Remove leveldb * Change requirements * Add rzpad() * Fix issues with sha3 * Fix sha3 edge cases * Fix setup.py * Restrict eth-utils * Restrict eth-typing * Fix py-ecc	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) ... * Handle an edgecase from local host clients * Fix eth-typing	3 years ago
Nikhil Parasaram	53f90cfb5f	Fix issue with get_constraints (#1549)	3 years ago
Nikhil Parasaram	1a5f28332a	Fix onchain storage access (#1548) ... * Fix issues with onsite storage access * Fix issue with copy	3 years ago
Nikhil Parasaram	9d7873621e	Fixes issues by considering future concrete hashes (#1547) ... * Fix issues with hashing * Fix offsets and edge cases	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) ... * Use symbol_factory * Black	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) ... * Fix issue with source mapping * Fix issues with deployedBytecode * Add typing	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) ... * Add safe functions cli * Add a change * Add tests * Change examples * Fix bytecode tests	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) ... * Support panic() asserts * Use typing extensions	3 years ago
Nikhil Parasaram	067d2c0b47	Add BASEFEE opcode (#1513) ... * Add BASEFEE opcode * Add test	3 years ago
Nikhil Parasaram	cf5f2dd5e0	Mythril v0.22.25	3 years ago
Peilin Zheng	135de8d94e	Fix bug during checking potential issues (#1507) ... * Fix bug due to list.remove() in a loop	3 years ago
Nikhil Parasaram	5b3336a7f7	Fix error message (#1506)	3 years ago
Nikhil Parasaram	563332bd42	Remove mythx calls (#1504) ... * Remove mythx * Remove mythx pro from cli * Format	3 years ago
Nikhil Parasaram	0b20f64372	Use docs from develop	3 years ago
Nikhil Parasaram	b2df73fe0b	Mythril v0.22.24	3 years ago
Nikhil Parasaram	e1f8b51c3b	Fix json issue (#1503) ... * Fix json issue * Add missing files	3 years ago
Nikhil Parasaram	05a1b5bb7e	Fix issues with optimizer (#1499) ... * Fix issues with optimizer * Fix solidity contract test	3 years ago
Nikhil Parasaram	d1e31485d7	Mythril v0.22.23	3 years ago
Nikhil Parasaram	6eb13dd3fc	Handle file mapping to yul files (#1498)	3 years ago
Nikhil Parasaram	c72d212c7e	[WIP] Handle exponents (#1497) ... * Handle exponents * Bruteforce enumerate constraints * Fix evm tests * Fix imports * Fix z3 version to avoid exception * Fix z3 version to avoid exception * Fix z3 version * Fix z3 version * Hunt the issue * Hunt the issue * Hunt the issue * Hunt the issue * Hunt the issue * Fix issue * Fix issue * Add tests * Black * Fix issue * Fix issue with disassembler test * Fix issue with disassembler test	3 years ago
Guillermo Mario Narvaja	d8d469398b	Changes most fixed dependencies (#1491) ... The previous requirements.txt had many fixed dependencies and I think most of them don't need to be fixed. Those fixed dependencies generate conflicts when mixing mythril with other python/ethereum packages, notably brownie-eth.	3 years ago