4559 Commits (1ef899bf9d43cb199df71a9b7c6ce8e3cc0bfbee)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Joran Honig	cb0430bdab	remove get	4 years ago
Joran Honig	25207801c8	mock execution_info	4 years ago
Joran Honig	67ebf44536	use update	4 years ago
Joran Honig	05346dea20	add more typing	4 years ago
Joran Honig	c5b84fa749	record execution info only after successful analysis	4 years ago
Joran Honig	bc22e0fabc	use typing any	4 years ago
Joran Honig	3b03a72b39	add typpe annotations	4 years ago
Joran Honig	65f5ff1d3b	formatting	4 years ago
Joran Honig	ee2da9f6c7	add execution info reporting to report	4 years ago
Joran Honig	7144744624	add execution info to report object	4 years ago
Joran Honig	19069c0b63	maintain record of execution info in Mythril	4 years ago
Joran Honig	8a7c43d038	add execution info class	4 years ago
Joran Honig	4e7152f2cd	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
Joran Honig	39e727583f	update solcx requirement to version 0.10.0	4 years ago
Nikhil Parasaram	162b644ffb	Move iprof to plugin (#1406) ... * Add instruction level plugin support * Add iprof register hooks * Finish moving iprof to plugins * Add comments and refactor * Revert changes to pruner * Handle changes to tests Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	4 years ago
Nikhil Parasaram	06608a1cd4	Support user provided assertions with mstore (#1405) ... Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	4 years ago
Nikhil Parasaram	7a305664ea	Fix balance arg (#1404)	4 years ago
Nikhil Parasaram	83e54a5768	Bugfix/1402 (#1403) ... * Black and plugin fix * Handle symbolic case * Handle symbolic bool case	4 years ago
Nikhil Parasaram	dcce4e9ca1	Mythril v0.22.7	4 years ago
Nikhil Parasaram	9ec5f11e23	Black and plugin fix (#1400)	4 years ago
Nikhil Parasaram	440c313f70	Update SWC data	4 years ago
Nikhil Parasaram	e926f415f9	Add call limit plugin (#1397) ... Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	4 years ago
Nikhil Parasaram	6e37c937af	Support args for mythril plugins (#1398) ... Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	4 years ago
Nikhil Parasaram	05ef257480	Add SWC-117 data (#1399) ... Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	4 years ago
Nikhil Parasaram	fd32a76479	Mythril v0.22.6	5 years ago
Nikhil Parasaram	6ed8a5dc4e	Remove cases with out of bounds access (#1396) ... * Remove cases with out of bounds access * Fix the EVM tests Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	5 years ago
Nikhil Parasaram	88c64e56cd	Handle symbolic balance arg (#1394) ... * Handle symbolic balance arg * Make a call for balance * Handle additional case for bitvecs	5 years ago
Nikhil Parasaram	8be24979f8	Support laser plugins (#1392)	5 years ago
Nikhil Parasaram	91f4c342d6	Mythril v0.22.5	5 years ago
Bernhard Mueller	67fdb892c2	Merge pull request #1391 from ConsenSys/userassertions ... Always report user assertions	5 years ago
Bernhard Mueller	c53d5e5f74	Black	5 years ago
Bernhard Mueller	f5c45bc66c	Immediately create issue instead of PotentialIssue when user assertion fails	5 years ago
Nikhil Parasaram	85a13addcb	Instrument laser with plugins (#1388) ... Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	5 years ago
Nikhil Parasaram	bbb88fb8bd	Fix hashes (#1389) ... Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	5 years ago
Nikhil Parasaram	24b2ec862f	Use concrete calldata size value when copying and transfering (#1381) ... * Use concrete value over symbolic * Use debug over info Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>	5 years ago
Nikhil Parasaram	bd00d944ca	Fix config to handle when infura key isn't provided (#1380)	5 years ago
Bernhard Mueller	2ba2d3e5bd	Merge pull request #1377 from ConsenSys/bugfix/multicontract1 ... Fix a multicontract bug	5 years ago
Nikhil Parasaram	d34ba49f1c	Update README.md	5 years ago
Nikhil Parasaram	698b1d423f	Fix create tests	5 years ago
Nikhil Parasaram	c394fbd976	Fix a multicontract bug	5 years ago
JoranHonig	9e1403ab95	Merge pull request #1353 from ConsenSys/feature/laser_plugins ... Mythril Laser Plugins	5 years ago
JoranHonig	cd9d8dc5c6	Merge branch 'develop' into feature/laser_plugins	5 years ago
Nikhil Parasaram	7c34f300a5	add option for z3 parallelising (#1372)	5 years ago
Joran Honig	ba564ce437	Merge remote-tracking branch 'origin/develop' into feature/laser_plugins	5 years ago