4884 Commits (a710ca28985930b35f9ff824bd934279e3fb985f)

 

All Branches   

Search

Author	SHA1	Message	Date
Nikhil Parasaram	21999f8b50	Fix CI (#1651) ... * Support py36 through py39 * Remove usage of cytoolz * Update tox * Add a get set for summaries * Support get/set * Restrict cytoolz * Move cytoolz up the dependency list * Move cytoolz up the dependency list * Add cython * Black * Remove from requirements * Add cython * Remove cython from setup * Remove cython from setup * Add cython * set cytoolz version	2 years ago
Nikhil Parasaram	229b607fe5	Deepcopy storage load and store sets (#1648) ... * Support py36 through py39 * Remove usage of cytoolz * Update tox * Add a get set for summaries * Support get/set * Restrict cytoolz * Move cytoolz up the dependency list * Move cytoolz up the dependency list	2 years ago
Nikhil Parasaram	06426c64f6	Mythril v0.23.4	2 years ago
Nikhil Parasaram	13829d77f4	Add a get set for summaries (#1647) ... * Support py36 through py39 * Remove usage of cytoolz * Update tox * Add a get set for summaries	2 years ago
Nikhil Parasaram	15d7dc989d	Support py36 through py39 (#1646) ... * Support py36 through py39 * Remove usage of cytoolz * Update tox	2 years ago
Nikhil Parasaram	591af8a319	Use latest blake2bpy, Fix version extraction (#1644) ... * Use latest blake2bpy, Fix version extraction * Fix setup.py * Handle setup.py * Handle setup.py * Handle setup.py * Fix requirements * Fix requirements * Fix requirements * restrict eth-hash	2 years ago
Nikhil Parasaram	d9521dc667	Mythril v0.23.3	2 years ago
Nikhil Parasaram	6e2a6e1316	Fix issues with Bitvec (#1642) ... * Fix Bitvec issue * Fix issues with Bitvec	2 years ago
Nikhil Parasaram	635a37afa5	Fix Bitvec issue (#1641)	2 years ago
Christian	c869a2bf27	Typo: External Calls now states correctly SWC-107 (#1639) ... External Calls mentioned *SWC-117* but links (corrrectly) to SWC-107, fixed typo to *SWC-107*	2 years ago
Nikhil Parasaram	ca0edd6208	Handle CRLF line endings (#1637) ... * Handle CRLF line endings * Add new line at the end of file	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) ... * Fix caching for exceptions module * Fix loop bound and other instruction performance issues * Remove unused variable * Increase loop bound	3 years ago
Nikhil Parasaram	949a9820ad	Fix caching for exceptions module (#1633)	3 years ago
72521	32d2bd676e	Correct comment (#1632) ... * Correct comment * Update bitvec_helper.py	3 years ago
Nikhil Parasaram	0c2e136819	Mythril v0.23.1	3 years ago
Nikhil Parasaram	b8749f887f	Fix misc issues (#1631) ... * remove depth for jump * Use a more precise modeling of return data * Fix issues with lists * Fix issues * Fix misc issues	3 years ago
Nikhil Parasaram	e9c5f6a897	Use a more precise modeling of return data (#1630) ... * remove depth for jump * Use a more precise modeling of return data * Fix issues with lists * Fix issues	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) ... * 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