repo.or.cz
/
smatch
/
bkmgit.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
checking_for_null_instead_of_err_ptr: use smatch_kernel_err_ptr.c
[smatch/bkmgit.git]
/
validation
/
build_smatch_db.sh
blob
ce171d8c5b8ba876b1054b55fa4b23c12a279c55
1
#!/bin/bash
2
3
..
/
smatch
--info
$
* >
warns.txt
4
..
/
smatch_data
/
db
/
create_db.sh warns.txt
> /
dev
/
null
2
>&
1
5