4775 Commits (d82bd717afb9f5e18ec782b4e800b4297e066017)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Nikhil Parasaram	c1c9e0da2c	Fix JSON serialisation issue (#1687)	2 years ago
Nikhil Parasaram	1267c75854	Fix ReturnData (#1683)	2 years ago
Nikhil Parasaram	822b1554fa	Modify ABI output (#1681) ... * Add resolved input to output * Modify ABI output	2 years ago
Nikhil Parasaram	daa75ee3e5	Add resolved input to output (#1679)	2 years ago
Nikhil Parasaram	1aaa28fc16	Mythril v0.23.9 (#1677)	2 years ago
Nikhil Parasaram	73aa52d7fa	Handle OOG during CALL (#1675)	2 years ago
Nikhil Parasaram	427d40e669	Handle issues with simplify (#1674) ... * Add exit code * Update docs with tutorial * Fix docs * Reformat * Fix the issue with loop-bound and solver-timeout * Add test changes * Restrict hexbytes * Use solver over simplify	2 years ago
Luca Di Grazia	8d863fbbf6	last_jump has type `int` but is used as type `None`. (#1670) ... * last_jump has type `int` but is used as type `None`. "filename": "mythril/analysis/module/modules/exceptions.py" "warning_type": "Incompatible variable type [9]" "warning_message": " last_jump is declared to have type `int` but is used as type `None`." "warning_line": 28 "fix": None to 0 * Update exceptions.py * Fix typo * Add import Co-authored-by: Nikhil Parasaram <tommycjniko@gmail.com> Co-authored-by: norhh <nikhilparasaram@gmail.com>	2 years ago
Nikhil Parasaram	8590de95d3	Mythril v0.23.8 (#1669)	2 years ago
Nikhil Parasaram	eb2c11ef01	Handles issue with low constructor loop bound and new way to deal with solver-timeout (#1668) ... * Add exit code * Update docs with tutorial * Fix docs * Reformat * Fix the issue with loop-bound and solver-timeout * Add test changes * Restrict hexbytes	2 years ago
Nikhil Parasaram	614ea8ccef	Mythril v0.23.7 (#1665)	2 years ago
Nikhil Parasaram	f8f59dfdd2	Update docs and Add tutorial (#1664) ... * Add exit code * Update docs with tutorial * Fix docs * Reformat	2 years ago
Nikhil Parasaram	aa0f1d192d	Remove additional python runs in tox (#1663) ... Since `geth` gets killed by CI after some time, it is better to run only the necessary python versions.	2 years ago
Nikhil Parasaram	90964e55b0	Add exit code (#1662) ... * Add exit code * Fix tests	2 years ago
Nikhil Parasaram	ac2811701a	Fix imports for python 3.10 (#1661) ... * Fix issues with arbitrary jump dest * Support abi * Add partial abi support * Fix test * Fix test directory * Fix OOG issue * Fix issue with simplify * Fix typo * Fix import * Refactor	2 years ago
Nikhil Parasaram	485b224598	Fix issue with simplify (#1660) ... * Fix issues with arbitrary jump dest * Support abi * Add partial abi support * Fix test * Fix test directory * Fix OOG issue * Fix issue with simplify * Fix typo	2 years ago
Nikhil Parasaram	76e6d00e1d	Fix OOG issue (#1658) ... * Fix issues with arbitrary jump dest * Support abi * Add partial abi support * Fix test * Fix test directory * Fix OOG issue	2 years ago
Nikhil Parasaram	42b0e2068d	Update Readme	2 years ago
Nikhil Parasaram	ca3218be48	Mythril v0.23.6	2 years ago
Nikhil Parasaram	d6e8813100	Add partial abi support (#1655) ... * Fix issues with arbitrary jump dest * Support abi * Add partial abi support * Fix test * Fix test directory	2 years ago
Nikhil Parasaram	842e3da3a4	Fix issues with arbitrary jump dest (#1654)	2 years ago
Nikhil Parasaram	405277dcca	Mythril v0.23.5	2 years ago
Nikhil Parasaram	5a184e8225	Add support for locking config file (#1652) ... * Add support for locking config file * Remove abi decode test * Fix typo	2 years ago
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