Commit Graph

915 Commits (8b0f6d4ec845e18d3973856fe0803bdf54730e14)
 

Author SHA1 Message Date
Bernhard Mueller da0be355d4
Update ToC 7 years ago
Bernhard Mueller 3257480057
Update README.md 7 years ago
Bernhard Mueller e4f750c315
Update README.md 7 years ago
Bernhard Mueller 2f8c5e4348 Remove logging code 7 years ago
Bernhard Mueller 338b954c19 Refactor 7 years ago
Bernhard Mueller 2c6ead6f5a Update setup.py 7 years ago
Bernhard Mueller bc937c20a9 Update examples 7 years ago
Bernhard Mueller 38d6a2f95d Add 'suicide' test module 7 years ago
Bernhard Mueller 3b91d912bf LASER version bump and small fixes 7 years ago
Bernhard Mueller d6455d330d Update setup.py & requirements 7 years ago
Bernhard Mueller 6ee991d180 Improve security tests 7 years ago
Bernhard Mueller 418c42ce22 Update security tests 7 years ago
Bernhard Mueller 9dd695e91d Update SUICIDE module 7 years ago
Bernhard Mueller b22f69c6db Remove non-working module 7 years ago
Bernhard Mueller 67063d6331 Refactor 7 years ago
Bernhard Mueller b98350c658 Symbolic analysis 7 years ago
Bernhard Mueller 814e4677ea Some progress on sec. analysis 7 years ago
Bernhard Mueller dfc1adb762 Merge branch 'master' of github.com:b-mueller/mythril 7 years ago
Bernhard Mueller 05d0758347 Add constraints to solver in suicide module 7 years ago
Bernhard Mueller d1eb20b737
Merge pull request #22 from AgeManning/master 7 years ago
Bernhard Mueller 2ae2551b8f
Fix cmdline examples 7 years ago
Bernhard Mueller 668d4ad39c
Update README.md 7 years ago
Bernhard Mueller ffdf40a8e5
Update README.md 7 years ago
Bernhard Mueller 77130b0ab6
Edit README 7 years ago
Bernhard Mueller b016e0b369
Update README.md 7 years ago
Bernhard Mueller 1a84df981d
Update README.md 7 years ago
Bernhard Mueller 6b7f178183
Update README.md 7 years ago
Bernhard Mueller fb832c5866 Update README 7 years ago
Bernhard Mueller e5ac37efc0 Update setup.py 7 years ago
Bernhard Mueller 47dcc487d6 Remove unneeded file 7 years ago
Bernhard Mueller c11dfd62db Fix wrong argument name 7 years ago
Bernhard Mueller 3be0cc3439 Update setup.py and requirements.txt 7 years ago
Bernhard Mueller 5496ad2f58 Add security analysis modules 7 years ago
Bernhard Mueller d746ab1043 Experimental security tests 7 years ago
Bernhard Mueller 90965288be Security tests 7 years ago
Age 6e82ba7b2b corrected sync-all flag logic 7 years ago
Bernhard Mueller 41ac44f82a Add ops classes 7 years ago
Bernhard Mueller eef332026c Bump LASER version 7 years ago
Bernhard Mueller 3c6f35a771 Refactor and update unit test 7 years ago
Bernhard Mueller 0e3597bd69 Add statespace class 7 years ago
Bernhard Mueller cc17f7ee90 Integrate security tests 7 years ago
Bernhard Mueller 35743e84d6 Bump LASER version 7 years ago
Bernhard Mueller 109d891727 Add more colors to callgraph 7 years ago
Bernhard Mueller 43a3b0a64c Remove unnecessary file 7 years ago
Bernhard Mueller 2131cf7c87 Update requriements and setup.py 7 years ago
Bernhard Mueller c6a8ceb366 Dynamic loader now works in code analysis 7 years ago
Bernhard Mueller e11eb8204b Update unit test 7 years ago
Bernhard Mueller 3f3afcdada Update setup.py 7 years ago
Bernhard Mueller 2f8a2f14b2 Bump LASER version 7 years ago
step21 7b2ee2f936
Merge pull request #2 from b-mueller/master 7 years ago