TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
4865 Commits
97 Branches
171 Tags
59 MiB
Tag: Branch: Tree: z3
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'z3'
${ noResults }
Commit Graph

4865 Commits (z3)
 

Author SHA1 Message Date
Nikhil Parasaram c52b4ee5f1
Fix unchecked retval (#1417)
4 years ago
JoranHonig 0d83e81674
Merge pull request #1415 from ConsenSys/run-edelweiss-drone
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
4 years ago
Nikhil Parasaram 30288bcc8d
Merge branch 'develop' into feature/execution_info
4 years ago
JoranHonig 9b30a23185
Update solcx version (#1410)
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
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)
4 years ago
Nikhil Parasaram 06608a1cd4
Support user provided assertions with mstore (#1405)
4 years ago
Nikhil Parasaram 7a305664ea
Fix balance arg (#1404)
4 years ago
Nikhil Parasaram 83e54a5768
Bugfix/1402 (#1403)
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)
4 years ago
Nikhil Parasaram 6e37c937af
Support args for mythril plugins (#1398)
4 years ago
Nikhil Parasaram 05ef257480
Add SWC-117 data (#1399)
4 years ago
Nikhil Parasaram fd32a76479
Mythril v0.22.6
5 years ago
Nikhil Parasaram 6ed8a5dc4e
Remove cases with out of bounds access (#1396)
5 years ago
Nikhil Parasaram 88c64e56cd
Handle symbolic balance arg (#1394)
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
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)
5 years ago
Nikhil Parasaram bbb88fb8bd
Fix hashes (#1389)
5 years ago
Nikhil Parasaram 24b2ec862f
Use concrete calldata size value when copying and transfering (#1381)
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
5 years ago
Nikhil Parasaram d34ba49f1c
Update README.md
5 years ago