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	19358dfa6c16dc58a215c0a5fbc815816c8a2400

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	644	kchecker	blob \| blame \| history \| raw

Static analysis for C