?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / build_smatch_db.sh
blobce171d8c5b8ba876b1054b55fa4b23c12a279c55
1 #!/bin/bash
2
3 ../smatch --info $* > warns.txt
4 ../smatch_data/db/create_db.sh warns.txt > /dev/null 2>&1
5
Static analysis for C