4896 Commits (dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0)

 

All Branches   

Search

Author	SHA1	Message	Date
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
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