forked from typetools/checker-framework-inference
-
Notifications
You must be signed in to change notification settings - Fork 13
Expand file tree
/
Copy pathREADME.sparta
More file actions
19 lines (14 loc) · 748 Bytes
/
README.sparta
File metadata and controls
19 lines (14 loc) · 748 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
Checker Framework Inference for the Information Flow Checker
==================================
This document explains how to set up Checker Framework Inference for
use with the Information Flow Checker
of the SPARTA toolset. (See http://types.cs.washington.edu/sparta/)
Follow the instructions in the README file in this directory to set up the inference framework
Use
------------
$CHECKER_INFERENCE/scripts/inference --typesystem sparta-source -m ROUNDTRIP --hacks --afuOutputDir=tmp
$CHECKER_INFERENCE/scripts/inference --typesystem sparta-sink -m ROUNDTRIP --hacks --afuOutputDir=tmp
See the SPARTA manual for details on how infer information flow annotations in Android apps.
Questions/Bugs
------------
Email sparta@cs.washington.edu.