Symbol: open_smatch_db
usr/src/tools/smatch/src/smatch.c
345
open_smatch_db(option_db_file);
usr/src/tools/smatch/src/smatch.h
1029
void open_smatch_db(char *db_file);