-
Notifications
You must be signed in to change notification settings - Fork 37
/
CMakeLists.txt
80 lines (70 loc) · 1.86 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
69
70
71
72
73
74
75
76
77
78
add_llvm_library(ClamAnalysis ${CLAM_LIBS_TYPE} DISABLE_LLVM_LINK_LLVM_DYLIB
CfgBuilder.cc
CfgBuilderEmitters.cc
CfgBuilderLit.cc
CfgBuilderMemRegions.cc
CfgBuilderUtils.cc
Clam.cc
ClamQueryCache.cc
NameValues.cc
RegisterAnalysis.cc
SeaDsaHeapAbstraction.cc
SeaDsaHeapAbstractionUtils.cc
SeaDsaToRegion.cc
CrabDomainParser.cc
crab/path_analysis/path_analyzer.cc
crab/output/crabir/cfg_printer.cc
crab/output/json/write_json.cc
crab/output/json/read_json.cc
crab/domains/intervals.cc
crab/domains/boxes.cc
crab/domains/dis_intervals.cc
crab/domains/oct.cc
crab/domains/pk.cc
crab/domains/pk_pplite.cc
crab/domains/ric.cc
crab/domains/sign_constant.cc
crab/domains/split_dbm.cc
crab/domains/split_oct.cc
crab/domains/terms_dis_intervals.cc
crab/domains/terms_intervals.cc
crab/domains/terms_zones.cc
crab/domains/wrapped_intervals.cc
Support/BoostException.cc
Support/CFGPrinter.cc
Properties/MemoryCheckUtils.cc
Properties/NullCheck.cc
Properties/UafCheck.cc
Properties/BndCheck.cc
)
llvm_map_components_to_libnames(LLVM_LIBS
support core irreader bitwriter instrumentation ipo scalaropts codegen objcarcopts)
target_link_libraries (ClamAnalysis
PRIVATE
${CRAB_LIBS}
## Needed if dynamic linking
${LLVM_LIBS}
${SEA_DSA_LIBS})
if (USE_COTIRE)
cotire(ClamAnalysis)
endif ()
install(TARGETS ClamAnalysis
ARCHIVE DESTINATION lib
LIBRARY DESTINATION lib)
if (CLAM_INCLUDE_POST_TRANSFORMS)
add_llvm_library (ClamOptimizer ${CLAM_LIBS_TYPE} DISABLE_LLVM_LINK_LLVM_DYLIB
Optimizer/Optimizer.cc
)
target_link_libraries(ClamOptimizer
PRIVATE
${CRAB_LIBS}
## Needed if dynamic linking
ClamAnalysis
${LLVM_LIBS})
if (USE_COTIRE)
cotire(ClamOptimizer)
endif ()
install(TARGETS ClamOptimizer
ARCHIVE DESTINATION lib
LIBRARY DESTINATION lib)
endif()