repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
comparison: unsigned can not be less than zero
2015-02-12
R
a
s
mus Villemo
e
s
check_kernel_prin
t
f
.
c: Allow
co
n
s
t
c
har[] format argum
e
nts
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kernel_printf
.
c: Ha
n
dle 'f
m
t ? :
"de
f
ault"'
commit
|
commitdiff
|
tree
2015-02-12
Rasm
u
s V
i
llem
o
e
s
check_kernel_printf
.
c: Simplify re
c
ur
s
ive
c
alling
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
c
h
eck_kernel
_
pri
n
tf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
l
e
moes
c
h
eck_kerne
l
_prin
t
f
.
c: Strip parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illemoes
check_kernel_printf
.
c: Handle conditi
o
nals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch
:
Check the kernel's %p format ext
e
ns
i
on
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
i
l
lemoes
smatch: Add
-
-
e
nable option
commit
|
commitdiff
|
tree
2015-02-11
R
asmus
V
i
l
l
e
moes
s
m
atch: Implement --show-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Villemoes
sma
t
ch: Add
dumm
y
element to r
e
g_fu
n
c
s
commit
|
commitdiff
|
tree