forked from secure-software-engineering/phasar
-
Notifications
You must be signed in to change notification settings - Fork 0
/
phasar-llvm_more_help.txt
41 lines (33 loc) · 1.39 KB
/
phasar-llvm_more_help.txt
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
R"(
===================================================================
=== Phasar a LLVM-based Static Analysis Framework - User Manual ===
===================================================================
Analyses
--------
cmd parameter - analysis name - analysis type
=== These analyses are only for testing purposes ===
none - / - /
ifds_solvertest - IFDS solver test - IFDS
ide_solvertest - IDE solver test - IDE
mono_intra_solvertest - MONOTONE intra solver test - MONO
mono_inter_solvertest - MONOTONE inter solver test (context-based) - MONO
=== The actual analyses ===
ifds_uninit - a simple uninitialized variables analysis - IFDS
ifds_const - an immutability analysis - IFDS
ifds_taint - a taint analysis tracking IO - IFDS
ifds_type - type analysis - IFDS
ifds_lca - linear constant propagation - IFDS
ide_taint - an IDE version of the taint analysis - IDE
ide_typestate - a simple type analysis - IDE
ide_lca - an IDE version of the linear constant propagation - IDE
mono_intra_fullconstpropagation - full constant propagation analysis - MONO
=== The analysis plugin mechanism ===
-D plugin --analysis_plugin <?>
Currently the following analysis plugins are available:
* IFDSTabulationProblemPlugin
* IDETabulationProblemPlugin
* IntraMonotoneProblemPlugin
* InterMonotoneProblemPlugin
* ICFGPlugin
Of course the user can choose more than one analysis to be run on the code.
)"