4807 Commits (7dcefb5b8a5ceb976d71b182938ef4046e567b1c)

 

All Branches   

Search

Author	SHA1	Message	Date
Hal Blackburn	7dcefb5b8a	Arm64 Docker support (#1770) ... * Rework docker image to add arm64 support The mythril/myth image now builds for linux/arm64 as well as linux/amd64. To achieve this, we now use docker buildx to build the images and handle create a multi-platform image manifest. The build config is defined in a buildx bake file. By default it'll build both platforms at once, but you can build just one by overriding the platform on the command line: $ docker buildx bake --set='*.platform=linux/arm64' The solcx Python package doesn't support downloading solc for arm64, so the image now includes the svm command-line tool, which does. (svm is used by foundry to provide solc versions.) Integration with solcx is not automatic, so currently the image's docker-entrypoint.sh handles symlinking solc versions from svm into solcx's directory. In addition to supporting arm64, the image is now quite a bit smaller. ~400M vs 1.3G before. * Update docker image build script for new image * Remove the z3-solver pip platform hack When installing wheels in the Docker image, we previously used an ugly hack to force pip to install the z3-solver wheel, despite it having invalid platform metadata. Instead of bodging pip install in this way, we now fix the z3-solver wheel's metadata after building it, using `auditwheel addtag` to infer and apply compatible platform metadata, which allows pip to install the wheel normally.	2 years ago
Nikhil Parasaram	d531d8ba10	Increase solver timeout (#1768)	2 years ago
Nikhil Parasaram	b2c409f53b	Add pending constraints strategy and make it the default search strategy (#1767) ... * Check for 'unchecked' before turning off Integer module * Use threading during solving constraints * Hide segfaults * Misc fixes * Misc fixes * Misc fixes * reformat with black * Mythril v0.23.21 (#1763) * Misc bug fixes (#1764) * Mythril v0.23.22 (#1765) * rebase * rebase * save changes * Save changes * Pop * Reformat	2 years ago
Nikhil Parasaram	80f7db0c4c	Mythril v0.23.22 (#1765)	2 years ago
Nikhil Parasaram	411dd9c051	Misc bug fixes (#1764)	2 years ago
Nikhil Parasaram	52fe53f704	Mythril v0.23.21 (#1763)	2 years ago
Nikhil Parasaram	f4237b0d07	Fix the slowdown due to create going through every instruction (#1762) ... * Check for 'unchecked' before turning off Integer module * Use threading during solving constraints * Hide segfaults * Misc fixes * Misc fixes * Misc fixes * reformat with black	2 years ago
Nikhil Parasaram	a40afb540c	Mythril v0.23.20	2 years ago
Nikhil Parasaram	fedf68f09d	Use threading during solving constraints (#1760) ... * Check for 'unchecked' before turning off Integer module * Use threading during solving constraints * Hide segfaults	2 years ago
Nikhil Parasaram	9f00f5b4e2	Update test to large resource class in config.yml (#1761)	2 years ago
Nikhil Parasaram	1d4e90f577	Mythril v0.23.19	2 years ago
Nikhil Parasaram	7bf52441bd	Check for 'unchecked' before turning off Integer module (#1757)	2 years ago
Nikhil Parasaram	f4413456d8	Mythril v0.23.18	2 years ago
Nikhil Parasaram	c0e8b67952	Perform a nesting decoding (#1754) ... * Perform a nesting decoding * Remove unwanted statement	2 years ago
Nikhil Parasaram	4c16585a7f	Add other networks (#1751) ... * Add other networks * Remove https	2 years ago
Nikhil Parasaram	cc5f81a4cc	Mythril v0.23.17	2 years ago
Nikhil Parasaram	003f3d7dd8	Fix issue with memory extend (#1750) ... * Fix issue with memory extend * Remove assert	2 years ago
Nikhil Parasaram	4af3b1d98f	Misc fixes (#1749) ... * Add foundry command support * Add foundry support * Add a hotfix * Fix cheat codes * misc fixes * misc fixes * Black * switch equality	2 years ago
Nikhil Parasaram	e38502f35d	Hotfix for some unknown behavior with foundry (#1745) ... * Add foundry command support * Add foundry support * Add a hotfix	2 years ago
Nikhil Parasaram	f7e5debeac	Add support to foundry (#1744) ... * Add foundry command support * Add foundry support	2 years ago
Nikhil Parasaram	34aa49c2e5	Add return value for native calls (#1743)	2 years ago
ToonVanHove	6964d22c18	fix: pad function hashes to always be 8 characters (#1741)	2 years ago
Rahul Saxena	5d92dcbc1f	Fixed a typo in docs (#1740) ... * Fixed a typo in docs * Corrected the name of a param	2 years ago
宾文邦	d543c3aed1	fix returndata copy index (#1739)	2 years ago
Nikhil Parasaram	78cd01cead	Mythril v0.23.16 (#1738)	2 years ago
Nikhil Parasaram	383331356d	Handle pragma parsing using pyparser (#1737) ... * Handle pragma parsing using pyparser * Change issue count * Update requirementss	2 years ago
Nikhil Parasaram	030d640bbb	Fixes issue with ext calls (#1733) ... * Fix false positives on constructor * Fix issues with extcalls * Remove a log * Fix an ordering issue * Fix a bug with balance_	2 years ago
gsalzer	e12460bf6e	Fix: adapt description to match the sample command (#1731)	2 years ago
Nikhil Parasaram	61a0eb88e2	Mythril v0.23.15 (#1730)	2 years ago
Nikhil Parasaram	b509a2c1cf	Fix false positives on constructor (#1729)	2 years ago
Nikhil Parasaram	c309a2b46e	Mythril v0.23.14 (#1727)	2 years ago
Nikhil Parasaram	29bb08b411	Add support to older solc versions (#1726)	2 years ago
gsalzer	d82bd717af	Update of bug template (#1725) ... Fix: info about how to obtain Mythril version	2 years ago
Nikhil Parasaram	68bb277d30	Add support for fallback() and receive() functions for prioritising tx sequences (#1723) ... * Resstrict precommit * Add support for fallback and receive * Fix requirements	2 years ago
Nikhil Parasaram	e6c140fd89	Resstrict precommit (#1720)	2 years ago
Nikhil Parasaram	cd9d0a3e7f	Edit hashforether.sol	2 years ago
Nikhil Parasaram	921f395343	Mythril v0.23.13 (#1718)	2 years ago
Nikhil Parasaram	0fac8e3d6d	Using cache search strategy (#1714) ... * Fix JSON serialisation issue * Add cache * Add tests * Remove a debug statement	2 years ago
Nikhil Parasaram	2fb67f66fa	Mythril v0.23.12 (#1711)	2 years ago
Nikhil Parasaram	94fab4552f	Fix docs (#1710)	2 years ago
Nikhil Parasaram	a96a127093	Use execution time for concolic execution (#1709) ... * Add transaction plugins for summary search strategy * Add set tx counter and fix balances for summaries * Reformat * Use exec time for concolic execution	2 years ago
Nikhil Parasaram	50480a844a	Add set tx counter and fix balances for summaries (#1707) ... * Add transaction plugins for summary search strategy * Add set tx counter and fix balances for summaries * Reformat	2 years ago
Nikhil Parasaram	8bc3726b0c	Mythril v0.23.11 (#1706)	2 years ago
Nikhil Parasaram	f585497c2d	Add transaction plugins for summary search strategy (#1705) ... * Add transaction plugins for summary search strategy * Add transaction plugins for summary search strategy	2 years ago
gsalzer	e18dec4449	Fix issue #1702 (crash without internet) (#1703) ... * Fix issue #1702 (crash without internet) * Use ConnectionError Co-authored-by: norhh <nikhilparasaram@gmail.com>	2 years ago
Nikhil Parasaram	009a5dedab	Use deepcopy for jumpi (#1704)	2 years ago
Nikhil Parasaram	a4034ef834	Fix docker badge (#1700)	2 years ago
Nikhil Parasaram	185f2d6cd2	Support solc-args (#1698)	2 years ago
ben	19f6a8b120	add goerli (#1694)	2 years ago
Nikhil Parasaram	21b3e92747	Mythril v0.23.10 (#1688)	2 years ago