1# 2# This file and its contents are supplied under the terms of the 3# Common Development and Distribution License ("CDDL"), version 1.0. 4# You may only use this file in accordance with the terms of version 5# 1.0 of the CDDL. 6# 7# A full copy of the text of the CDDL should have accompanied this 8# source. A copy of the CDDL is also available via the Internet at 9# http://www.illumos.org/license/CDDL. 10# 11# Copyright (c) 2019, Joyent, Inc. 12# 13 14# 15# The src/ sub-directory is un-modified copy of 16# https://github.com/illumos/smatch/tree/0.5.1-il-4 17# 18# This Makefile installs just enough for us to be able to run smatch 19# locally. 20# 21 22PROG = smatch 23SPARSE_VERSION = 0.5.1-il-4 24 25include ../Makefile.tools 26 27# We have to build smatch before we can use cw 28i386_CC = $(GNUC_ROOT)/bin/gcc 29sparc_CC = $(GNUC_ROOT)/bin/gcc 30# sparc doesn't recognise -msave-args 31i386_SMATCHFLAGS = -msave-args 32sparc_SMATCHFLAGS = 33 34CFLAGS = -O -m64 $($(MACH)_SMATCHFLAGS) -D__sun -Wall -Wno-unknown-pragmas -std=gnu99 -nodefaultlibs 35 36SMATCHDATADIR = $(ROOTONBLDSHARE)/smatch 37 38CFLAGS += -DSMATCHDATADIR='"$(SMATCHDATADIR)"' 39CFLAGS += -DGCC_BASE='"/no/such/dir"' 40CFLAGS += -DMULTIARCH_TRIPLET=NULL 41 42LDLIBS += -lsqlite3 -lcrypto -lm -lgcc -lc 43LDFLAGS = $(MAPFILE.NES:%=-Wl,-M%) 44LDFLAGS += -L$(NATIVE_ADJUNCT)/lib -R$(NATIVE_ADJUNCT)/lib 45 46CPPFLAGS += -nostdinc 47CPPFLAGS += -Isrc/ 48CPPFLAGS += -I$(NATIVE_ADJUNCT)/include 49 50# no install.bin 51INS.file = $(RM) $@; $(CP) $< $(@D); $(CHMOD) $(FILEMODE) $@ 52INS.dir = mkdir -p $@; $(CHMOD) $(DIRMODE) $@ 53 54SMATCH_CHECK_OBJS:sh=ls src/check_*.c | sed -e 's+\.c+.o+;s+src/++;' 55 56OBJS = smatch.o $(SMATCH_CHECK_OBJS) 57 58OBJS += smatch_flow.o smatch_conditions.o smatch_slist.o smatch_states.o \ 59 smatch_helper.o smatch_type.o smatch_hooks.o smatch_function_hooks.o \ 60 smatch_modification_hooks.o smatch_extra.o smatch_estate.o smatch_math.o \ 61 smatch_sval.o smatch_ranges.o smatch_implied.o smatch_ignore.o smatch_project.o \ 62 smatch_var_sym.o smatch_tracker.o smatch_files.o smatch_expression_stacks.o \ 63 smatch_equiv.o smatch_buf_size.o smatch_strlen.o smatch_capped.o smatch_db.o \ 64 smatch_expressions.o smatch_returns.o smatch_parse_call_math.o \ 65 smatch_param_limit.o smatch_param_filter.o \ 66 smatch_param_set.o smatch_comparison.o smatch_param_compare_limit.o smatch_local_values.o \ 67 smatch_function_ptrs.o smatch_annotate.o smatch_string_list.o \ 68 smatch_param_cleared.o smatch_start_states.o \ 69 smatch_recurse.o smatch_data_source.o smatch_type_val.o \ 70 smatch_common_functions.o smatch_struct_assignment.o \ 71 smatch_unknown_value.o smatch_stored_conditions.o avl.o \ 72 smatch_function_info.o smatch_links.o smatch_auto_copy.o \ 73 smatch_type_links.o smatch_untracked_param.o smatch_impossible.o \ 74 smatch_strings.o smatch_param_used.o smatch_container_of.o smatch_address.o \ 75 smatch_buf_comparison.o smatch_real_absolute.o smatch_scope.o \ 76 smatch_imaginary_absolute.o smatch_parameter_names.o \ 77 smatch_return_to_param.o smatch_passes_array_size.o \ 78 smatch_constraints.o smatch_constraints_required.o \ 79 smatch_fn_arg_link.o smatch_about_fn_ptr_arg.o smatch_mtag.o \ 80 smatch_mtag_map.o smatch_mtag_data.o \ 81 smatch_param_to_mtag_data.o smatch_mem_tracker.o smatch_array_values.o \ 82 smatch_nul_terminator.o smatch_assigned_expr.o smatch_kernel_user_data.o \ 83 smatch_statement_count.o smatch_bits.o smatch_integer_overflow.o 84 85OBJS += target.o parse.o tokenize.o pre-process.o symbol.o lib.o scope.o \ 86 expression.o show-parse.o evaluate.o expand.o inline.o linearize.o \ 87 char.o sort.o allocate.o compat-linux.o ptrlist.o \ 88 builtin.o \ 89 stats.o \ 90 flow.o cse.o simplify.o memops.o liveness.o storage.o unssa.o \ 91 dissect.o \ 92 macro_table.o token_store.o hashtable.o 93 94SMATCH_DATA = \ 95 illumos_kernel.no_return_funcs \ 96 illumos_kernel.skipped_functions \ 97 illumos_user.no_return_funcs \ 98 illumos_user.skipped_functions 99 100SMATCH_DB_DATA = \ 101 return_states.schema \ 102 call_implies.schema \ 103 type_value.schema \ 104 param_map.schema \ 105 function_type_size.schema \ 106 parameter_name.schema \ 107 fn_ptr_data_link.schema \ 108 constraints.schema \ 109 mtag_about.schema \ 110 type_info.schema \ 111 function_type_info.schema \ 112 caller_info.schema \ 113 function_type_value.schema \ 114 return_implies.schema \ 115 type_size.schema \ 116 constraints_required.schema \ 117 fn_data_link.schema \ 118 mtag_alias.schema \ 119 common_caller_info.schema \ 120 data_info.schema \ 121 function_type.schema \ 122 db.schema \ 123 mtag_data.schema \ 124 function_ptr.schema \ 125 sink_info.schema \ 126 local_values.schema \ 127 mtag_map.schema 128 129ROOTONBLDDATAFILES = $(SMATCH_DATA:%=$(SMATCHDATADIR)/smatch_data/%) 130ROOTONBLDDATAFILES += $(SMATCH_DB_DATA:%=$(SMATCHDATADIR)/smatch_data/db/%) 131 132BUILT_HEADERS = src/version.h src/check_list_local.h 133 134.KEEP_STATE: 135 136.PARALLEL: $(OBJS) 137 138all: $(PROG) 139 140install: all .WAIT $(ROOTONBLDMACHPROG) $(ROOTONBLDDATAFILES) 141 142clean: 143 rm -f $(OBJS) $(BUILT_HEADERS) 144 145$(ROOTONBLDDATAFILES): $(SMATCHDATADIR)/smatch_data/db 146 147$(SMATCHDATADIR)/smatch_data/%: src/smatch_data/% 148 $(INS.file) 149 150$(SMATCHDATADIR)/smatch_data/db: 151 $(INS.dir) 152 153$(SMATCHDATADIR)/smatch_data: 154 $(INS.dir) 155 156$(PROG): $(OBJS) 157 $(LINK.c) $(OBJS) -o $@ $(LDLIBS) 158 $(POST_PROCESS) 159 160%.o: src/%.c $(BUILT_HEADERS) 161 $(COMPILE.c) -o $@ $< 162 163%.o: src/cwchash/%.c 164 $(COMPILE.c) -o $@ $< 165 166src/check_list_local.h: 167 touch src/check_list_local.h 168 169src/version.h: 170 echo '#define SPARSE_VERSION "$(SPARSE_VERSION)"' > src/version.h 171 172include ../Makefile.targ 173