4848 Commits (4cdb28130c824925e3908daa9389063e28c62ef0)

 

All Branches   

Search

Author	SHA1	Message	Date
Nikhil Parasaram	4cdb28130c	Mythril v0.24.1	1 year ago
Nikhil Parasaram	93965debbf	Fix edge case w.r.t solc versions (#1812)	1 year ago
Nikhil Parasaram	91c4ddad2e	Handle edge case during feature extraction (#1811) ... * Update requirements.txt * use eth-abi * Update requirements.txt * Handle edge case during feature extraction	1 year ago
Nikhil Parasaram	60ca80b91a	Mythril v0.24.0	1 year ago
Nikhil Parasaram	59b86644dc	Update Readme to python 3.7	1 year ago
Nikhil Parasaram	491f4ee343	Update README.md	1 year ago
Nikhil Parasaram	d167d20fc3	Update requirements.txt (#1807) ... * Update requirements.txt * use eth-abi * Update requirements.txt * Update requirements.txt * Update requirements.txt * Update python * Change ci image * Change requirements * Remove signature * Use comma * Handle pip * Fix issues * Reformat setup.py	1 year ago
Nikhil Parasaram	a28d600ced	Fix edge case in integer module for 0.8.0 (#1805) ... * Fix edge case in integer module for 0.8.0 * Remove print	1 year ago
Nikhil Parasaram	8aa56600ef	Fix Readme	1 year ago
Nikhil Parasaram	bd27897533	Misc fixes (#1799) ... * Misc fixes * Fix singleton	1 year ago
Nikhil Parasaram	fd48221682	Fix badge	1 year ago
Nikhil Parasaram	6fa927e296	Add rf based tx prioritiser (#1798) ... * Add rf based tx prioritiser * Handle older solc version feature extraction gracefully	1 year ago
Nikhil Parasaram	ebd7df9601	Update Readme.md (#1795)	1 year ago
Nikhil Parasaram	1990d30ecc	Mythril v0.23.25	1 year ago
Nikhil Parasaram	93cc87ec92	Use recent cytoolz and move cython installation to setup.py (#1794) ... * use recent cytoolz * use recent cytoolz * use recent cytoolz	1 year ago
Nikhil Parasaram	b7a89fed08	Update setup.py	1 year ago
Nikhil Parasaram	9344b2976a	Update tox for 3.10 (#1792)	1 year ago
Kostyan	f5e2784351	Fix link to suicide module (#1789)	1 year ago
Abhinandan Udupa	39b79cae8a	Fix parsing of compiler version and reformat file (#1787) ... * Fix parsing of compiler version (patch version) * Add test to check version-patch fix	1 year ago
Nikhil Parasaram	2a37d2801a	Use arm.xlarge (#1786)	1 year ago
breakpo1nt	1f330efafb	Fix bug in resolving log message of user assertion (#1784)	1 year ago
Nikhil Parasaram	96c3ecd4b8	Add feature extraction (#1785) ... * Add push0 and push tests * Fix issue with args * Add missing files * Add feature extraction * Rename file	1 year ago
Nikhil Parasaram	ca2dc138f8	Mythril v0.23.24	1 year ago
Nikhil Parasaram	2855b34a97	Add push0 and push tests (#1781) ... * Add push0 and push tests * Fix issue with args * Add missing files	1 year ago
Nikhil Parasaram	389b056b0a	Fix minor issue and refactor CLI (#1779)	1 year ago
Nikhil Parasaram	3e0dc72667	Use arm.large on docker release	2 years ago
Nikhil Parasaram	25ef241b60	Update both instances to arm	2 years ago
Nikhil Parasaram	b48f6deedb	Mythril v0.23.23	2 years ago
Nikhil Parasaram	16e0884460	Try arm instance	2 years ago
Nikhil Parasaram	9234112902	Handle non deterministic test cases (#1776) ... * parallelise test execution * Rename tests * Fix tests * Fix non determinism	2 years ago
Nikhil Parasaram	4084113513	parallelise test execution (#1775) ... * parallelise test execution * Rename tests * Fix tests	2 years ago
Nikhil Parasaram	aac630f5f8	Use amd64	2 years ago
Nikhil Parasaram	e81d4870cf	use arm	2 years ago
Nikhil Parasaram	bea0423eec	Enable buildkit	2 years ago
Nikhil Parasaram	f972a6da40	Circleci update resource class (#1774) ... * Update test to large resource class in config.yml * Update dockerhub_dev_release to large resource class in config.yml	2 years ago
Nikhil Parasaram	45f10d1ca7	Support multiplatform build	2 years ago
Nikhil Parasaram	def673c2db	Install bash	2 years ago
Nikhil Parasaram	81bb1e68f1	Use ubuntu:kinetic for bash	2 years ago
Nikhil Parasaram	7e2005eb66	Use bash over sh	2 years ago
A23187	499bce16f7	some fixes (#1721) ... * some fixes - add cli option --enable-mutation-pruner to control if to enable MutationPrunerBuilder - let cli option --enable-coverage-strategy to control if to load CoveragePluginBuilder - let cli option --enable-iprof to control if to load InstructionProfilerBuilder - remove the redundant print in MythrilDisassembler.hash_for_function_signature - fix the bug of non-hexadecimal numbers found when converting hex(func_hash)[2:] to bytes - other fixes * some fixes - add cli option --disable-mutation-pruner to disable MutationPrunerBuilder - let cli option --disable-coverage-strategy to disable CoveragePluginBuilder - let cli option --disable-iprof to disable InstructionProfilerBuilder - remove the redundant print in MythrilDisassembler.hash_for_function_signature - other fixes * Fix tests --------- Co-authored-by: norhh <nikhilparasaram@gmail.com>	2 years ago
Nikhil Parasaram	e7790b2f2f	Fix z3 version (#1771)	2 years ago
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