xref: /illumos-gate/usr/src/tools/smatch/Makefile (revision 8a2b682e57a046b828f37bcde1776f131ef4629f)
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 2020 Joyent, Inc.
12#
13
14#
15# The src/ sub-directory is un-modified copy of
16# https://github.com/illumos/smatch/tree/$SPARSE_VERSION
17#
18# This Makefile installs just enough for us to be able to run smatch
19# locally.
20#
21
22PROG = smatch
23SPARSE_VERSION = 0.6.1-rc1-il-3
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 -std=gnu99 -nodefaultlibs -D__sun $($(MACH)_SMATCHFLAGS)
35CFLAGS += -Wall -Wno-unknown-pragmas -Wno-psabi
36
37SMATCHDATADIR = $(ROOTONBLDSHARE)/smatch
38
39CFLAGS += -DSMATCHDATADIR='"$(SMATCHDATADIR)"'
40CFLAGS += -DGCC_BASE='"/no/such/dir"'
41CFLAGS += -DMULTIARCH_TRIPLET=NULL
42
43LDLIBS += -lsqlite3 -lcrypto -lm -lgcc -lc
44LDFLAGS = $(MAPFILE.NES:%=-Wl,-M%)
45LDFLAGS += -L$(NATIVE_ADJUNCT)/lib -R$(NATIVE_ADJUNCT)/lib
46
47CPPFLAGS += -nostdinc
48CPPFLAGS += -Isrc/
49CPPFLAGS += -I$(NATIVE_ADJUNCT)/include
50
51# no install.bin
52INS.file = $(RM) $@; $(CP) $< $(@D); $(CHMOD) $(FILEMODE) $@
53INS.dir = mkdir -p $@; $(CHMOD) $(DIRMODE) $@
54
55# fine for us
56OS=linux
57
58LIB_OBJS =
59LIB_OBJS += allocate.o
60LIB_OBJS += builtin.o
61LIB_OBJS += char.o
62LIB_OBJS += compat-$(OS).o
63LIB_OBJS += cse.o
64LIB_OBJS += dissect.o
65LIB_OBJS += dominate.o
66LIB_OBJS += evaluate.o
67LIB_OBJS += expand.o
68LIB_OBJS += expression.o
69LIB_OBJS += flow.o
70LIB_OBJS += flowgraph.o
71LIB_OBJS += inline.o
72LIB_OBJS += ir.o
73LIB_OBJS += lib.o
74LIB_OBJS += linearize.o
75LIB_OBJS += liveness.o
76LIB_OBJS += memops.o
77LIB_OBJS += opcode.o
78LIB_OBJS += optimize.o
79LIB_OBJS += parse.o
80LIB_OBJS += pre-process.o
81LIB_OBJS += ptrlist.o
82LIB_OBJS += ptrmap.o
83LIB_OBJS += scope.o
84LIB_OBJS += show-parse.o
85LIB_OBJS += simplify.o
86LIB_OBJS += sort.o
87LIB_OBJS += ssa.o
88LIB_OBJS += sset.o
89LIB_OBJS += stats.o
90LIB_OBJS += storage.o
91LIB_OBJS += symbol.o
92LIB_OBJS += target.o
93LIB_OBJS += tokenize.o
94LIB_OBJS += unssa.o
95LIB_OBJS += utils.o
96LIB_OBJS += macro_table.o
97LIB_OBJS += token_store.o
98LIB_OBJS += hashtable.o
99
100SMATCH_OBJS =
101SMATCH_OBJS += avl.o
102SMATCH_OBJS += smatch_about_fn_ptr_arg.o
103SMATCH_OBJS += smatch_address.o
104SMATCH_OBJS += smatch_annotate.o
105SMATCH_OBJS += smatch_array_values.o
106SMATCH_OBJS += smatch_assigned_expr.o
107SMATCH_OBJS += smatch_bits.o
108SMATCH_OBJS += smatch_buf_comparison.o
109SMATCH_OBJS += smatch_buf_size.o
110SMATCH_OBJS += smatch_capped.o
111SMATCH_OBJS += smatch_common_functions.o
112SMATCH_OBJS += smatch_comparison.o
113SMATCH_OBJS += smatch_conditions.o
114SMATCH_OBJS += smatch_constraints.o
115SMATCH_OBJS += smatch_constraints_required.o
116SMATCH_OBJS += smatch_container_of.o
117SMATCH_OBJS += smatch_data_source.o
118SMATCH_OBJS += smatch_db.o
119SMATCH_OBJS += smatch_equiv.o
120SMATCH_OBJS += smatch_estate.o
121SMATCH_OBJS += smatch_expressions.o
122SMATCH_OBJS += smatch_expression_stacks.o
123SMATCH_OBJS += smatch_extra.o
124SMATCH_OBJS += smatch_files.o
125SMATCH_OBJS += smatch_flow.o
126SMATCH_OBJS += smatch_fn_arg_link.o
127SMATCH_OBJS += smatch_function_hooks.o
128SMATCH_OBJS += smatch_function_info.o
129SMATCH_OBJS += smatch_function_ptrs.o
130SMATCH_OBJS += smatch_helper.o
131SMATCH_OBJS += smatch_hooks.o
132SMATCH_OBJS += smatch_ignore.o
133SMATCH_OBJS += smatch_imaginary_absolute.o
134SMATCH_OBJS += smatch_implied.o
135SMATCH_OBJS += smatch_impossible.o
136SMATCH_OBJS += smatch_integer_overflow.o
137SMATCH_OBJS += smatch_kernel_user_data.o
138SMATCH_OBJS += smatch_links.o
139SMATCH_OBJS += smatch_math.o
140SMATCH_OBJS += smatch_mem_tracker.o
141SMATCH_OBJS += smatch_modification_hooks.o
142SMATCH_OBJS += smatch_mtag_data.o
143SMATCH_OBJS += smatch_mtag_map.o
144SMATCH_OBJS += smatch_mtag.o
145SMATCH_OBJS += smatch_nul_terminator.o
146SMATCH_OBJS += smatch_param_cleared.o
147SMATCH_OBJS += smatch_param_compare_limit.o
148SMATCH_OBJS += smatch_parameter_names.o
149SMATCH_OBJS += smatch_param_filter.o
150SMATCH_OBJS += smatch_param_limit.o
151SMATCH_OBJS += smatch_param_set.o
152SMATCH_OBJS += smatch_param_to_mtag_data.o
153SMATCH_OBJS += smatch_param_used.o
154SMATCH_OBJS += smatch_parse_call_math.o
155SMATCH_OBJS += smatch_passes_array_size.o
156SMATCH_OBJS += smatch_project.o
157SMATCH_OBJS += smatch_ranges.o
158SMATCH_OBJS += smatch_real_absolute.o
159SMATCH_OBJS += smatch_recurse.o
160SMATCH_OBJS += smatch_returns.o
161SMATCH_OBJS += smatch_return_to_param.o
162SMATCH_OBJS += smatch_scope.o
163SMATCH_OBJS += smatch_slist.o
164SMATCH_OBJS += smatch_start_states.o
165SMATCH_OBJS += smatch_statement_count.o
166SMATCH_OBJS += smatch_states.o
167SMATCH_OBJS += smatch_stored_conditions.o
168SMATCH_OBJS += smatch_string_list.o
169SMATCH_OBJS += smatch_strings.o
170SMATCH_OBJS += smatch_strlen.o
171SMATCH_OBJS += smatch_struct_assignment.o
172SMATCH_OBJS += smatch_sval.o
173SMATCH_OBJS += smatch_tracker.o
174SMATCH_OBJS += smatch_type_links.o
175SMATCH_OBJS += smatch_type.o
176SMATCH_OBJS += smatch_type_val.o
177SMATCH_OBJS += smatch_unknown_value.o
178SMATCH_OBJS += smatch_untracked_param.o
179SMATCH_OBJS += smatch_var_sym.o
180SMATCH_OBJS += smatch_parsed_conditions.o
181
182SMATCH_CHECK_OBJS:sh=ls src/check_*.c | sed -e 's+\.c+.o+;s+src/++;'
183
184OBJS = smatch.o $(LIB_OBJS) $(SMATCH_OBJS) $(SMATCH_CHECK_OBJS)
185
186SMATCH_DATA = \
187	illumos_kernel.skipped_functions \
188	illumos_user.skipped_functions
189
190SMATCH_DB_DATA =
191SMATCH_DB_DATA += call_implies.schema
192SMATCH_DB_DATA += function_ptr.schema
193SMATCH_DB_DATA += mtag_map.schema
194SMATCH_DB_DATA += caller_info.schema
195SMATCH_DB_DATA += function_type.schema
196SMATCH_DB_DATA += param_map.schema
197SMATCH_DB_DATA += common_caller_info.schema
198SMATCH_DB_DATA += function_type_info.schema
199SMATCH_DB_DATA += parameter_name.schema
200SMATCH_DB_DATA += constraints.schema
201SMATCH_DB_DATA += function_type_size.schema
202SMATCH_DB_DATA += return_implies.schema
203SMATCH_DB_DATA += constraints_required.schema
204SMATCH_DB_DATA += function_type_value.schema
205SMATCH_DB_DATA += return_states.schema
206SMATCH_DB_DATA += data_info.schema
207SMATCH_DB_DATA += local_values.schema
208SMATCH_DB_DATA += sink_info.schema
209SMATCH_DB_DATA += db.schema
210SMATCH_DB_DATA += mtag_about.schema
211SMATCH_DB_DATA += type_info.schema
212SMATCH_DB_DATA += fn_data_link.schema
213SMATCH_DB_DATA += mtag_alias.schema
214SMATCH_DB_DATA += type_size.schema
215SMATCH_DB_DATA += fn_ptr_data_link.schema
216SMATCH_DB_DATA += mtag_data.schema
217SMATCH_DB_DATA += type_value.schema
218
219ROOTONBLDDATAFILES = $(SMATCH_DATA:%=$(SMATCHDATADIR)/smatch_data/%)
220ROOTONBLDDATAFILES += $(SMATCH_DB_DATA:%=$(SMATCHDATADIR)/smatch_data/db/%)
221
222BUILT_HEADERS = src/version.h src/check_list_local.h
223
224.KEEP_STATE:
225
226.PARALLEL: $(OBJS)
227
228all: $(PROG)
229
230install: all .WAIT $(ROOTONBLDMACHPROG) $(ROOTONBLDDATAFILES)
231
232clean:
233	rm -f $(OBJS) $(BUILT_HEADERS)
234
235$(ROOTONBLDDATAFILES): $(SMATCHDATADIR)/smatch_data/db
236
237$(SMATCHDATADIR)/smatch_data/%: src/smatch_data/%
238	$(INS.file)
239
240$(SMATCHDATADIR)/smatch_data/db:
241	$(INS.dir)
242
243$(SMATCHDATADIR)/smatch_data:
244	$(INS.dir)
245
246$(PROG): $(OBJS)
247	$(LINK.c) $(OBJS) -o $@ $(LDLIBS)
248	$(POST_PROCESS)
249
250%.o: src/%.c $(BUILT_HEADERS)
251	$(COMPILE.c) -o $@ $<
252
253%.o: src/cwchash/%.c
254	$(COMPILE.c) -o $@ $<
255
256src/check_list_local.h:
257	touch src/check_list_local.h
258
259src/version.h:
260	echo '#define SPARSE_VERSION "$(SPARSE_VERSION)"' > src/version.h
261
262include ../Makefile.targ
263