From 18ab50f5d94442ef0ba6aa77c3a4a45389222725 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Thu, 1 Oct 2015 05:35:26 -0700 Subject: [PATCH] Add link to SPARTA static analysis tool --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 14e9f3f..ecf2646 100644 --- a/README.md +++ b/README.md @@ -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 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. +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