1VERSION=0.6.1-rc1-il-6 2 3######################################################################## 4# The following variables can be overwritten from the command line 5OS = linux 6 7 8CC ?= gcc 9LD = $(CC) 10AR = ar 11 12CFLAGS ?= -g 13 14DESTDIR ?= 15PREFIX ?= $(HOME) 16BINDIR ?= $(PREFIX)/bin 17MANDIR ?= $(PREFIX)/share/man 18 19PKG_CONFIG ?= pkg-config 20 21CHECKER_FLAGS ?= -Wno-vla 22 23# Allow users to override build settings without dirtying their trees 24# For debugging, put this in local.mk: 25# 26# CFLAGS += -O0 -DDEBUG -g3 -gdwarf-2 27# 28SPARSE_LOCAL_CONFIG ?= local.mk 29-include ${SPARSE_LOCAL_CONFIG} 30######################################################################## 31 32 33LIB_OBJS := 34LIB_OBJS += allocate.o 35LIB_OBJS += builtin.o 36LIB_OBJS += char.o 37LIB_OBJS += compat-$(OS).o 38LIB_OBJS += cse.o 39LIB_OBJS += dissect.o 40LIB_OBJS += dominate.o 41LIB_OBJS += evaluate.o 42LIB_OBJS += expand.o 43LIB_OBJS += expression.o 44LIB_OBJS += flow.o 45LIB_OBJS += flowgraph.o 46LIB_OBJS += inline.o 47LIB_OBJS += ir.o 48LIB_OBJS += lib.o 49LIB_OBJS += linearize.o 50LIB_OBJS += liveness.o 51LIB_OBJS += memops.o 52LIB_OBJS += opcode.o 53LIB_OBJS += optimize.o 54LIB_OBJS += parse.o 55LIB_OBJS += pre-process.o 56LIB_OBJS += ptrlist.o 57LIB_OBJS += ptrmap.o 58LIB_OBJS += scope.o 59LIB_OBJS += show-parse.o 60LIB_OBJS += simplify.o 61LIB_OBJS += sort.o 62LIB_OBJS += ssa.o 63LIB_OBJS += sset.o 64LIB_OBJS += stats.o 65LIB_OBJS += storage.o 66LIB_OBJS += symbol.o 67LIB_OBJS += target.o 68LIB_OBJS += tokenize.o 69LIB_OBJS += unssa.o 70LIB_OBJS += utils.o 71LIB_OBJS += macro_table.o 72LIB_OBJS += token_store.o 73LIB_OBJS += cwchash/hashtable.o 74 75PROGRAMS := 76PROGRAMS += compile 77PROGRAMS += ctags 78PROGRAMS += example 79PROGRAMS += graph 80PROGRAMS += obfuscate 81PROGRAMS += sparse 82PROGRAMS += test-dissect 83PROGRAMS += test-lexing 84PROGRAMS += test-linearize 85PROGRAMS += test-parsing 86PROGRAMS += test-unssa 87 88INST_PROGRAMS=smatch sparse cgcc 89INST_MAN1=sparse.1 cgcc.1 90 91 92all: 93 94######################################################################## 95# common flags/options/... 96 97cflags = -fno-strict-aliasing 98cflags += -Wall -Wwrite-strings -Wno-switch -Wno-psabi 99 100GCC_BASE := $(shell $(CC) --print-file-name=) 101cflags += -DGCC_BASE=\"$(GCC_BASE)\" 102 103MULTIARCH_TRIPLET := $(shell $(CC) -print-multiarch 2>/dev/null) 104cflags += -DMULTIARCH_TRIPLET=\"$(MULTIARCH_TRIPLET)\" 105 106 107bindir := $(DESTDIR)$(BINDIR) 108man1dir := $(DESTDIR)$(MANDIR)/man1 109 110######################################################################## 111# target specificities 112 113compile: compile-i386.o 114EXTRA_OBJS += compile-i386.o 115 116# Can we use GCC's generated dependencies? 117HAVE_GCC_DEP:=$(shell touch .gcc-test.c && \ 118 $(CC) -c -Wp,-MP,-MMD,.gcc-test.d .gcc-test.c 2>/dev/null && \ 119 echo 'yes'; rm -f .gcc-test.d .gcc-test.o .gcc-test.c) 120ifeq ($(HAVE_GCC_DEP),yes) 121cflags += -Wp,-MP,-MMD,$(@D)/.$(@F).d 122endif 123 124# Can we use libxml (needed for c2xml)? 125HAVE_LIBXML:=$(shell $(PKG_CONFIG) --exists libxml-2.0 2>/dev/null && echo 'yes') 126ifeq ($(HAVE_LIBXML),yes) 127PROGRAMS+=c2xml 128INST_PROGRAMS+=c2xml 129c2xml-ldlibs := $(shell $(PKG_CONFIG) --libs libxml-2.0) 130c2xml-cflags := $(shell $(PKG_CONFIG) --cflags libxml-2.0) 131else 132$(warning Your system does not have libxml, disabling c2xml) 133endif 134 135# Can we use gtk (needed for test-inspect) 136GTK_VERSION:=3.0 137HAVE_GTK:=$(shell $(PKG_CONFIG) --exists gtk+-$(GTK_VERSION) 2>/dev/null && echo 'yes') 138ifneq ($(HAVE_GTK),yes) 139GTK_VERSION:=2.0 140HAVE_GTK:=$(shell $(PKG_CONFIG) --exists gtk+-$(GTK_VERSION) 2>/dev/null && echo 'yes') 141endif 142ifeq ($(HAVE_GTK),yes) 143GTK_CFLAGS := $(shell $(PKG_CONFIG) --cflags gtk+-$(GTK_VERSION)) 144ast-view-cflags := $(GTK_CFLAGS) 145ast-model-cflags := $(GTK_CFLAGS) 146ast-inspect-cflags := $(GTK_CFLAGS) 147test-inspect-cflags := $(GTK_CFLAGS) 148test-inspect-ldlibs := $(shell $(PKG_CONFIG) --libs gtk+-$(GTK_VERSION)) 149test-inspect: ast-model.o ast-view.o ast-inspect.o 150EXTRA_OBJS += ast-model.o ast-view.o ast-inspect.o 151PROGRAMS += test-inspect 152INST_PROGRAMS += test-inspect 153else 154$(warning Your system does not have gtk3/gtk2, disabling test-inspect) 155endif 156 157# Can we use LLVM (needed for ... sparse-llvm)? 158LLVM_CONFIG:=llvm-config 159HAVE_LLVM:=$(shell $(LLVM_CONFIG) --version >/dev/null 2>&1 && echo 'yes') 160ifeq ($(HAVE_LLVM),yes) 161arch := $(shell uname -m) 162ifeq (${MULTIARCH_TRIPLET},x86_64-linux-gnux32) 163arch := x32 164endif 165ifneq ($(filter ${arch},i386 i486 i586 i686 x86_64 amd64),) 166LLVM_VERSION:=$(shell $(LLVM_CONFIG) --version) 167ifeq ($(shell expr "$(LLVM_VERSION)" : '[3-9]\.'),2) 168LLVM_PROGS := sparse-llvm 169$(LLVM_PROGS): LD := g++ 170LLVM_LDFLAGS := $(shell $(LLVM_CONFIG) --ldflags) 171LLVM_CFLAGS := -I$(shell $(LLVM_CONFIG) --includedir) 172LLVM_LIBS := $(shell $(LLVM_CONFIG) --libs) 173LLVM_LIBS += $(shell $(LLVM_CONFIG) --system-libs 2>/dev/null) 174LLVM_LIBS += $(shell $(LLVM_CONFIG) --cxxflags | grep -F -q -e '-stdlib=libc++' && echo -lc++) 175PROGRAMS += $(LLVM_PROGS) 176INST_PROGRAMS += sparse-llvm sparsec 177sparse-llvm-cflags := $(LLVM_CFLAGS) -D__STDC_CONSTANT_MACROS -D__STDC_LIMIT_MACROS 178sparse-llvm-ldflags := $(LLVM_LDFLAGS) 179sparse-llvm-ldlibs := $(LLVM_LIBS) 180else 181$(warning LLVM 3.0 or later required. Your system has version $(LLVM_VERSION) installed.) 182endif 183else 184$(warning sparse-llvm disabled on ${arch}) 185endif 186else 187$(warning Your system does not have llvm, disabling sparse-llvm) 188endif 189 190######################################################################## 191LIBS := libsparse.a 192OBJS := $(LIB_OBJS) $(EXTRA_OBJS) $(PROGRAMS:%=%.o) 193 194# Pretty print 195V := @ 196Q := $(V:1=) 197 198######################################################################## 199 200SMATCHDATADIR=$(INSTALL_PREFIX)/share/smatch 201 202SMATCH_OBJS := 203SMATCH_OBJS += avl.o 204SMATCH_OBJS += smatch_about_fn_ptr_arg.o 205SMATCH_OBJS += smatch_address.o 206SMATCH_OBJS += smatch_annotate.o 207SMATCH_OBJS += smatch_array_values.o 208SMATCH_OBJS += smatch_assigned_expr.o 209SMATCH_OBJS += smatch_bits.o 210SMATCH_OBJS += smatch_buf_comparison.o 211SMATCH_OBJS += smatch_buf_size.o 212SMATCH_OBJS += smatch_capped.o 213SMATCH_OBJS += smatch_common_functions.o 214SMATCH_OBJS += smatch_comparison.o 215SMATCH_OBJS += smatch_conditions.o 216SMATCH_OBJS += smatch_constraints.o 217SMATCH_OBJS += smatch_constraints_required.o 218SMATCH_OBJS += smatch_container_of.o 219SMATCH_OBJS += smatch_data_source.o 220SMATCH_OBJS += smatch_db.o 221SMATCH_OBJS += smatch_equiv.o 222SMATCH_OBJS += smatch_estate.o 223SMATCH_OBJS += smatch_expressions.o 224SMATCH_OBJS += smatch_expression_stacks.o 225SMATCH_OBJS += smatch_extra.o 226SMATCH_OBJS += smatch_files.o 227SMATCH_OBJS += smatch_flow.o 228SMATCH_OBJS += smatch_fn_arg_link.o 229SMATCH_OBJS += smatch_fresh_alloc.o 230SMATCH_OBJS += smatch_function_hooks.o 231SMATCH_OBJS += smatch_function_info.o 232SMATCH_OBJS += smatch_function_ptrs.o 233SMATCH_OBJS += smatch_helper.o 234SMATCH_OBJS += smatch_hooks.o 235SMATCH_OBJS += smatch_ignore.o 236SMATCH_OBJS += smatch_imaginary_absolute.o 237SMATCH_OBJS += smatch_implied.o 238SMATCH_OBJS += smatch_impossible.o 239SMATCH_OBJS += smatch_integer_overflow.o 240SMATCH_OBJS += smatch_kernel_user_data.o 241SMATCH_OBJS += smatch_links.o 242SMATCH_OBJS += smatch_math.o 243SMATCH_OBJS += smatch_mem_tracker.o 244SMATCH_OBJS += smatch_modification_hooks.o 245SMATCH_OBJS += smatch_mtag_data.o 246SMATCH_OBJS += smatch_mtag_map.o 247SMATCH_OBJS += smatch_mtag.o 248SMATCH_OBJS += smatch_nul_terminator.o 249SMATCH_OBJS += smatch_param_cleared.o 250SMATCH_OBJS += smatch_param_compare_limit.o 251SMATCH_OBJS += smatch_parameter_names.o 252SMATCH_OBJS += smatch_param_filter.o 253SMATCH_OBJS += smatch_param_limit.o 254SMATCH_OBJS += smatch_param_set.o 255SMATCH_OBJS += smatch_param_to_mtag_data.o 256SMATCH_OBJS += smatch_param_used.o 257SMATCH_OBJS += smatch_parse_call_math.o 258SMATCH_OBJS += smatch_parsed_conditions.o 259SMATCH_OBJS += smatch_passes_array_size.o 260SMATCH_OBJS += smatch_project.o 261SMATCH_OBJS += smatch_ranges.o 262SMATCH_OBJS += smatch_real_absolute.o 263SMATCH_OBJS += smatch_recurse.o 264SMATCH_OBJS += smatch_returns.o 265SMATCH_OBJS += smatch_return_to_param.o 266SMATCH_OBJS += smatch_scope.o 267SMATCH_OBJS += smatch_slist.o 268SMATCH_OBJS += smatch_start_states.o 269SMATCH_OBJS += smatch_statement_count.o 270SMATCH_OBJS += smatch_states.o 271SMATCH_OBJS += smatch_stored_conditions.o 272SMATCH_OBJS += smatch_string_list.o 273SMATCH_OBJS += smatch_strings.o 274SMATCH_OBJS += smatch_strlen.o 275SMATCH_OBJS += smatch_struct_assignment.o 276SMATCH_OBJS += smatch_sval.o 277SMATCH_OBJS += smatch_tracker.o 278SMATCH_OBJS += smatch_type_links.o 279SMATCH_OBJS += smatch_type.o 280SMATCH_OBJS += smatch_type_val.o 281SMATCH_OBJS += smatch_unknown_value.o 282SMATCH_OBJS += smatch_untracked_param.o 283SMATCH_OBJS += smatch_var_sym.o 284 285SMATCH_CHECKS=$(shell ls check_*.c | sed -e 's/\.c/.o/') 286SMATCH_DATA=smatch_data/kernel.allocation_funcs \ 287 smatch_data/kernel.frees_argument smatch_data/kernel.puts_argument \ 288 smatch_data/kernel.dev_queue_xmit smatch_data/kernel.returns_err_ptr \ 289 smatch_data/kernel.dma_funcs smatch_data/kernel.returns_held_funcs \ 290 smatch_data/kernel.no_return_funcs 291 292SMATCH_SCRIPTS=smatch_scripts/add_gfp_to_allocations.sh \ 293 smatch_scripts/build_kernel_data.sh \ 294 smatch_scripts/call_tree.pl smatch_scripts/filter_kernel_deref_check.sh \ 295 smatch_scripts/find_expanded_holes.pl smatch_scripts/find_null_params.sh \ 296 smatch_scripts/follow_params.pl smatch_scripts/gen_allocation_list.sh \ 297 smatch_scripts/gen_bit_shifters.sh smatch_scripts/gen_dma_funcs.sh \ 298 smatch_scripts/generisize.pl smatch_scripts/gen_err_ptr_list.sh \ 299 smatch_scripts/gen_expects_err_ptr.sh smatch_scripts/gen_frees_list.sh \ 300 smatch_scripts/gen_gfp_flags.sh smatch_scripts/gen_no_return_funcs.sh \ 301 smatch_scripts/gen_puts_list.sh smatch_scripts/gen_returns_held.sh \ 302 smatch_scripts/gen_rosenberg_funcs.sh smatch_scripts/gen_sizeof_param.sh \ 303 smatch_scripts/gen_unwind_functions.sh smatch_scripts/kchecker \ 304 smatch_scripts/kpatch.sh smatch_scripts/new_bugs.sh \ 305 smatch_scripts/show_errs.sh smatch_scripts/show_ifs.sh \ 306 smatch_scripts/show_unreachable.sh smatch_scripts/strip_whitespace.pl \ 307 smatch_scripts/summarize_errs.sh smatch_scripts/test_kernel.sh \ 308 smatch_scripts/trace_params.pl smatch_scripts/unlocked_paths.pl \ 309 smatch_scripts/whitespace_only.sh smatch_scripts/wine_checker.sh \ 310 311SMATCH_LDFLAGS := -lsqlite3 -lssl -lcrypto -lm 312 313smatch: smatch.o $(SMATCH_OBJS) $(SMATCH_CHECKS) $(LIBS) 314 $(Q)$(LD) -o $@ $< $(SMATCH_OBJS) $(SMATCH_CHECKS) $(LIBS) $(SMATCH_LDFLAGS) 315 316check_list_local.h: 317 touch check_list_local.h 318 319smatch.o: smatch.c $(LIB_H) smatch.h check_list.h check_list_local.h 320 $(CC) $(CFLAGS) -c smatch.c -DSMATCHDATADIR='"$(SMATCHDATADIR)"' 321 322$(SMATCH_OBJS) $(SMATCH_CHECKS): smatch.h smatch_slist.h smatch_extra.h avl.h 323 324######################################################################## 325all: $(PROGRAMS) smatch 326 327ldflags += $($(@)-ldflags) $(LDFLAGS) 328ldlibs += $($(@)-ldlibs) $(LDLIBS) -lm 329$(PROGRAMS): % : %.o $(LIBS) 330 @echo " LD $@" 331 $(Q)$(LD) $(ldflags) $^ $(ldlibs) -o $@ 332 333libsparse.a: $(LIB_OBJS) 334 @echo " AR $@" 335 $(Q)$(AR) rcs $@ $^ 336 337 338cflags += $($(*)-cflags) $(CPPFLAGS) $(CFLAGS) 339%.o: %.c 340 @echo " CC $@" 341 $(Q)$(CC) $(cflags) -c -o $@ $< 342 343%.sc: %.c sparse 344 @echo " CHECK $<" 345 $(Q)CHECK=./sparse ./cgcc -no-compile $(CHECKER_FLAGS) $(cflags) -c $< 346 347selfcheck: $(OBJS:.o=.sc) 348 349 350SPARSE_VERSION:=$(shell git describe --dirty 2>/dev/null || echo '$(VERSION)') 351lib.o: version.h 352version.h: FORCE 353 @echo '#define SPARSE_VERSION "$(SPARSE_VERSION)"' > version.h.tmp 354 @if cmp -s version.h version.h.tmp; then \ 355 rm version.h.tmp; \ 356 else \ 357 echo " GEN $@"; \ 358 mv version.h.tmp version.h; \ 359 fi 360 361 362check: all 363 $(Q)cd validation && ./test-suite 364validation/%.t: $(PROGRAMS) 365 @validation/test-suite single $*.c 366 367 368clean: clean-check 369 @rm -f *.[oa] .*.d $(PROGRAMS) version.h smatch 370clean-check: 371 @echo " CLEAN" 372 @find validation/ \( -name "*.c.output.*" \ 373 -o -name "*.c.error.*" \ 374 -o -name "*.o" \ 375 \) -exec rm {} \; 376 377 378install: install-bin install-man 379install-bin: $(INST_PROGRAMS:%=$(bindir)/%) 380install-man: $(INST_MAN1:%=$(man1dir)/%) 381 382$(bindir)/%: % 383 @echo " INSTALL $@" 384 $(Q)install -D $< $@ || exit 1; 385$(man1dir)/%: % 386 @echo " INSTALL $@" 387 $(Q)install -D -m 644 $< $@ || exit 1; 388 389.PHONY: FORCE 390 391# GCC's dependencies 392-include $(OBJS:%.o=.%.o.d) 393