|
16 | 16 | using namespace psr; |
17 | 17 | using namespace std; |
18 | 18 |
|
19 | | -llvm::cl::OptionCategory PhASARCategory("PhASAR Options", // NOLINT |
| 19 | +llvm::cl::OptionCategory PhASARCategory("PhASAR Options", |
20 | 20 | "Configure the PhASAR framework"); |
21 | 21 |
|
22 | | -std::string psr::DataFlowAnalysis; // NOLINT |
23 | | -static llvm::cl::opt<std::string, true> SetDataFlowAnalysis( // NOLINT |
| 22 | +std::string psr::DataFlowAnalysis; |
| 23 | +static llvm::cl::opt<std::string, true> SetDataFlowAnalysis( |
24 | 24 | "data-flow", llvm::cl::desc("Set the data-flow analysis to be run"), |
25 | 25 | llvm::cl::location(DataFlowAnalysis), llvm::cl::init("ifds-solvertest"), |
26 | 26 | llvm::cl::cat(PhASARCategory)); |
27 | 27 |
|
28 | | -std::string psr::PointerAnalysis; // NOLINT |
29 | | -static llvm::cl::opt<std::string, true> SetPointerAnalysis( // NOLINT |
| 28 | +std::string psr::PointerAnalysis; |
| 29 | +static llvm::cl::opt<std::string, true> SetPointerAnalysis( |
30 | 30 | "pointer", llvm::cl::desc("Set the points-to analysis to be run"), |
31 | 31 | llvm::cl::location(PointerAnalysis), llvm::cl::init("cflsteens"), |
32 | 32 | llvm::cl::cat(PhASARCategory)); |
33 | 33 |
|
34 | | -std::string psr::CallGraphAnalysis; // NOLINT |
35 | | -static llvm::cl::opt<std::string, true> SetCallGraphAnalysis( // NOLINT |
| 34 | +std::string psr::CallGraphAnalysis; |
| 35 | +static llvm::cl::opt<std::string, true> SetCallGraphAnalysis( |
36 | 36 | "call-graph", llvm::cl::desc("Set the call-graph algorithm to be run"), |
37 | 37 | llvm::cl::location(CallGraphAnalysis), llvm::cl::init("OTF"), |
38 | 38 | llvm::cl::cat(PhASARCategory)); |
39 | 39 |
|
40 | | -std::vector<std::string> psr::EntryPoints; // NOLINT |
| 40 | +std::vector<std::string> psr::EntryPoints; |
41 | 41 | static llvm::cl::list<std::string, std::vector<std::string>> |
42 | | - SetEntryPoints("entry-points", // NOLINT |
| 42 | + SetEntryPoints("entry-points", |
43 | 43 | llvm::cl::desc("Set the analysis's entry points"), |
44 | 44 | llvm::cl::location(EntryPoints), |
45 | 45 | llvm::cl::cat(PhASARCategory), llvm::cl::CommaSeparated); |
46 | 46 |
|
47 | | -std::string psr::PammOutputFile; // NOLINT |
48 | | -static llvm::cl::opt<std::string, true> SetPammOutputFile( // NOLINT |
| 47 | +std::string psr::PammOutputFile; |
| 48 | +static llvm::cl::opt<std::string, true> SetPammOutputFile( |
49 | 49 | "pamm-out", llvm::cl::desc("Filename for PAMM's gathered data"), |
50 | 50 | llvm::cl::location(PammOutputFile), llvm::cl::init("PAMM_data.json"), |
51 | 51 | llvm::cl::cat(PhASARCategory)); |
52 | 52 |
|
53 | | -bool psr::PrintEdgeRecorder; // NOLINT |
| 53 | +bool psr::PrintEdgeRecorder; |
54 | 54 | static llvm::cl::opt<bool, true> |
55 | | - SetPrintEdgeRecorder("printedgerec", // NOLINT |
| 55 | + SetPrintEdgeRecorder("printedgerec", |
56 | 56 | llvm::cl::desc("Print the IFDS/IDE edge recorder"), |
57 | 57 | llvm::cl::location(PrintEdgeRecorder), |
58 | 58 | llvm::cl::init(false), llvm::cl::cat(PhASARCategory)); |
59 | 59 |
|
60 | | -bool psr::InitLogger; // NOLINT |
61 | | -static llvm::cl::opt<bool, true> SetInitializeLogger( // NOLINT |
| 60 | +bool psr::InitLogger; |
| 61 | +static llvm::cl::opt<bool, true> SetInitializeLogger( |
62 | 62 | "init-logger", |
63 | 63 | llvm::cl::desc("Initialize the logger (caution: very expensive)"), |
64 | 64 | llvm::cl::location(InitLogger), llvm::cl::init(false), |
65 | 65 | llvm::cl::cat(PhASARCategory)); |
66 | 66 |
|
67 | | -bool psr::DumpResults; // NOLINT |
| 67 | +bool psr::DumpResults; |
68 | 68 | static llvm::cl::opt<bool, true> |
69 | | - SetDumpResults("dump-results", // NOLINT |
| 69 | + SetDumpResults("dump-results", |
70 | 70 | llvm::cl::desc("Dump the analysis results to stdout"), |
71 | 71 | llvm::cl::location(DumpResults), llvm::cl::init(true), |
72 | 72 | llvm::cl::cat(PhASARCategory)); |
0 commit comments