Home
last modified time | relevance | path

Searched refs:smatch_db (Results 1 – 9 of 9) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/validation/
H A Dsmatch_db_test.sh3 rm -f smatch_db.sqlite
8 rm smatch_db.sqlite
/illumos-gate/usr/src/tools/smatch/src/smatch_data/db/
H A Dcreate_db.sh16 db_file=smatch_db.sqlite.new
59 mv $db_file smatch_db.sqlite
H A Dclear_user_data.sh3 …ype = 8017; delete from return_states where type = 8017 or type = 9017;" | sqlite3 smatch_db.sqlite
H A Dreload_partial.sh16 db_file=smatch_db.sqlite
/illumos-gate/usr/src/tools/smatch/src/smatch_scripts/
H A Dbuild_kernel_data.sh29 if [ ! -e smatch_db.sqlite ] ; then
H A Dbuild_generic_data.sh46 if [ ! -e smatch_db.sqlite ] ; then
/illumos-gate/usr/src/tools/smatch/
H A DMakefile126 SMATCH_OBJS += smatch_db.o
/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch.h897 extern struct sqlite3 *smatch_db;
941 sql_helper(smatch_db, call_back, data, sql); \
H A Dsmatch_db.c26 struct sqlite3 *smatch_db; variable
2407 rc = sqlite3_open_v2(db_file, &smatch_db, SQLITE_OPEN_READONLY, NULL); in open_smatch_db()