-
Notifications
You must be signed in to change notification settings - Fork 0
/
CMakeLists.txt
68 lines (56 loc) · 1.64 KB
/
CMakeLists.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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
CMAKE_MINIMUM_REQUIRED(VERSION 3.6)
project(CS260ProgramAnalysis)
SET(CMAKE_CXX_STANDARD 17)
ADD_EXECUTABLE(assn0
lir-parser.cpp
headers/json.hpp
)
ADD_EXECUTABLE(assn1_constant_analysis
constant-analysis/constant_analysis.cpp
constant-analysis/abstract_store.hpp
headers/datatypes.h
constant-analysis/execute.hpp
)
#ADD_EXECUTABLE(assn1_interval_analysis
# interval-analysis/interval_analysis.cpp
# interval-analysis/new_interval_analysis.cpp
# interval-analysis/interval_analysis.hpp
# interval-analysis/alpha.hpp
# interval-analysis/interval_execute.hpp
# headers/datatypes.h
#)
ADD_EXECUTABLE(assn2_control_flow_analysis
control-flow-analysis/control_flow_analysis.cpp
control-flow-analysis/cfa_utils.hpp
headers/datatypes.h
)
ADD_EXECUTABLE(assn2_reaching_def
reaching-defn/reachingdef.cpp
reaching-defn/rtype.hpp
reaching-defn/execute_rdef.hpp
headers/datatypes.h
)
ADD_EXECUTABLE(assn3-constraint-generator
constraint-generator/constraint-generator.cpp)
ADD_EXECUTABLE(assn3_constraint_solver
pointer-analysis/constraint_solver.cpp
pointer-analysis/set_constraint_util.cpp
headers/tokenizer.hpp
)
ADD_EXECUTABLE(assn4_program_slicing
program-dependence-graph/program_slicing.cpp
program-dependence-graph/control_flow_analysis.hpp
program-dependence-graph/cfa_utils.hpp
program-dependence-graph/mod_ref_utils.hpp
program-dependence-graph/execute_rdef.hpp
program-dependence-graph/rtype.hpp
program-dependence-graph/reachingdef.hpp
headers/datatypes.h
headers/tokenizer.hpp
)
ADD_EXECUTABLE(assn5_taint_analysis
taint-analysis/taint_analysis.cpp
taint-analysis/execute_taint.hpp
headers/datatypes.h
headers/tokenizer.hpp
)