-
Notifications
You must be signed in to change notification settings - Fork 0
/
config.json
32 lines (28 loc) · 1.09 KB
/
config.json
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
{
"general" : {
"root_path" : "D:\\homework\\staticProgramAnalysis\\src\\staticProgramAnalysis",
"interpreter_path" : "D:\\homework\\staticProgramAnalysis\\tools\\neo4j-community-2.3.12\\bin\\Neo4jShell.bat",
"database_path" : "D:\\homework\\staticProgramAnalysis\\neo4j-db\\GraphAlgorithms-joern-3",
"output" : "out.txt"
},
"code_trace" : {
"functional_object_trace" : 1,
"code_1" : "unsigned int test = 123 ;",
"code_2" : "file . close ( )"
},
"functional_management_control" : {
"main_object" : "string filename ;",
"secondary_object" : "ofstream file ( filename ) ;"
},
"functional_information_control" : {
"main_object" : "ofstream file ( filename ) ;",
"secondary_object" : "string strToWrite ( \\\"test\\\" ) ;"
},
"find_pattern" : {
"patterns" : [
"ifstream file ( \\\"graphFile\\\" ) ;",
"file . close ( )",
"file"
]
}
}