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
db/fixup_kernel.sh: fix clear_user() handling
2017-10-30
Rasmus Villemoes
che
c
k_ke
r
nel_p
r
i
ntf
.
c: warn about "%lx",
(
long)ptr
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus
V
i
llemoes
sm
a
tch_type
.
c: compa
r
iso
n
expressions always have
t
ype
i
nt
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
smatch_
t
ype
.
c: fix type of
pointer d
i
f
f
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmu
s
Ville
m
o
e
s
check_kernel_printf
.
c
: check %pOF argum
e
nt is stru
c
t
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
R
a
smus
Villemoes
check_kernel_prin
t
f
.
c:
r
em
o
ve
c
opy-
p
astoe
d
va
r
i
able
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus
Villemoes
check_kernel_printf
.
c: prepare fo
r
more
t
ests for integer
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Villemoe
s
check_kernel_printf
.
c: use get_real_base_type in typed
e
f_loo
k
up
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Ville
m
oes
check_kernel_pri
n
t
f
.
c: %pj ended up being %pG
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Vi
l
lemo
e
s
ch
e
ck_kernel_pri
n
t
f
.
c: handle new definition of KE
R
N_CO
N
T
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
check_ker
n
el_prin
t
f
:
che
c
k that %pg
gets a block_device
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus Vill
e
moe
s
ch
e
ck_kerne
l
_
p
rintf
.
c: sup
p
ort futu
r
e %pgX
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
a
s
mus Villemo
e
s
check_k
e
rnel_printf
.
c:
c
h
eck for redundant or confusing
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasm
u
s Villemoes
check_kernel_printf
.
c: actually allow
p
rintk level
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasm
u
s Villemoes
check
_
kernel_printf
.
c: support %pC
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ras
m
u
s
Villemoes
check_kerne
l
_prin
t
f
.
c: remove some %
p
IS false positives
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus Villemoes
c
h
eck_kern
e
l_
p
ri
n
t
f
.
c: u
p
date s
t
ruct
printf_spe
c
to
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasm
u
s Vi
l
lemoes
c
hec
k
_kernel_printf
.
c: check for signed char
v
ersus
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
a
sm
u
s Villemoes
check_kernel
_
pr
i
ntf
.
c: reorder f
l
ag de
f
i
n
e
s
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ras
m
us
V
illemoes
sparse:
d
o
n't warn abo
u
t unknown attributes
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
R
a
s
mus Villemoes
prefix smatch ge
n
erated fi
l
e
s
by smatch_
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
test_kernel
.
sh: cl
e
an up
.
c
.
s
m
atch
files after cat
commit
|
commitdiff
|
tree
2015-06-26
R
asmus Vi
l
l
e
m
o
es
Docume
n
tation: ma
k
e me less
confused
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
Villemoes
trace
_
p
a
ram
s
.
pl: fix hash/hash reference c
o
nfusion
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kernel_pri
n
tf
.
c: Allow
const char[]
format argu
m
e
n
ts
commit
|
commitdiff
|
tree
2015-02-12
Ra
s
m
us Vil
l
emoes
check_kerne
l
_
print
f
.
c: H
a
ndle 'fm
t
?
: "d
e
fa
u
lt"'
commit
|
commitdiff
|
tree
2015-02-12
Rasm
u
s Vi
l
lemoes
check_kernel_pr
i
ntf
.
c: Si
m
p
l
i
f
y
recursive calling
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villem
o
e
s
che
c
k_
k
ernel
_
printf
.
c: Fi
x
braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Ville
m
oes
c
heck_
k
ernel_pri
n
tf
.
c:
Strip pare
n
t
h
eses
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Villemoes
check_
k
ernel_prin
t
f
.
c
: Handle
c
o
nditi
o
n
a
ls
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us Villem
o
es
smatch: Che
c
k the
kernel's %p for
m
at extensio
n
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
s
ma
t
ch: Add
--enab
l
e optio
n
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch: Implement
-
-show-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villem
o
e
s
smat
c
h
:
A
dd dummy ele
m
ent t
o
reg_funcs
commit
|
commitdiff
|
tree