Commit Graph

2077 Commits (0f8e9144a64d22dac51757d20b7282df5cfb8a17)
 

Author SHA1 Message Date
Nathan 415aaf5e62 one line calldata bugfix - four line version 6 years ago
Nathan 8196dc1159 one line calldata bugfix 6 years ago
Nathan e06abb500d more calldata cleanup 6 years ago
Nikhil Parasaram 9d14455ec8 Move the BasicSearchStrategy to init and add documentation 6 years ago
Nathan 2a496442f1 fix dependence_on_predictable_vars model printing 6 years ago
Nathan de9bec1800 Calldata cleanup 6 years ago
Nikhil Parasaram d10666a068
Merge pull request #598 from s0b0lev/improvement/error-message 6 years ago
Aleksandr Sobolev 24ae6b55f4 Change error wording 6 years ago
Nikhil Parasaram dd78331fab
Merge pull request #594 from mmhh1910/enable_online_lookup-switch 6 years ago
Bernhard Mueller 7a7f09fe44
Update README.md 6 years ago
Bernhard Mueller 7a66a423a1
Update README.md 6 years ago
Bernhard Mueller cf7c5cfaaa
Update README.md 6 years ago
Bernhard Mueller 6bcc00d947
Re-branding :) 6 years ago
Bernhard Mueller 7cabde94b9 Rename logo file 6 years ago
Bernhard Mueller a2f6a1a017 Merge branch 'master' of github.com:ConsenSys/mythril 6 years ago
Bernhard Mueller e2c5951c17 Update branding 6 years ago
Nathan 5dc64c8921 proper calldatasize constraints 6 years ago
Nathan eb1109d04e some cleanup 6 years ago
JoranHonig 7994b9cd16
Merge pull request #555 from dmuhs/fix/remove-unused 6 years ago
Dominik Muhs a5a13ba13a Merge master into fix/remove-unused 6 years ago
Marcus Mönnig 553eff356f Remove todo comment 6 years ago
Marcus Mönnig 3efec0a27f Add enable_online_lookup parameter to Mythril class 6 years ago
Marcus Mönnig 3ec4c18e35 All enable_online_lookup parameter set to False 6 years ago
Marcus Mönnig c88b42e4ed ETHContract enable_online_lookup parameter False as default 6 years ago
Marcus Mönnig 8f7706a44a Disable online signature lookup for report test cases 6 years ago
Marcus Mönnig d362be689c Add ethereum-input-decoder dependency to setup.py and relax version constraint 6 years ago
Nikhil Parasaram 0638fd6a7f
Merge pull request #595 from mmhh1910/Multiple_sends_grammar 6 years ago
Marcus Mönnig 45fe882cf0 Grammar fix 6 years ago
Nikhil Parasaram 43128464a7
Merge pull request #593 from mmhh1910/dockerfile_efficiency_fix 6 years ago
Marcus Mönnig 54280ec2c4 Add query-signature argument, add ethereum-input-decoder to requirements 6 years ago
Marcus Mönnig 3b0898bdeb Seperate pip and mythril module installs 6 years ago
Marcus Mönnig 4f151e380e Add missing file mythril/version.py for precopy 6 years ago
Nathan 2386c4742b skip environments.sol in report_test 6 years ago
Nikhil Parasaram c4be6e9088
Merge pull request #591 from mmhh1910/sonar_html_templates 6 years ago
Nathan 31e3ac4c0e concrete calldata fix 6 years ago
Nathan 8c54c0d42d treat concrete calldata differently than symbolic calldata 6 years ago
Marcus Mönnig 39ace87e87 Add <!DOCTYPE> and <TITLE> tags 6 years ago
JoranHonig a1cecf1e58
Merge pull request #588 from JoranHonig/bugfix/emptyreturn_data 6 years ago
Nikhil Parasaram 8b6bfd6b9f
Merge pull request #587 from ConsenSys/norhh-patch-3 6 years ago
Joran Honig 9e600168fb Also check for empty return data 6 years ago
JoranHonig 9dd827ed84
Merge pull request #568 from JoranHonig/bugfix/regexethcontract 6 years ago
Nikhil Parasaram c105b17211
Remove %s in the text test 6 years ago
Nikhil Parasaram 5e48355d49
Remove the %s in markdown test 6 years ago
Nikhil Parasaram a939a3255a
Update origin.sol.o.json 6 years ago
Nikhil Parasaram 1dd51a85ba
Merge pull request #585 from mmhh1910/dockerfile_efficiency 6 years ago
Nikhil Parasaram 8555663adf
Remove %s in formatting 6 years ago
Marcus Mönnig 96edc1a305 Remove Pipfile as precopy step 6 years ago
Marcus Mönnig 9b027ed72b Add setup.py and Pipfile as precopy steps 6 years ago
Marcus Mönnig 4cf1f27f77 Precopy requirements.txt 6 years ago
Bernhard Mueller af148793f6 Merge branch 'master' of github.com:ConsenSys/mythril 6 years ago