4865 Commits (z3)

 

All Branches   

Search

Author	SHA1	Message	Date
Ivan Bogatyy	dfecf8bcb1	Bugfix lost leading zeros in address, refactor (#1490)	3 years ago
Nikhil Parasaram	ec6781669a	Fix a small issue with call limiter (#1489) ... * Fix a small issue * Fix arg issue	3 years ago
Nikhil Parasaram	12a66e601d	Decode error (#1488) ... * Fix mypy version * Add error handling exception * black * Fix mypy issue	3 years ago
Nikhil Parasaram	588bc2e0f6	Mythril v0.22.21	4 years ago
Nikhil Parasaram	00b38e7c50	Fix mypy version (#1483)	4 years ago
Nikhil Parasaram	d39dea71fd	Mythril v0.22.20	4 years ago
Nikhil Parasaram	9b0c6d1718	Fix ambigous msg when infura id isn't set during rpc code call (#1480) ... * Add error check when infura id is unspecified for an on-chain code request * Update eth-hash	4 years ago
Nikhil Parasaram	2518cc8b65	Mythril v0.22.19	4 years ago
JoranHonig	ea396cdc93	Simplify and generalize signextend (#1471) ... * simplify and generalize signextend * Fix black * Use BitVec constants over python ints Co-authored-by: norhh <nikhilparasaram@gmail.com>	4 years ago
Nikhil Parasaram	7a0f803808	Fix edelweiss crash and various other issues (#1474)	4 years ago
norhh	b3184c3a1a	Remove pillow	4 years ago
Nikhil Parasaram	8a44ffaabd	Fix pillow version in setup ... This is to check whether pillow is the cause of drone run failure	4 years ago
Nikhil Parasaram	0f464ff2a4	Fix pillow version ... Fixes pillow version to check whether it is causing the issue with drone run.	4 years ago
Nikhil Parasaram	fea31ce062	Ensure BitVecs in stack (#1473)	4 years ago
Nikhil Parasaram	c90bf04d39	Mythril v0.22.18	4 years ago
JoranHonig	a8cec672c1	Fix edge case where sign_bit_set is symbolic (#1469) ... * fix broken edge case where sign_bit_set is symbolic * invert condition * restore original requirements	4 years ago
Nikhil Parasaram	e19d2a44f5	Mythril v0.22.17	4 years ago
Nikhil Parasaram	5306fdfba7	Catch the push_cancel error (#1460) ... * Catch the push_cancel error * Use z3.unknown	4 years ago
Nikhil Parasaram	d8aa12d62b	[WIP]Use latest mythril CI image (#1463) ... * Use updated container * Use geth option * Use geth option * Update geth command * use http flag * Fix the geth flags * Remove rpc test and use 0.5.0 * black * Fix tests for different solc version * Fix tests for different solc version * Fix analyzer test * Fix eth-hash	4 years ago
Nikhil Parasaram	9a2572c3d3	Mythril v0.22.16	4 years ago
Sebastian N. Fernandez	4e70f81a63	s/tostring/tobytes/ (#1454) ... tostring() has been deprecated since 3.2 and removed in 3.9 ref: https://docs.python.org/3/library/array.html#array.array.tobytes	4 years ago
Nikhil Parasaram	d3e4c28262	Mythril v0.22.15	4 years ago
Nikhil Parasaram	c4ec9b656b	Update z3 to fix the push canceled (#1451)	4 years ago
Nikhil Parasaram	9bf093a23b	Fix versions (#1450) ... * Fix versions * Fix numpy version	4 years ago
Nikhil Parasaram	77e1dfd447	Add support for displaying yul internal files (#1447)	4 years ago
Nikhil Parasaram	191946f358	Remove truffle (#1444) ... * Remove truffle * Remove repeated command of pro	4 years ago
Nikhil Parasaram	fdb1479b4b	Fix solc error	4 years ago
Nikhil Parasaram	82326b773c	Add a temporary condition (#1443)	4 years ago
Nikhil Parasaram	0e827d1aa2	Mythril v0.22.13	4 years ago
Nikhil Parasaram	9283f018fa	Update docker file to support ubuntu 20.04 (#1439)	4 years ago
Nikhil Parasaram	1c636c20ea	Mythril v0.22.12	4 years ago
Nikhil Parasaram	3fae33630a	Change plugin_name to name (#1438)	4 years ago
Nikhil Parasaram	f178d45ed3	Mythril v0.22.11	4 years ago
Nikhil Parasaram	c51531ee51	Fix rlp versions (#1437)	4 years ago
Nikhil Parasaram	749cfcf673	Support merge annotations (#1419) ... * Support merge annotations * Fix type hinting * Update mythril/laser/ethereum/state/annotation.py Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com> * Update mythril/laser/plugin/plugins/plugin_annotations.py Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com> * Review fixes and a bugfix * Make merge_annotation sideeffect free * Fix black * Change List to set * use set() over {} * Remove check merge from StateAnnotations * Add missed out commit * Add some review fixes * Add some review fixes * Merge if conditions Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	4 years ago
Nikhil Parasaram	dce7e868ad	Install leveldb separately (#1436)	4 years ago
JoranHonig	d3ae503d45	Merge pull request #1433 from ConsenSys/fix/nanosecs ... use nano seconds	4 years ago
norhh	490c4a87d6	Round to integers	4 years ago
norhh	7c9502b99e	use nano seconds	4 years ago
Nikhil Parasaram	3c7d518b0c	Mythril release v0.22.10	4 years ago
Nikhil Parasaram	3ef1065b15	Support berlin fork (#1428) ... * Support berlin fork * Add review fixes Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	4 years ago
Nikhil Parasaram	a257df3074	Update solc-x (#1430) ... * Update solc-x and change some functions * make some changes * update requirements	4 years ago
Nikhil Parasaram	79dfe70747	Support Ifs for arrays and have handy id function for Node (#1418) ... * Support Ifs for arrays and have handy id function for Node * rename counter * Fix error related to mypy * Fix tests * Review fixes	4 years ago
Nikhil Parasaram	9660a653e0	Add solver log (#1426)	4 years ago
jim zhou	a5ac7dcdaa	Fixing py-solc-x usage to automatically download or compile correct solc binary and use it (#1425) ... * Fixed cases where multiple versions of solc is needed on the system, and the default version installed isn't the version required. * Fixed setup.py * black * Bump semver requirement * Put mythril_disassembler.py version check into util.py * Pruning ethereum/util.py * Provide for cases where --solv is used with a v before the version.	4 years ago
Nikhil Parasaram	c635015032	Mythril update version	4 years ago
Nikhil Parasaram	059350e4a8	Add analysis time field (#1421) ... * Add analysis time field * Update mythril/analysis/report.py Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com> * Fix requirements * Black * Fix black version Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local> Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	4 years ago
Nikhil Parasaram	ae02301798	Add new swc data	4 years ago
Nikhil Parasaram	aa50b8e9a4	Fix a bug with storage usage (#1420) ... Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	4 years ago
Nikhil Parasaram	b9f9ae65ab	Fix timeouts (#1413) ... * Fix timeouts * Take None as 0 Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	4 years ago