Merge pull request #17 from mernst/master

Add link to SPARTA static analysis tool
This commit is contained in:
Ashish Bhatia 2015-10-01 10:18:46 -07:00
commit e6da822248

View File

@ -43,6 +43,7 @@ A lot of work is happening in academia and industry on tools to perform dynamic
12. [SmaliSCA](https://github.com/dorneanu/smalisca) - Smali Static Code Analysis 12. [SmaliSCA](https://github.com/dorneanu/smalisca) - Smali Static Code Analysis
13. [CFGScanDroid](https://github.com/douggard/CFGScanDroid) - Scans and compares CFG against CFG of malicious applications 13. [CFGScanDroid](https://github.com/douggard/CFGScanDroid) - Scans and compares CFG against CFG of malicious applications
14. [Madrolyzer](https://github.com/maldroid/maldrolyzer) - extracts actionable data like C&C, phone number etc. 14. [Madrolyzer](https://github.com/maldroid/maldrolyzer) - extracts actionable data like C&C, phone number etc.
15. [SPARTA](http://www.cs.washington.edu/sparta) - verifies (proves) that an app satisfies an information-flow security policy; built on the [Checker Framework](http://checkerframework.org/)
## DYNAMIC ANALYSIS TOOLS ## DYNAMIC ANALYSIS TOOLS