11f5207b7SJohn Levon /*
21f5207b7SJohn Levon * Copyright (C) 2006 Dan Carpenter.
31f5207b7SJohn Levon *
41f5207b7SJohn Levon * This program is free software; you can redistribute it and/or
51f5207b7SJohn Levon * modify it under the terms of the GNU General Public License
61f5207b7SJohn Levon * as published by the Free Software Foundation; either version 2
71f5207b7SJohn Levon * of the License, or (at your option) any later version.
81f5207b7SJohn Levon *
91f5207b7SJohn Levon * This program is distributed in the hope that it will be useful,
101f5207b7SJohn Levon * but WITHOUT ANY WARRANTY; without even the implied warranty of
111f5207b7SJohn Levon * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
121f5207b7SJohn Levon * GNU General Public License for more details.
131f5207b7SJohn Levon *
141f5207b7SJohn Levon * You should have received a copy of the GNU General Public License
151f5207b7SJohn Levon * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt
167ae7577cSJohn Levon *
177ae7577cSJohn Levon * Copyright 2019 Joyent, Inc.
181f5207b7SJohn Levon */
191f5207b7SJohn Levon
201f5207b7SJohn Levon #include <stdio.h>
211f5207b7SJohn Levon #include <unistd.h>
221f5207b7SJohn Levon #include <libgen.h>
231f5207b7SJohn Levon #include "smatch.h"
24efe51d0cSJohn Levon #include "smatch_slist.h"
251f5207b7SJohn Levon #include "check_list.h"
261f5207b7SJohn Levon
271f5207b7SJohn Levon char *option_debug_check = (char *)"";
281f5207b7SJohn Levon char *option_project_str = (char *)"smatch_generic";
291f5207b7SJohn Levon static char *option_db_file = (char *)"smatch_db.sqlite";
301f5207b7SJohn Levon enum project_type option_project = PROJ_NONE;
311f5207b7SJohn Levon char *bin_dir;
321f5207b7SJohn Levon char *data_dir;
331f5207b7SJohn Levon int option_no_data = 0;
341f5207b7SJohn Levon int option_spammy = 0;
351f5207b7SJohn Levon int option_info = 0;
361f5207b7SJohn Levon int option_full_path = 0;
371f5207b7SJohn Levon int option_call_tree = 0;
381f5207b7SJohn Levon int option_no_db = 0;
391f5207b7SJohn Levon int option_enable = 0;
401f5207b7SJohn Levon int option_disable = 0;
411f5207b7SJohn Levon int option_file_output;
421f5207b7SJohn Levon int option_time;
431f5207b7SJohn Levon int option_mem;
441f5207b7SJohn Levon char *option_datadir_str;
451f5207b7SJohn Levon int option_fatal_checks;
461f5207b7SJohn Levon int option_succeed;
477ae7577cSJohn Levon int option_timeout = 60;
481f5207b7SJohn Levon
491f5207b7SJohn Levon FILE *sm_outfd;
501f5207b7SJohn Levon FILE *sql_outfd;
511f5207b7SJohn Levon FILE *caller_info_fd;
521f5207b7SJohn Levon
531f5207b7SJohn Levon int sm_nr_errors;
541f5207b7SJohn Levon int sm_nr_checks;
551f5207b7SJohn Levon
561f5207b7SJohn Levon bool __silence_warnings_for_stmt;
571f5207b7SJohn Levon
581f5207b7SJohn Levon const char *progname;
591f5207b7SJohn Levon
601f5207b7SJohn Levon typedef void (*reg_func) (int id);
611f5207b7SJohn Levon #define CK(_x) {.name = #_x, .func = &_x, .enabled = 0},
621f5207b7SJohn Levon static struct reg_func_info {
631f5207b7SJohn Levon const char *name;
641f5207b7SJohn Levon reg_func func;
651f5207b7SJohn Levon int enabled;
661f5207b7SJohn Levon } reg_funcs[] = {
671f5207b7SJohn Levon {NULL, NULL},
681f5207b7SJohn Levon #include "check_list.h"
691f5207b7SJohn Levon };
701f5207b7SJohn Levon #undef CK
711f5207b7SJohn Levon int num_checks = ARRAY_SIZE(reg_funcs) - 1;
721f5207b7SJohn Levon
check_name(unsigned short id)731f5207b7SJohn Levon const char *check_name(unsigned short id)
741f5207b7SJohn Levon {
751f5207b7SJohn Levon if (id >= ARRAY_SIZE(reg_funcs))
761f5207b7SJohn Levon return "internal";
771f5207b7SJohn Levon
781f5207b7SJohn Levon return reg_funcs[id].name;
791f5207b7SJohn Levon }
801f5207b7SJohn Levon
id_from_name(const char * name)811f5207b7SJohn Levon int id_from_name(const char *name)
821f5207b7SJohn Levon {
831f5207b7SJohn Levon int i;
841f5207b7SJohn Levon
851f5207b7SJohn Levon for (i = 1; i < ARRAY_SIZE(reg_funcs); i++) {
861f5207b7SJohn Levon if (!strcmp(name, reg_funcs[i].name))
871f5207b7SJohn Levon return i;
881f5207b7SJohn Levon }
891f5207b7SJohn Levon return 0;
901f5207b7SJohn Levon }
911f5207b7SJohn Levon
show_checks(void)921f5207b7SJohn Levon static void show_checks(void)
931f5207b7SJohn Levon {
941f5207b7SJohn Levon int i;
951f5207b7SJohn Levon
961f5207b7SJohn Levon for (i = 1; i < ARRAY_SIZE(reg_funcs); i++) {
971f5207b7SJohn Levon if (!strncmp(reg_funcs[i].name, "check_", 6))
981f5207b7SJohn Levon printf("%3d. %s\n", i, reg_funcs[i].name);
991f5207b7SJohn Levon }
1001f5207b7SJohn Levon exit(0);
1011f5207b7SJohn Levon }
1021f5207b7SJohn Levon
enable_disable_checks(char * s,bool enable)1031f5207b7SJohn Levon static void enable_disable_checks(char *s, bool enable)
1041f5207b7SJohn Levon {
1051f5207b7SJohn Levon char buf[128];
1061f5207b7SJohn Levon char *next;
1071f5207b7SJohn Levon int i;
1081f5207b7SJohn Levon
1091f5207b7SJohn Levon do {
1101f5207b7SJohn Levon next = strchr(s, ',');
1111f5207b7SJohn Levon if (next) {
1121f5207b7SJohn Levon *next = '\0';
1131f5207b7SJohn Levon next++;
1141f5207b7SJohn Levon }
1151f5207b7SJohn Levon if (*s == '\0')
1161f5207b7SJohn Levon return;
1171f5207b7SJohn Levon if (strncmp(s, "check_", 6) == 0)
1181f5207b7SJohn Levon snprintf(buf, sizeof(buf), "%s", s);
1191f5207b7SJohn Levon else
1201f5207b7SJohn Levon snprintf(buf, sizeof(buf), "check_%s", s);
1211f5207b7SJohn Levon
1221f5207b7SJohn Levon
1231f5207b7SJohn Levon for (i = 1; i < ARRAY_SIZE(reg_funcs); i++) {
1241f5207b7SJohn Levon if (strcmp(reg_funcs[i].name, buf) == 0) {
1251f5207b7SJohn Levon reg_funcs[i].enabled = (enable == true) ? 1 : -1;
1261f5207b7SJohn Levon break;
1271f5207b7SJohn Levon }
1281f5207b7SJohn Levon }
1291f5207b7SJohn Levon
1301f5207b7SJohn Levon if (i == ARRAY_SIZE(reg_funcs))
1311f5207b7SJohn Levon sm_fatal("'%s' not found", s);
1321f5207b7SJohn Levon
1331f5207b7SJohn Levon } while ((s = next));
1341f5207b7SJohn Levon }
1351f5207b7SJohn Levon
help(void)1361f5207b7SJohn Levon static void help(void)
1371f5207b7SJohn Levon {
1381f5207b7SJohn Levon printf("Usage: smatch [smatch arguments][sparse arguments] file.c\n");
1391f5207b7SJohn Levon printf("--project=<name> or -p=<name>: project specific tests\n");
1401f5207b7SJohn Levon printf("--succeed: don't exit with an error\n");
1411f5207b7SJohn Levon printf("--spammy: print superfluous crap.\n");
1421f5207b7SJohn Levon printf("--info: print info used to fill smatch_data/.\n");
1431f5207b7SJohn Levon printf("--debug: print lots of debug output.\n");
1441f5207b7SJohn Levon printf("--no-data: do not use the /smatch_data/ directory.\n");
1451f5207b7SJohn Levon printf("--data=<dir>: overwrite path to default smatch data directory.\n");
1461f5207b7SJohn Levon printf("--full-path: print the full pathname.\n");
1471f5207b7SJohn Levon printf("--debug-implied: print debug output about implications.\n");
1481f5207b7SJohn Levon printf("--assume-loops: assume loops always go through at least once.\n");
1491f5207b7SJohn Levon printf("--two-passes: use a two pass system for each function.\n");
1501f5207b7SJohn Levon printf("--file-output: instead of printing stdout, print to \"file.c.smatch_out\".\n");
1511f5207b7SJohn Levon printf("--fatal-checks: check output is treated as an error.\n");
1521f5207b7SJohn Levon printf("--help: print this helpful message.\n");
1531f5207b7SJohn Levon exit(1);
1541f5207b7SJohn Levon }
1551f5207b7SJohn Levon
match_option(const char * arg,const char * option)1561f5207b7SJohn Levon static int match_option(const char *arg, const char *option)
1571f5207b7SJohn Levon {
1581f5207b7SJohn Levon char *str;
1591f5207b7SJohn Levon char *tmp;
1601f5207b7SJohn Levon int ret = 0;
1611f5207b7SJohn Levon
1621f5207b7SJohn Levon str = malloc(strlen(option) + 3);
1631f5207b7SJohn Levon snprintf(str, strlen(option) + 3, "--%s", option);
1641f5207b7SJohn Levon tmp = str;
1651f5207b7SJohn Levon while (*tmp) {
1661f5207b7SJohn Levon if (*tmp == '_')
1671f5207b7SJohn Levon *tmp = '-';
1681f5207b7SJohn Levon tmp++;
1691f5207b7SJohn Levon }
1701f5207b7SJohn Levon if (!strcmp(arg, str))
1711f5207b7SJohn Levon ret = 1;
1721f5207b7SJohn Levon free(str);
1731f5207b7SJohn Levon return ret;
1741f5207b7SJohn Levon }
1751f5207b7SJohn Levon
1761f5207b7SJohn Levon #define OPTION(_x) do { \
1777ae7577cSJohn Levon if (match_option((*argvp)[i], #_x)) { \
1781f5207b7SJohn Levon option_##_x = 1; \
1791f5207b7SJohn Levon } \
1801f5207b7SJohn Levon } while (0)
1811f5207b7SJohn Levon
parse_args(int * argcp,char *** argvp)1821f5207b7SJohn Levon void parse_args(int *argcp, char ***argvp)
1831f5207b7SJohn Levon {
1841f5207b7SJohn Levon int i;
1851f5207b7SJohn Levon
1861f5207b7SJohn Levon for (i = 1 ; i < *argcp; i++) {
1871f5207b7SJohn Levon if (!strcmp((*argvp)[i], "--help"))
1881f5207b7SJohn Levon help();
1891f5207b7SJohn Levon
1901f5207b7SJohn Levon if (!strcmp((*argvp)[i], "--show-checks"))
1911f5207b7SJohn Levon show_checks();
1921f5207b7SJohn Levon
1931f5207b7SJohn Levon if (!strncmp((*argvp)[i], "--project=", 10))
1941f5207b7SJohn Levon option_project_str = (*argvp)[i] + 10;
1951f5207b7SJohn Levon
1961f5207b7SJohn Levon if (!strncmp((*argvp)[i], "-p=", 3))
1971f5207b7SJohn Levon option_project_str = (*argvp)[i] + 3;
1981f5207b7SJohn Levon
1991f5207b7SJohn Levon if (!strncmp((*argvp)[i], "--db-file=", 10))
2001f5207b7SJohn Levon option_db_file = (*argvp)[i] + 10;
2011f5207b7SJohn Levon
2021f5207b7SJohn Levon if (!strncmp((*argvp)[i], "--data=", 7))
2031f5207b7SJohn Levon option_datadir_str = (*argvp)[i] + 7;
2041f5207b7SJohn Levon
2051f5207b7SJohn Levon if (!strncmp((*argvp)[i], "--debug=", 8))
2061f5207b7SJohn Levon option_debug_check = (*argvp)[i] + 8;
2071f5207b7SJohn Levon
2081f5207b7SJohn Levon if (strncmp((*argvp)[i], "--trace=", 8) == 0)
2091f5207b7SJohn Levon trace_variable = (*argvp)[i] + 8;
2101f5207b7SJohn Levon
2111f5207b7SJohn Levon if (strncmp((*argvp)[i], "--enable=", 9) == 0) {
2121f5207b7SJohn Levon enable_disable_checks((*argvp)[i] + 9, 1);
2131f5207b7SJohn Levon option_enable = 1;
2141f5207b7SJohn Levon }
2151f5207b7SJohn Levon
2161f5207b7SJohn Levon if (strncmp((*argvp)[i], "--disable=", 10) == 0) {
2171f5207b7SJohn Levon enable_disable_checks((*argvp)[i] + 10, 0);
2181f5207b7SJohn Levon option_enable = 1;
2191f5207b7SJohn Levon option_disable = 1;
2201f5207b7SJohn Levon }
2211f5207b7SJohn Levon
2227ae7577cSJohn Levon if (!strncmp((*argvp)[i], "--timeout=", 10)) {
2237ae7577cSJohn Levon if (sscanf((*argvp)[i] + 10, "%d",
2247ae7577cSJohn Levon &option_timeout) != 1)
2257ae7577cSJohn Levon sm_fatal("invalid option %s", (*argvp)[i]);
2267ae7577cSJohn Levon }
2277ae7577cSJohn Levon
2281f5207b7SJohn Levon OPTION(fatal_checks);
2291f5207b7SJohn Levon OPTION(spammy);
2301f5207b7SJohn Levon OPTION(info);
2311f5207b7SJohn Levon OPTION(debug);
2321f5207b7SJohn Levon OPTION(assume_loops);
2331f5207b7SJohn Levon OPTION(no_data);
2341f5207b7SJohn Levon OPTION(two_passes);
2351f5207b7SJohn Levon OPTION(full_path);
2361f5207b7SJohn Levon OPTION(call_tree);
2371f5207b7SJohn Levon OPTION(file_output);
2381f5207b7SJohn Levon OPTION(time);
2391f5207b7SJohn Levon OPTION(mem);
2401f5207b7SJohn Levon OPTION(no_db);
2411f5207b7SJohn Levon OPTION(succeed);
2421f5207b7SJohn Levon }
2431f5207b7SJohn Levon
2441f5207b7SJohn Levon if (strcmp(option_project_str, "smatch_generic") != 0)
2451f5207b7SJohn Levon option_project = PROJ_UNKNOWN;
2461f5207b7SJohn Levon
2471f5207b7SJohn Levon if (strcmp(option_project_str, "kernel") == 0)
2481f5207b7SJohn Levon option_project = PROJ_KERNEL;
2491f5207b7SJohn Levon else if (strcmp(option_project_str, "wine") == 0)
2501f5207b7SJohn Levon option_project = PROJ_WINE;
2511f5207b7SJohn Levon else if (strcmp(option_project_str, "illumos_kernel") == 0)
2521f5207b7SJohn Levon option_project = PROJ_ILLUMOS_KERNEL;
2531f5207b7SJohn Levon else if (strcmp(option_project_str, "illumos_user") == 0)
2541f5207b7SJohn Levon option_project = PROJ_ILLUMOS_USER;
2551f5207b7SJohn Levon }
2561f5207b7SJohn Levon
read_bin_filename(void)2571f5207b7SJohn Levon static char *read_bin_filename(void)
2581f5207b7SJohn Levon {
2591f5207b7SJohn Levon char filename[PATH_MAX] = {};
2601f5207b7SJohn Levon char proc[PATH_MAX];
2611f5207b7SJohn Levon
2621f5207b7SJohn Levon pid_t pid = getpid();
2631f5207b7SJohn Levon sprintf(proc, "/proc/%d/exe", pid);
2641f5207b7SJohn Levon if (readlink(proc, filename, PATH_MAX) < 0)
2651f5207b7SJohn Levon return NULL;
2661f5207b7SJohn Levon return alloc_string(filename);
2671f5207b7SJohn Levon }
2681f5207b7SJohn Levon
get_bin_dir(char * arg0)2691f5207b7SJohn Levon static char *get_bin_dir(char *arg0)
2701f5207b7SJohn Levon {
2711f5207b7SJohn Levon char *orig;
2721f5207b7SJohn Levon
2731f5207b7SJohn Levon orig = read_bin_filename();
2741f5207b7SJohn Levon if (!orig)
2751f5207b7SJohn Levon orig = alloc_string(arg0);
2761f5207b7SJohn Levon return dirname(orig);
2771f5207b7SJohn Levon }
2781f5207b7SJohn Levon
get_data_dir(char * arg0)2791f5207b7SJohn Levon static char *get_data_dir(char *arg0)
2801f5207b7SJohn Levon {
2811f5207b7SJohn Levon char buf[256];
2821f5207b7SJohn Levon char *dir;
2831f5207b7SJohn Levon
2841f5207b7SJohn Levon if (option_no_data)
2851f5207b7SJohn Levon return NULL;
2861f5207b7SJohn Levon
2871f5207b7SJohn Levon if (option_datadir_str) {
2881f5207b7SJohn Levon if (access(option_datadir_str, R_OK))
2891f5207b7SJohn Levon sm_warning("%s is not accessible -- ignored.",
2901f5207b7SJohn Levon option_datadir_str);
2911f5207b7SJohn Levon else
2921f5207b7SJohn Levon return alloc_string(option_datadir_str);
2931f5207b7SJohn Levon }
2941f5207b7SJohn Levon
2951f5207b7SJohn Levon strncpy(buf, "smatch_data/", sizeof(buf));
2961f5207b7SJohn Levon dir = alloc_string(buf);
2971f5207b7SJohn Levon if (!access(dir, R_OK))
2981f5207b7SJohn Levon return dir;
2991f5207b7SJohn Levon
3001f5207b7SJohn Levon strncpy(buf, bin_dir, 254);
3011f5207b7SJohn Levon
3021f5207b7SJohn Levon buf[255] = '\0';
3031f5207b7SJohn Levon strncat(buf, "/smatch_data/", 254 - strlen(buf));
3041f5207b7SJohn Levon dir = alloc_string(buf);
3051f5207b7SJohn Levon if (!access(dir, R_OK))
3061f5207b7SJohn Levon return dir;
3071f5207b7SJohn Levon free_string(dir);
3081f5207b7SJohn Levon snprintf(buf, 254, "%s/smatch_data/", SMATCHDATADIR);
3091f5207b7SJohn Levon dir = alloc_string(buf);
3101f5207b7SJohn Levon if (!access(dir, R_OK))
3111f5207b7SJohn Levon return dir;
3121f5207b7SJohn Levon
3131f5207b7SJohn Levon sm_warning("%s is not accessible.", dir);
3141f5207b7SJohn Levon sm_warning("Use --no-data or --data to suppress this message.");
3151f5207b7SJohn Levon return NULL;
3161f5207b7SJohn Levon }
3171f5207b7SJohn Levon
main(int argc,char ** argv)3181f5207b7SJohn Levon int main(int argc, char **argv)
3191f5207b7SJohn Levon {
320efe51d0cSJohn Levon struct string_list *filelist = NULL;
3211f5207b7SJohn Levon int i;
3221f5207b7SJohn Levon reg_func func;
3231f5207b7SJohn Levon
3241f5207b7SJohn Levon sm_outfd = stdout;
3251f5207b7SJohn Levon sql_outfd = stdout;
3261f5207b7SJohn Levon caller_info_fd = stdout;
3271f5207b7SJohn Levon
3281f5207b7SJohn Levon progname = argv[0];
3291f5207b7SJohn Levon
3301f5207b7SJohn Levon parse_args(&argc, &argv);
3311f5207b7SJohn Levon
3321f5207b7SJohn Levon if (argc < 2)
3331f5207b7SJohn Levon help();
3341f5207b7SJohn Levon
3351f5207b7SJohn Levon /* this gets set back to zero when we parse the first function */
3361f5207b7SJohn Levon final_pass = 1;
3371f5207b7SJohn Levon
3381f5207b7SJohn Levon bin_dir = get_bin_dir(argv[0]);
3391f5207b7SJohn Levon data_dir = get_data_dir(argv[0]);
3401f5207b7SJohn Levon
3411f5207b7SJohn Levon allocate_hook_memory();
342efe51d0cSJohn Levon allocate_dynamic_states_array(num_checks);
343*6523a3aaSJohn Levon allocate_tracker_array(num_checks);
3441f5207b7SJohn Levon create_function_hook_hash();
3451f5207b7SJohn Levon open_smatch_db(option_db_file);
346efe51d0cSJohn Levon sparse_initialize(argc, argv, &filelist);
347efe51d0cSJohn Levon alloc_valid_ptr_rl();
348efe51d0cSJohn Levon
3491f5207b7SJohn Levon for (i = 1; i < ARRAY_SIZE(reg_funcs); i++) {
3501f5207b7SJohn Levon func = reg_funcs[i].func;
3511f5207b7SJohn Levon /* The script IDs start at 1.
3521f5207b7SJohn Levon 0 is used for internal stuff. */
3531f5207b7SJohn Levon if (!option_enable || reg_funcs[i].enabled == 1 ||
3541f5207b7SJohn Levon (option_disable && reg_funcs[i].enabled != -1) ||
3551f5207b7SJohn Levon strncmp(reg_funcs[i].name, "register_", 9) == 0)
3561f5207b7SJohn Levon func(i);
3571f5207b7SJohn Levon }
3581f5207b7SJohn Levon
359efe51d0cSJohn Levon smatch(filelist);
3601f5207b7SJohn Levon free_string(data_dir);
3611f5207b7SJohn Levon
3621f5207b7SJohn Levon if (option_succeed)
3631f5207b7SJohn Levon return 0;
3641f5207b7SJohn Levon if (sm_nr_errors > 0)
3651f5207b7SJohn Levon return 1;
3661f5207b7SJohn Levon if (sm_nr_checks > 0 && option_fatal_checks)
3671f5207b7SJohn Levon return 1;
3681f5207b7SJohn Levon return 0;
3691f5207b7SJohn Levon }
370