File find_input_parameter_validation-inc.make of Package Deletion_of_checks_before_specific_function_cal...

Overview Repositories Revisions Requests Users Attributes Meta

File find_input_parameter_validation-inc.make of Package Deletion_of_checks_before_specific_function_calls_in_Linux_source_files (Revision 4a0ca4dde197651aba91005b2dedec2d)

Currently displaying revision 4a0ca4dde197651aba91005b2dedec2d , Show latest

# Copyright (c) 2015 Markus Elfring
#
# This file is part of a script collection for static source code analysis.
#
# The collection is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License (version 2)
# as published by the Free Software Foundation.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
# See the GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

ifeq ($(strip $(builddir)),)
   override OUTPUT_DIR::=
else
   override OUTPUT_DIR::=$(abspath $(builddir))

ifneq ($(OUTPUT_DIR),/)
      override OUTPUT_DIR::=$(OUTPUT_DIR)/
   endif
endif

ifneq ($(strip $(srcdir)),)
   VPATH::=$(srcdir)
endif

SHELL::=/bin/bash
PROCESSOR_NUMBER::=$(shell getconf _NPROCESSORS_ONLN)
ECHO::=echo
ANALYSIS_TIME_LIMIT::=-timeout 12
SPATCH_PROGRAM::=spatch.opt
SPATCH_FLAGS::=-sp-file
SPATCH::=$(SPATCH_PROGRAM) $(ANALYSIS_TIME_LIMIT) $(SPATCH_FLAGS)
PARALLEL_SPATCH_FLAGS::=-max $(PROCESSOR_NUMBER) -index $(index) $(SPATCH_FLAGS)
PARALLEL_SPATCH::=$(SPATCH_PROGRAM) $(ANALYSIS_TIME_LIMIT) $(PARALLEL_SPATCH_FLAGS)
LINUX_SOURCE_DIR::=/usr/src/linux-stable
SQLITE_FLAGS::=-init
SQLITE_PROGRAM::=sqlite3
SQLITE::=$(SQLITE_PROGRAM)
SQLITE_INIT::=$(SQLITE_PROGRAM) $(SQLITE_FLAGS)
USE_DATABASE::=PostgreSQL

ifeq ($(USE_DATABASE),PostgreSQL)
PSQL::=psql
DATABASE_CLI::=$(PSQL)
DATABASE_NAME::=check_search1
DATABASE_PREPARATION::=preparation.sql
RESULT_SQL_DATABASE::=
RESULT_SQL_DATABASE_URL_PREFIX::=postgresql+psycopg2:///
RESULT_SQL_DATABASE_URL::=$(RESULT_SQL_DATABASE_URL_PREFIX)$(DATABASE_NAME)
else
DATABASE_CLI::=$(SQLITE)
DATABASE_PREPARATION::=preparation.sqlite
RESULT_SQL_DATABASE::=$(OUTPUT_DIR)result-with_static.db
RESULT_SQL_DATABASE_URL_PREFIX::=sqlite:///
RESULT_SQL_DATABASE_URL::=$(RESULT_SQL_DATABASE_URL_PREFIX)$(RESULT_SQL_DATABASE)
endif

define SETTINGS_FOR_PARALLEL_EXTRACTION_OF_FUNCTIONS_THAT_CHECK_THEIR_SINGLE_PARAMETER
EXIT_CODE_EXTRACT_FUNCTIONS_THAT_CHECK_THEIR_SINGLE_PARAMETER$(1)=$$(OUTPUT_DIR)find_input_parameter_validation-with_static1-$(1).exit
endef

# Deactivate some default implicit rules
.SUFFIXES:

%:: RCS/% RCS/%,v SCCS/s.% s.% %,v

Places

File find_input_parameter_validation-inc.make of Package Deletion_of_checks_before_specific_function_calls_in_Linux_source_files (Revision 4a0ca4dde197651aba91005b2dedec2d)

Places