forked from typetools/checker-framework-inference
-
Notifications
You must be signed in to change notification settings - Fork 0
/
README.sparta
56 lines (42 loc) · 1.46 KB
/
README.sparta
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
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 released in version 0.9.8
of the SPARTA toolset. (See http:https://types.cs.washington.edu/sparta/release/)
Requirements
------------
Oracle's JDK 1.7
gradle
Type annotations compiler, Annotation File Utilities, and the Checker Framework
must be install from source using specific revisions. Use the following
commands to clone them. They should be cloned into the same directory as
Checker Framework Inference. The environment variable JSR308 should be set
to this directory.
hg clone https://code.google.com/p/jsr308-langtools/ -r jsr308-1.8.4
git clone https://github.com/typetools/annotation-tools.git
git reset --hard 3.6.7
git clone https://github.com/typetools/checker-framework.git
git reset --hard checker-framework-1.8.4
Set the following environment variables
CHECKERFRAMEWORK=$JSR308/checker-framework
CHECKER_INFERENCE=$JSR308/checker-framework-inference
AFU=$JSR308/annotation-tools/annotation-file-utilities
PATH=$PATH:$AFU/scripts
CLASSPATH=$CLASSPATH:.
Build
------------
jsr308-langtools:
cd make; ant
annotations tools:
ant
checker-framework:
ant
checker-framework-inference:
gradle clean dist
gradle clean dist
Use
------------
See the SPARTA manual for details on how infer information flow annotations.
Questions/Bugs
------------
Email [email protected].