4853 Commits (8396d6185a03ebe09a28ef4a924457b9589a3b13)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Nikhil Parasaram	c52b4ee5f1	Fix unchecked retval (#1417) ... Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	4 years ago
JoranHonig	0d83e81674	Merge pull request #1415 from ConsenSys/run-edelweiss-drone ... Run Edelweiss tests in DroneCI	4 years ago
Marat Bediev	1e30b6f04c	Post-tests cleanup	4 years ago
Marat Bediev	5d7b427a33	Enable drone job for run-edelweiss-drone branch	4 years ago
Marat Bediev	fe2ebad929	[DroneCI]: install mythril cli from local dir	4 years ago
Marat Bediev	2b13a8bed7	Post-tests cleanup	4 years ago
Marat Bediev	1ef899bf9d	Merge branch 'develop' of github.com:ConsenSys/mythril into run-edelweiss-drone	4 years ago
Marat Bediev	f3e760c30f	Add drone-ci integration: Run Edelweiss tests	4 years ago
Nikhil Parasaram	fddaa688ba	Mythril v0.22.8	4 years ago
JoranHonig	727d5f3049	Merge pull request #1411 from ConsenSys/feature/execution_info ... Execution info	4 years ago
Nikhil Parasaram	30288bcc8d	Merge branch 'develop' into feature/execution_info	4 years ago
JoranHonig	9b30a23185	Update solcx version (#1410) ... * update solcx requirement to version 0.10.0 * update integration with py-solc-x in util also improves the integration, using library call get_executable vs direct interaction with the file system	4 years ago