3 ########################################################################
4 # The following variables can be overwritten from the command line
17 BINDIR ?
= $(PREFIX
)/bin
18 SHAREDIR ?
= $(PREFIX
)/share
19 MANDIR ?
= $(SHAREDIR
)/man
21 PKG_CONFIG ?
= pkg-config
23 CHECKER_FLAGS ?
= -Wno-vla
25 # Allow users to override build settings without dirtying their trees
26 # For debugging, put this in local.mk:
28 # CFLAGS += -O0 -DDEBUG -g3 -gdwarf-2
30 SPARSE_LOCAL_CONFIG ?
= local.mk
31 -include ${SPARSE_LOCAL_CONFIG}
32 ########################################################################
36 LIB_OBJS
+= allocate.o
39 LIB_OBJS
+= compat-
$(OS
).o
42 LIB_OBJS
+= dominate.o
43 LIB_OBJS
+= evaluate.o
45 LIB_OBJS
+= expression.o
47 LIB_OBJS
+= flowgraph.o
51 LIB_OBJS
+= linearize.o
52 LIB_OBJS
+= liveness.o
55 LIB_OBJS
+= optimize.o
58 LIB_OBJS
+= predefine.o
59 LIB_OBJS
+= pre-process.o
63 LIB_OBJS
+= show-parse.o
64 LIB_OBJS
+= simplify.o
71 LIB_OBJS
+= target-alpha.o
72 LIB_OBJS
+= target-arm.o
73 LIB_OBJS
+= target-arm64.o
74 LIB_OBJS
+= target-bfin.o
75 LIB_OBJS
+= target-default.o
76 LIB_OBJS
+= target-h8300.o
77 LIB_OBJS
+= target-m68k.o
78 LIB_OBJS
+= target-microblaze.o
79 LIB_OBJS
+= target-mips.o
80 LIB_OBJS
+= target-nds32.o
81 LIB_OBJS
+= target-nios2.o
82 LIB_OBJS
+= target-openrisc.o
83 LIB_OBJS
+= target-ppc.o
84 LIB_OBJS
+= target-riscv.o
85 LIB_OBJS
+= target-s390.o
86 LIB_OBJS
+= target-sh.o
87 LIB_OBJS
+= target-sparc.o
88 LIB_OBJS
+= target-x86.o
89 LIB_OBJS
+= target-xtensa.o
90 LIB_OBJS
+= tokenize.o
93 LIB_OBJS
+= macro_table.o
94 LIB_OBJS
+= token_store.o
95 LIB_OBJS
+= cwchash
/hashtable.o
103 PROGRAMS
+= obfuscate
105 PROGRAMS
+= test-dissect
106 PROGRAMS
+= test-lexing
107 PROGRAMS
+= test-linearize
108 PROGRAMS
+= test-parsing
109 PROGRAMS
+= test-show-type
110 PROGRAMS
+= test-unssa
112 INST_PROGRAMS
= smatch sparse cgcc
113 INST_MAN1
= sparse
.1 cgcc
.1
114 INST_ASSETS
= $(wildcard smatch_data
/db
/*.schema
)
115 INST_ASSETS
+= $(wildcard smatch_data
/*)
116 INST_ASSETS
+= $(wildcard smatch_data
/db
/kernel.
*)
120 ########################################################################
121 # common flags/options/...
123 cflags = -fno-strict-aliasing
124 cflags += -Wall
-Wwrite-strings
-Wno-switch
-Wno-psabi
126 GCC_BASE
:= $(shell $(CC
) --print-file-name
=)
127 cflags += -DGCC_BASE
=\"$(GCC_BASE
)\"
129 MULTIARCH_TRIPLET
:= $(shell $(CC
) -print-multiarch
2>/dev
/null
)
130 cflags += -DMULTIARCH_TRIPLET
=\"$(MULTIARCH_TRIPLET
)\"
133 bindir := $(DESTDIR
)$(BINDIR
)
134 man1dir := $(DESTDIR
)$(MANDIR
)/man1
135 smatch_datadir
:= $(DESTDIR
)$(SHAREDIR
)/smatch
137 ########################################################################
138 # target specificities
140 compile
: compile-i386.o
141 EXTRA_OBJS
+= compile-i386.o
143 # Can we use GCC's generated dependencies?
144 HAVE_GCC_DEP
:=$(shell touch .gcc-test.c
&& \
145 $(CC
) -c
-Wp
,-MP
,-MMD
,.gcc-test.d .gcc-test.c
2>/dev
/null
&& \
146 echo
'yes'; rm -f .gcc-test.d .gcc-test.o .gcc-test.c
)
147 ifeq ($(HAVE_GCC_DEP
),yes
)
148 cflags += -Wp
,-MP
,-MMD
,$(@D
)/.
$(@F
).d
151 # Can we use libxml (needed for c2xml)?
152 HAVE_LIBXML
:=$(shell $(PKG_CONFIG
) --exists libxml-2.0
2>/dev
/null
&& echo
'yes')
153 ifeq ($(HAVE_LIBXML
),yes
)
156 c2xml-ldlibs
:= $(shell $(PKG_CONFIG
) --libs libxml-2.0
)
157 c2xml-cflags
:= $(shell $(PKG_CONFIG
) --cflags libxml-2.0
)
159 $(warning Your system does not have libxml
, disabling c2xml
)
162 HAVE_SQLITE
:= $(shell $(PKG_CONFIG
) --exists sqlite3
2>/dev
/null
&& echo
'yes')
163 ifeq ($(HAVE_SQLITE
),yes
)
164 SQLITE_VERSION
:=$(shell $(PKG_CONFIG
) --modversion sqlite3
)
165 SQLITE_VNUMBER
:=$(shell printf
'%d%02d%02d' $(subst .
, ,$(SQLITE_VERSION
)))
166 ifeq ($(shell expr
"$(SQLITE_VNUMBER)" '>=' 32400),1)
168 INST_PROGRAMS
+= semind
169 INST_MAN1
+= semind
.1
170 semind-ldlibs
:= $(shell $(PKG_CONFIG
) --libs sqlite3
)
171 semind-cflags
:= $(shell $(PKG_CONFIG
) --cflags sqlite3
)
172 semind-cflags
+= -std
=gnu99
174 $(warning Your SQLite3 version
($(SQLITE_VERSION
)) is too old
, 3.24.0 or later is required.
)
177 $(warning Your system does not have sqlite3
, disabling semind
)
180 # Can we use gtk (needed for test-inspect)
182 HAVE_GTK
:=$(shell $(PKG_CONFIG
) --exists gtk
+-$(GTK_VERSION
) 2>/dev
/null
&& echo
'yes')
183 ifneq ($(HAVE_GTK
),yes
)
185 HAVE_GTK
:=$(shell $(PKG_CONFIG
) --exists gtk
+-$(GTK_VERSION
) 2>/dev
/null
&& echo
'yes')
187 ifeq ($(HAVE_GTK
),yes
)
188 GTK_CFLAGS
:= $(shell $(PKG_CONFIG
) --cflags gtk
+-$(GTK_VERSION
))
189 ast-view-cflags
:= $(GTK_CFLAGS
)
190 ast-model-cflags
:= $(GTK_CFLAGS
)
191 ast-inspect-cflags
:= $(GTK_CFLAGS
)
192 test-inspect-cflags
:= $(GTK_CFLAGS
)
193 test-inspect-ldlibs
:= $(shell $(PKG_CONFIG
) --libs gtk
+-$(GTK_VERSION
))
194 test-inspect
: ast-model.o ast-view.o ast-inspect.o
195 EXTRA_OBJS
+= ast-model.o ast-view.o ast-inspect.o
196 PROGRAMS
+= test-inspect
197 INST_PROGRAMS
+= test-inspect
199 $(warning Your system does not have gtk3
/gtk2
, disabling test-inspect
)
202 # Can we use LLVM (needed for ... sparse-llvm)?
203 LLVM_CONFIG
:=llvm-config
204 HAVE_LLVM
:=$(shell $(LLVM_CONFIG
) --version
>/dev
/null
2>&1 && echo
'yes')
205 ifeq ($(HAVE_LLVM
),yes
)
206 arch
:= $(shell uname
-m
)
207 ifeq (${MULTIARCH_TRIPLET},x86_64-linux-gnux32
)
210 ifneq ($(filter ${arch},i386 i486 i586 i686 x86_64 amd64
),)
211 LLVM_VERSION
:=$(shell $(LLVM_CONFIG
) --version
)
212 LLVM_VERSION_MAJOR
:=$(firstword $(subst .
, ,$(LLVM_VERSION
)))
213 ifeq ($(shell expr
"$(LLVM_VERSION_MAJOR)" '>=' 3),1)
214 LLVM_PROGS
:= sparse-llvm
215 $(LLVM_PROGS
): LD
:= $(CXX
)
216 LLVM_LDFLAGS
:= $(shell $(LLVM_CONFIG
) --ldflags)
217 LLVM_CFLAGS
:= $(shell $(LLVM_CONFIG
) --cppflags)
218 LLVM_LIBS
:= $(shell $(LLVM_CONFIG
) --libs
)
219 LLVM_LIBS
+= $(shell $(LLVM_CONFIG
) --system-libs
2>/dev
/null
)
220 LLVM_LIBS
+= $(shell $(LLVM_CONFIG
) --cxxflags | grep
-F
-q
-e
'-stdlib=libc++' && echo
-lc
++)
221 PROGRAMS
+= $(LLVM_PROGS
)
222 INST_PROGRAMS
+= sparse-llvm sparsec
223 sparse-llvm-cflags
:= $(LLVM_CFLAGS
) -D__STDC_CONSTANT_MACROS
-D__STDC_LIMIT_MACROS
224 sparse-llvm-ldflags
:= $(LLVM_LDFLAGS
)
225 sparse-llvm-ldlibs
:= $(LLVM_LIBS
)
227 $(warning LLVM
3.0 or later required. Your system has version
$(LLVM_VERSION
) installed.
)
230 $(warning sparse-llvm disabled on
${arch})
233 $(warning Your system does not have llvm
, disabling sparse-llvm
)
236 ifeq ($(HAVE_BOOLECTOR
),yes
)
238 scheck-cflags
:= -I
${BOOLECTORDIR}/include/boolector
239 scheck-ldflags
:= -L
${BOOLECTORDIR}/lib
240 scheck-ldlibs
:= -lboolector
-llgl
-lbtor2parser
243 ########################################################################
245 OBJS
:= $(LIB_OBJS
) $(EXTRA_OBJS
) $(PROGRAMS
:%=%.o
)
251 ########################################################################
255 SMATCH_OBJS
+= smatch_about_fn_ptr_arg.o
256 SMATCH_OBJS
+= smatch_address.o
257 SMATCH_OBJS
+= smatch_allocations.o
258 SMATCH_OBJS
+= smatch_annotate.o
259 SMATCH_OBJS
+= smatch_array_values.o
260 SMATCH_OBJS
+= smatch_assigned_expr.o
261 SMATCH_OBJS
+= smatch_bits.o
262 SMATCH_OBJS
+= smatch_buf_comparison.o
263 SMATCH_OBJS
+= smatch_buf_comparison2.o
264 SMATCH_OBJS
+= smatch_buf_size.o
265 SMATCH_OBJS
+= smatch_capped.o
266 SMATCH_OBJS
+= smatch_common_functions.o
267 SMATCH_OBJS
+= smatch_comparison.o
268 SMATCH_OBJS
+= smatch_conditions.o
269 SMATCH_OBJS
+= smatch_constraints.o
270 SMATCH_OBJS
+= smatch_constraints_required.o
271 SMATCH_OBJS
+= smatch_container_of.o
272 SMATCH_OBJS
+= smatch_data_source.o
273 SMATCH_OBJS
+= smatch_db.o
274 SMATCH_OBJS
+= smatch_dereference.o
275 SMATCH_OBJS
+= smatch_equiv.o
276 SMATCH_OBJS
+= smatch_estate.o
277 SMATCH_OBJS
+= smatch_expressions.o
278 SMATCH_OBJS
+= smatch_expression_stacks.o
279 SMATCH_OBJS
+= smatch_extra.o
280 SMATCH_OBJS
+= smatch_files.o
281 SMATCH_OBJS
+= smatch_flow.o
282 SMATCH_OBJS
+= smatch_fn_arg_link.o
283 SMATCH_OBJS
+= smatch_fresh_alloc.o
284 SMATCH_OBJS
+= smatch_function_hooks.o
285 SMATCH_OBJS
+= smatch_function_info.o
286 SMATCH_OBJS
+= smatch_function_ptrs.o
287 SMATCH_OBJS
+= smatch_goto_tracker.o
288 SMATCH_OBJS
+= smatch_hash.o
289 SMATCH_OBJS
+= smatch_helper.o
290 SMATCH_OBJS
+= smatch_hooks.o
291 SMATCH_OBJS
+= smatch_ignore.o
292 SMATCH_OBJS
+= smatch_imaginary_absolute.o
293 SMATCH_OBJS
+= smatch_implied.o
294 SMATCH_OBJS
+= smatch_impossible.o
295 SMATCH_OBJS
+= smatch_integer_overflow.o
296 SMATCH_OBJS
+= smatch_kernel_user_data.o
297 SMATCH_OBJS
+= smatch_kernel_host_data.o
298 SMATCH_OBJS
+= smatch_links.o
299 SMATCH_OBJS
+= smatch_math.o
300 SMATCH_OBJS
+= smatch_mem_tracker.o
301 SMATCH_OBJS
+= smatch_modification_hooks.o
302 SMATCH_OBJS
+= smatch_mtag_data.o
303 SMATCH_OBJS
+= smatch_mtag_map.o
304 SMATCH_OBJS
+= smatch_mtag.o
305 SMATCH_OBJS
+= smatch_nul_terminator.o
306 SMATCH_OBJS
+= smatch_param_bits_set.o
307 SMATCH_OBJS
+= smatch_param_bits_clear.o
308 SMATCH_OBJS
+= smatch_param_cleared.o
309 SMATCH_OBJS
+= smatch_param_compare_limit.o
310 SMATCH_OBJS
+= smatch_parameter_names.o
311 SMATCH_OBJS
+= smatch_param_filter.o
312 SMATCH_OBJS
+= smatch_param_key.o
313 SMATCH_OBJS
+= smatch_param_limit.o
314 SMATCH_OBJS
+= smatch_param_set.o
315 SMATCH_OBJS
+= smatch_param_to_mtag_data.o
316 SMATCH_OBJS
+= smatch_param_used.o
317 SMATCH_OBJS
+= smatch_parse_call_math.o
318 SMATCH_OBJS
+= smatch_parsed_conditions.o
319 SMATCH_OBJS
+= smatch_passes_array_size.o
320 SMATCH_OBJS
+= smatch_points_to_container.o
321 SMATCH_OBJS
+= smatch_points_to_user_data.o
322 SMATCH_OBJS
+= smatch_points_to_host_data.o
323 SMATCH_OBJS
+= smatch_power_of_two.o
324 SMATCH_OBJS
+= smatch_project.o
325 SMATCH_OBJS
+= smatch_ranges.o
326 SMATCH_OBJS
+= smatch_real_absolute.o
327 SMATCH_OBJS
+= smatch_recurse.o
328 SMATCH_OBJS
+= smatch_returns.o
329 SMATCH_OBJS
+= smatch_return_to_param.o
330 SMATCH_OBJS
+= smatch_ssa.o
331 SMATCH_OBJS
+= smatch_scope.o
332 SMATCH_OBJS
+= smatch_slist.o
333 SMATCH_OBJS
+= smatch_start_states.o
334 SMATCH_OBJS
+= smatch_statement_count.o
335 SMATCH_OBJS
+= smatch_states.o
336 SMATCH_OBJS
+= smatch_state_assigned.o
337 SMATCH_OBJS
+= smatch_stored_conditions.o
338 SMATCH_OBJS
+= smatch_string_list.o
339 SMATCH_OBJS
+= smatch_strings.o
340 SMATCH_OBJS
+= smatch_strlen.o
341 SMATCH_OBJS
+= smatch_struct_assignment.o
342 SMATCH_OBJS
+= smatch_sval.o
343 SMATCH_OBJS
+= smatch_tracker.o
344 SMATCH_OBJS
+= smatch_type_links.o
345 SMATCH_OBJS
+= smatch_type.o
346 SMATCH_OBJS
+= smatch_type_val.o
347 SMATCH_OBJS
+= smatch_unconstant_macros.o
348 SMATCH_OBJS
+= smatch_unknown_value.o
349 SMATCH_OBJS
+= smatch_untracked_param.o
350 SMATCH_OBJS
+= smatch_untracked_var.o
351 SMATCH_OBJS
+= smatch_var_sym.o
353 CFLAGS
+=-D__CHECKNAME__
='"$(subst .c,,$(notdir $<))"'
355 SMATCH_CHECKS
=$(shell ls check_
*.c | sed
-e
's/\.c/.o/')
356 SMATCH_DATA
=smatch_data
/kernel.allocation_funcs \
357 smatch_data
/kernel.frees_argument smatch_data
/kernel.puts_argument \
358 smatch_data
/kernel.dev_queue_xmit smatch_data
/kernel.returns_err_ptr \
359 smatch_data
/kernel.dma_funcs smatch_data
/kernel.returns_held_funcs \
360 smatch_data
/kernel.no_return_funcs
362 SMATCH_SCRIPTS
=smatch_scripts
/add_gfp_to_allocations.sh \
363 smatch_scripts
/build_kernel_data.sh \
364 smatch_scripts
/call_tree.pl smatch_scripts
/filter_kernel_deref_check.sh \
365 smatch_scripts
/find_expanded_holes.pl smatch_scripts
/find_null_params.sh \
366 smatch_scripts
/follow_params.pl smatch_scripts
/gen_allocation_list.sh \
367 smatch_scripts
/gen_bit_shifters.sh smatch_scripts
/gen_dma_funcs.sh \
368 smatch_scripts
/generisize.pl smatch_scripts
/gen_err_ptr_list.sh \
369 smatch_scripts
/gen_expects_err_ptr.sh smatch_scripts
/gen_frees_list.sh \
370 smatch_scripts
/gen_gfp_flags.sh smatch_scripts
/gen_no_return_funcs.sh \
371 smatch_scripts
/gen_puts_list.sh smatch_scripts
/gen_returns_held.sh \
372 smatch_scripts
/gen_rosenberg_funcs.sh smatch_scripts
/gen_sizeof_param.sh \
373 smatch_scripts
/gen_unwind_functions.sh smatch_scripts
/kchecker \
374 smatch_scripts
/kpatch.sh smatch_scripts
/new_bugs.sh \
375 smatch_scripts
/show_errs.sh smatch_scripts
/show_ifs.sh \
376 smatch_scripts
/show_unreachable.sh smatch_scripts
/strip_whitespace.pl \
377 smatch_scripts
/summarize_errs.sh smatch_scripts
/test_kernel.sh \
378 smatch_scripts
/trace_params.pl smatch_scripts
/unlocked_paths.pl \
379 smatch_scripts
/whitespace_only.sh smatch_scripts
/wine_checker.sh \
381 SMATCH_LDFLAGS
:= -lsqlite3
-lssl
-lcrypto
-lm
383 smatch
: smatch.o
$(SMATCH_OBJS
) $(SMATCH_CHECKS
) $(LIBS
)
384 $(Q
)$(LD
) -o
$@
$< $(SMATCH_OBJS
) $(SMATCH_CHECKS
) $(LIBS
) $(SMATCH_LDFLAGS
)
386 smatch_data
/db
/sm_hash
: sm_hash.o
$(SMATCH_OBJS
)
387 $(Q
)$(LD
) -o smatch_data
/db
/sm_hash sm_hash.o smatch_hash.o
$(SMATCH_LDFLAGS
)
389 sm_hash.o
: sm_hash.c smatch.h
390 $(CC
) $(CFLAGS
) -c sm_hash.c
393 touch check_list_local.h
395 smatch.o
: smatch.c
$(LIB_H
) smatch.h check_list.h check_list_local.h
396 $(CC
) $(CFLAGS
) -c smatch.c
-DSMATCHDATADIR
='"$(smatch_datadir)"'
398 $(SMATCH_OBJS
) $(SMATCH_CHECKS
): smatch.h smatch_slist.h smatch_extra.h \
399 smatch_constants.h avl.h
401 ########################################################################
402 all: $(PROGRAMS
) smatch smatch_data
/db
/sm_hash
404 ldflags += $($(@
)-ldflags) $(LDFLAGS
)
405 ldlibs
+= $($(@
)-ldlibs
) $(LDLIBS
) -lm
406 $(PROGRAMS
): % : %.o
$(LIBS
)
408 $(Q
)$(LD
) $(ldflags) $^
$(ldlibs
) -o
$@
410 libsparse.a
: $(LIB_OBJS
)
415 cflags += $($(*)-cflags) $(CPPFLAGS
) $(CFLAGS
)
418 $(Q
)$(CC
) $(cflags) -c
-o
$@
$<
422 $(Q
)CHECK
=.
/sparse .
/cgcc
-no-compile
$(CHECKER_FLAGS
) $(cflags) -c
$<
424 selfcheck
: $(OBJS
:.o
=.sc
)
426 SPARSE_VERSION
:=$(shell git describe
--dirty
2>/dev
/null || echo
'$(VERSION)')
429 @echo
'#define SPARSE_VERSION "$(SPARSE_VERSION)"' > version.h.tmp
430 @if cmp
-s version.h version.h.tmp
; then \
434 mv version.h.tmp version.h
; \
439 $(Q
)cd validation
&& .
/test-suite
440 validation
/%: $(PROGRAMS
) FORCE
441 $(Q
)validation
/test-suite
$*
445 @
rm -f
*.
[oa
] .
*.d cwchash
/hashtable.o cwchash
/.hashtable.o.d
$(PROGRAMS
) version.h smatch
448 @find validation
/ \
( -name
"*.c.output.*" \
449 -o
-name
"*.c.error.*" \
454 install: install-bin install-man install-assets
455 install-bin
: $(INST_PROGRAMS
:%=$(bindir)/%)
456 install-man
: $(INST_MAN1
:%=$(man1dir)/%)
457 install-assets
: $(INST_ASSETS
:%=$(smatch_datadir
)/%)
461 $(Q
)install -D
$< $@ || exit
1;
462 $(man1dir)/% $(smatch_datadir
)/%: %
464 $(Q
)install -D
-m
644 $< $@ || exit
1;
469 -include $(OBJS
:%.o
=.
%.o.d
)