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
assigned_expr: remove debug code
2017-10-30
Rasmus Villemoes
check_kernel_printf
.
c:
wa
r
n
a
bout "%lx", (l
o
ng)ptr
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
s
match_ty
p
e
.
c: com
p
arison expres
s
ions alway
s
have
type int
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Vill
e
moes
s
match_type
.
c
:
fix type of
p
oint
e
r diff
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Ras
m
us
Vi
l
lemoes
check_ke
r
ne
l
_
pr
i
n
tf
.
c: check %pOF argument
i
s st
r
uct
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Villem
o
es
ch
e
ck_kernel_printf
.
c: remove cop
y
-pastoed v
a
riable
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Villemoes
check_kernel_printf
.
c
:
prepare for
m
o
re tests for inte
g
e
r
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
R
asmus Vi
l
lemoes
check
_
ker
n
el
_
printf
.
c:
u
se
ge
t
_
real
_
ba
s
e_type in
t
y
p
e
d
e
f_loo
k
up
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
R
asmus Villem
o
es
c
heck_ker
n
el
_
pr
i
ntf
.
c
:
%
pj ended up being %pG
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
check_kerne
l
_printf
.
c:
ha
n
dle new definition of KERN_CONT
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
R
asmus Villemoes
check_kernel_printf
:
c
h
eck that %pg get
s
a block_d
e
vice
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
c
h
eck_
k
e
r
nel_p
r
intf
.
c
: support future %pgX
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
check_kernel_printf
.
c:
c
heck for redundant or confus
i
ng
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ras
m
us
V
i
l
lemoes
check_kernel_pri
n
tf
.
c: actually
allow printk leve
l
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Ville
m
oes
check_k
e
r
nel_print
f
.
c
: sup
p
ort %pC
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
check_ke
r
n
e
l
_
printf
.
c: remove s
o
me %pIS false posi
t
ives
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus Villemoes
c
h
ec
k
_
k
ernel_printf
.
c
:
update
struct printf_spe
c
to
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
a
s
m
us
Villemoes
c
h
eck_k
e
r
nel_printf
.
c
:
ch
e
ck for signed char
versus
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villem
o
es
ch
e
ck_k
e
rnel_pri
n
t
f
.
c: reorder fla
g
de
f
in
e
s
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
s
p
arse: don't war
n
about unk
n
own attr
i
butes
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Villemoes
eliminate some cats
commit
|
commitdiff
|
tree
2015-06-26
Ra
s
m
u
s
Villemoes
prefix s
m
a
t
ch generated
files by smatch_
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
u
s Villemoes
te
s
t
_
kernel
.
sh: c
l
ea
n
up
.
c
.
smatch files after cat
commit
|
commitdiff
|
tree
2015-06-26
R
asmus Vil
l
emoes
Documentation: make me less
c
onfused
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
Villemo
e
s
trace_
p
a
rams
.
pl: fi
x
hash/h
a
sh reference conf
u
s
ion
commit
|
commitdiff
|
tree
2015-02-12
R
a
s
mu
s
V
i
llemoe
s
ch
e
ck_ker
n
e
l_pri
n
tf
.
c:
A
llow const
c
har[] format
a
rg
u
ments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
chec
k
_kerne
l
_printf
.
c: Han
d
le 'fmt ? : "defa
u
l
t"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus
V
i
llemo
e
s
ch
e
ck
_
kernel_printf
.
c: Simplify recursive
c
all
i
ng
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
Villemoes
check_ke
r
nel
_
printf
.
c: Fix
b
raino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
i
l
l
emoes
check_kern
e
l_prin
t
f
.
c: St
r
i
p
p
arentheses
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Villemoes
check_ker
n
el_prin
t
f
.
c:
H
andle condi
t
ionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
Ville
m
oes
s
m
atch: Check the kernel'
s
%p format ex
t
ensions
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Ville
m
oes
s
m
atch: Add --enable option
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
l
e
moes
sm
a
tch: Implement --show-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Vil
l
emoes
smatch: Add
d
ummy e
l
e
m
ent
to reg_
f
uncs
commit
|
commitdiff
|
tree