smatch

smatch copied to clipboard

Would you like to add more error handling for return values from functions like the following? * [fclose](https://pubs.opengroup.org/onlinepubs/9799919799/functions/fclose.html "Close a stream.") ⇒ [show_tags](https://github.com/error27/smatch/blob/2fb2b9093c5d001c7fd3ea58fe533df880dd2c44/ctags.c#L101) * [malloc](https://pubs.opengroup.org/onlinepubs/9799919799/functions/malloc.html "Memory allocation") ⇒ [register_state_assigned](https://github.com/error27/smatch/blob/2fb2b9093c5d001c7fd3ea58fe533df880dd2c44/smatch_state_assigned.c#L102) *...

elfring

I would like to point out that identifiers like “[`__in_fake_assign`](https://github.com/error27/smatch/blob/2fb2b9093c5d001c7fd3ea58fe533df880dd2c44/smatch.h#L699 "Update candidate")” and “[`__print_cur_stree`](https://github.com/error27/smatch/blob/2fb2b9093c5d001c7fd3ea58fe533df880dd2c44/smatch_states.c#L72-L75 "Another update candidate")” [do not fit](https://www.securecoding.cert.org/confluence/display/c/DCL37-C.+Do+not+declare+or+define+a+reserved+identifier "Do not declare an identifier which is reserved for the...

elfring

Contributions to make it easier to use smatch with generic projects

2

Hi there, I was very interested to read about smatch on LWN and as I work in HPC I was curious to trial it on Slurm, the batch scheduler that...

chrissamuel

When running `build_generic_data.sh` I was getting errors like: ``` readline() on closed filehandle FILE at /path/to/smatch/smatch_scripts/../smatch_data/db/init_constraints.pl line 54. readline() on closed filehandle FILE at /path/to/smatch/smatch_scripts/../smatch_data/db/init_constraints.pl line 61. readline() on closed...

chrissamuel