Public Git Hosting - smatch.git/tree - smatch_scripts/

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
history | HEAD | snapshot (tar.gz zip)

[smatch.git] / smatch_scripts /

tree	42c9597d4815f5040a6cb00e1d81cba945486bfc

drwxr-xr-x		..
-rwxr-xr-x	407	find_null_params.sh	blob \| blame \| history \| raw
-rwxr-xr-x	650	gen_allocation_list.sh	blob \| blame \| history \| raw
-rwxr-xr-x	642	gen_err_ptr_list.sh	blob \| blame \| history \| raw
-rwxr-xr-x	579	gen_frees_list.sh	blob \| blame \| history \| raw
-rwxr-xr-x	589	gen_puts_list.sh	blob \| blame \| history \| raw
-rwxr-xr-x	631	kchecker	blob \| blame \| history \| raw

Static analysis for C