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
modification_hooks: remove unused indirect modification hooks
2016-12-12
Rasmus Villemo
e
s
c
heck_kernel
_
p
r
intf
.
c:
%pj ended u
p
be
i
ng %pG
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmu
s
Vill
e
moes
check
_
kernel_printf
.
c:
h
a
n
dle n
e
w d
e
fi
n
ition of
K
ERN
_
CONT
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmu
s
Villem
o
es
ch
e
c
k
_
kernel_prin
t
f: c
h
e
ck that %pg gets a block_device
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vi
l
lemoes
check_ke
r
nel
_
printf
.
c
:
support fut
u
r
e
%pg
X
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vil
l
emoes
check_kernel_printf
.
c
: c
h
eck for red
u
ndant or
confusi
n
g
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ras
m
us Villemoes
check_kernel_p
r
in
t
f
.
c: actually allow printk leve
l
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
a
smus Villemoes
ch
e
ck_kernel_printf
.
c
:
support %pC
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ras
m
us Villemoes
c
h
eck_kernel_pr
i
ntf
.
c:
r
e
m
ove some
%pIS false
positives
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus Ville
m
oes
ch
e
ck_kernel
_
pri
n
tf
.
c
: update struct printf
_
spec to
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus
V
il
l
emoes
check_kernel_printf
.
c: check
f
or
s
igned c
h
ar versus
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
che
c
k_kernel_printf
.
c: reo
r
der flag def
i
n
es
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villem
o
es
sparse: do
n
'
t warn about unknow
n
a
t
tributes
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus
Villemoes
eliminate some cat
s
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
V
illemo
e
s
p
r
efix sma
t
ch generate
d
file
s
by smatch_
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
test_kernel
.
sh: cl
e
an up
.
c
.
smatch files after cat
commit
|
commitdiff
|
tree
2015-06-26
Rasmu
s
Villemo
e
s
D
o
cumen
t
ation: make me less confused
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
t
ra
c
e_params
.
pl: fi
x
hash/h
a
sh refe
r
e
nce
c
onfu
s
ion
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
u
s
Villemoes
c
heck_kernel_p
r
intf
.
c:
A
llow const
char[
]
format
a
rgume
n
ts
commit
|
commitdiff
|
tree
2015-02-12
Rasmus V
i
llem
o
es
c
heck_kernel_printf
.
c: H
a
ndle
'fmt ? : "default"
'
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
u
s
Vi
l
lemoes
check_kern
e
l_
p
rintf
.
c: Si
m
plify r
e
cursi
v
e calling
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Villemoes
check_kern
e
l_printf
.
c
:
Fix brain
o
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
u
s
Vi
l
lemo
e
s
check_kernel_printf
.
c:
Strip pare
n
th
e
s
e
s
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Villemoes
ch
e
ck_ke
r
n
el
_
printf
.
c:
Handle con
d
itionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch: Check the
k
ernel's %p
format extensions
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Vil
l
emoe
s
smatch: A
d
d --
e
nable option
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemoes
smatch:
Imp
l
ement --show-ch
e
cks
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Villemoes
smatch:
A
dd
d
um
m
y
element to reg_
f
uncs
commit
|
commitdiff
|
tree