-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathcommandOptions.h
34 lines (27 loc) · 1.85 KB
/
commandOptions.h
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
#ifndef LLVM_CLANG_COMMANDOPTIONS_H
#define LLVM_CLANG_COMMANDOPTIONS_H
#include "clang/Tooling/CommonOptionsParser.h"
static cl::OptionCategory RacerOptCat("Static Analysis Options");
static cl::extrahelp CommonHelp(CommonOptionsParser::HelpMessage);
static cl::extrahelp MoreHelp("\nMore help text...");
static cl::opt<string> Event("e", cl::desc("Stores activity event in filename"), cl::value_desc("filename"),cl::cat(RacerOptCat));
static cl::list<std::string> StartFuncsForEvents("ef", cl::desc("possible name of functions in which events may occur"),cl::multi_val(cl::ZeroOrMore),cl::cat(RacerOptCat));
//static cl::opt<bool> Test("test",cl::desc("Test different clang options"), cl::cat(RacerOptCat));
static cl::opt<bool> Symb("sym",cl::desc("Build and dump the Symbol Table"), cl::cat(RacerOptCat));
static cl::opt<bool> PA("pa",cl::desc("Show pointer analysis info"), cl::cat(RacerOptCat));
static cl::opt<bool> PAFlow("pafs",cl::desc("Show flow sensitive pointer analysis info"), cl::cat(RacerOptCat));
static cl::opt<bool> HA("ha",cl::desc("Show header analysis info"), cl::cat(RacerOptCat));
static cl::opt<bool> CG("cg",cl::desc("Call Graph Info"), cl::cat(RacerOptCat));
static cl::opt<std::string> FUNC1("m1",cl::desc("Initial method from which execution starts"), cl::value_desc("function name"),cl::cat(RacerOptCat));
static cl::opt<std::string> FUNC2("m2",cl::desc("Initial method from which execution starts"), cl::value_desc("function name"),cl::cat(RacerOptCat));
static cl::opt<bool> RA("ra",cl::desc("Data race analysis"), cl::cat(RacerOptCat));
enum DLevel {
O, O1, O2, O3
};
cl::opt<DLevel> DebugLevel("dl", cl::desc("Choose Debug level:"),
cl::values(
clEnumValN(O, "none", "No debugging"),
clEnumVal(O1, "Minimal debug info"),
clEnumVal(O2, "Expected debug info"),
clEnumVal(O3, "Extended debug info")), cl::cat(RacerOptCat));
#endif