4865 Commits (z3)

 

All Branches   

Search

Author	SHA1	Message	Date
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) ... * Check versions before using integer module * Use IssueAnnotations * Fix misc issues with summaries * Fix cache issue * Fix safe functions * Fix issue with PluginSkipState * Update black	3 years ago
shafu.eth	4ba3c10e39	dead link (#1616)	3 years ago
Nikhil Parasaram	651a17c647	Fix issue with cache during summaries (#1619) ... * Check versions before using integer module * Use IssueAnnotations * Fix misc issues with summaries * Fix cache issue * Fix safe functions	3 years ago
Nikhil Parasaram	dfaa9382ec	Fix misc issues related to summaries (#1617) ... * Check versions before using integer module * Use IssueAnnotations * Fix misc issues with summaries	3 years ago
Nikhil Parasaram	38313273e5	Use better issue annotations for search (#1615) ... * Check versions before using integer module * Use IssueAnnotations	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) ... * Fix caching of issues across modules * Fix caching of issues across modules * Use log.info * Merge * remove comment	3 years ago
Nikhil Parasaram	46b26678e1	Fix caching of issues across modules (#1610) ... * Fix caching of issues across modules * Fix caching of issues across modules	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) ... * Support TX constraints and refactor CLI * Fix typing * Add additional typing * Use dict over accessor * Fix z3py requirements * Init storage args * Init storage args * Init args in vm tests	3 years ago
Nikhil Parasaram	7a4946144a	Change default execution time	3 years ago
Nikhil Parasaram	7d3f9b5842	Beam search (#1606) ... * Init config dir * Fix solc optimizer * Add beam search * Use dict over reference	3 years ago
Nikhil Parasaram	8fbe2e2748	Fix NPM code block issue (#1602) ... * Init config dir * Fix solc optimizer * Fix NPM code block issue * Extend tests	3 years ago
Nikhil Parasaram	cf0cb1520b	Handle constructor edge case (#1600) ... * Init config dir * Fix solc optimizer * Handle constructor edge case	3 years ago
Nikhil Parasaram	85296a4eb4	Mythril v0.22.41	3 years ago
Nikhil Parasaram	c88a5eda57	Fixes optimizer issue (#1597) ... * Init config dir * Fix solc optimizer	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) ... * Mythril v0.22.14 * Add trace plugin and find trace * Add finding trace * Add some changes * change help text * Add some comments * Add support for concolic strategy * Fix issues * Add concolic exec tool * Add a few fixes * Fix a few errors * Add tests * Fix test interface * Add muti flip test * Add multi contract test * Fix cases with multicontract calls * Add more tests and fixes * Fix tests * Fix mypy * Change tests and other small fixes * Add more documentation * Add some changes * Update mythril/concolic/find_trace.py Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com> * Remove space Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com> * Fix typing * Fix Review issues * Change test type * Remove deepcopy * Use 3.8 for typing * Use typing_extensions * Fix prev_state * Add changes to tests and fix some bugs * Fix address assignment * Fix issues and format * Remove set_option * Split plugins * Refactor * Handle sqlite3 Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	3 years ago
Nikhil Parasaram	fb18c361bb	Mythril v0.22.38	3 years ago
Nikhil Parasaram	d8e2689c8e	Concolic tool (#1445) ... * Mythril v0.22.14 * Add trace plugin and find trace * Add finding trace * Add some changes * change help text * Add some comments * Add support for concolic strategy * Fix issues * Add concolic exec tool * Add a few fixes * Fix a few errors * Add tests * Fix test interface * Add muti flip test * Add multi contract test * Fix cases with multicontract calls * Add more tests and fixes * Fix tests * Fix mypy * Change tests and other small fixes * Add more documentation * Add some changes * Update mythril/concolic/find_trace.py Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com> * Remove space Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com> * Fix typing * Fix Review issues * Change test type * Remove deepcopy * Use 3.8 for typing * Use typing_extensions * Fix prev_state * Add changes to tests and fix some bugs * Fix address assignment * Fix issues and format * Remove set_option * Split plugins * Refactor Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	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) ... * Support Pragmas * Fix MarkUpSafe	3 years ago
Nikhil Parasaram	8718a4501f	Helper functions for symbolic summaries (#1587) ... * Restrict eth-rlp * Restrict eth-keyfile * Add functions for summaries * Add some tweaks * Revert a change * Rewrite BaseArray class * Remove unused variable	3 years ago
Nikhil Parasaram	53fe613d22	Restrict eth-rlp, eth-keyfile (#1586) ... * Restrict eth-rlp * Restrict eth-keyfile	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) ... * Handle changes in allow-paths in solc versions 0.8.8+ * Add docker * Remove test	3 years ago
Kis Gabor	ec17c1423c	Allow missing solc (#1582) ... * allow missing solc * reformatted * dummy commit Co-authored-by: mrx23dot <none>	3 years ago
Nikhil Parasaram	d00152f8e4	Handle cases with symbolic bytecode (#1581) ... * Fix issues with string code * revert solc changes	3 years ago
Nikhil Parasaram	700950c9e1	Mythril v0.22.35	3 years ago
Nikhil Parasaram	084e549a3a	Fixes issues with create with symbolic bytecode (#1578) ... * Handle cases when create get's symbolic bytecodes * Refactor * fix typing	3 years ago
Nikhil Parasaram	965513f239	Refactor code (#1577) ... * clean up code * Update lolcat	3 years ago
Nikhil Parasaram	c72ac81de1	Add more precompile tests (#1576) ... * Add tests for natives * Black updates * Update black	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) ... * Fix py-evm when it's in alpha * Downgrade py-evm * upgrade py-evm * remove py-evm restriction * Fix trie * Fix versions * Edit versions * Edit versions * Restrict versions * Remove eth-tester * add blake2b	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) ... * Handle creation code * Fix eth-keys	3 years ago
Nikhil Parasaram	70348b2066	Fixes issues with NoneType and restricts rlp version (#1567) ... * Fix when args are NoneType * Fix rlp	3 years ago
Sir Hashalot	b9fdf359ac	Fix myth --version typo in docs (#1563) ... Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com>	3 years ago