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
capped: fix handling of assignments
2017-10-30
Rasmus
Villemoes
chec
k
_ker
n
el_pri
n
tf
.
c: warn about "%
l
x", (long)ptr
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
smatch_type
.
c:
c
omparison ex
p
r
e
s
sions
always
h
a
ve
ty
p
e int
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus V
i
l
l
em
o
es
s
m
atch
_
type
.
c
: fix type of p
o
inter diff
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Vil
l
e
moes
check_kernel_printf
.
c
:
c
h
eck %pOF argument
i
s struct
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Vill
e
moes
c
he
c
k
_
k
ernel_printf
.
c: rem
o
ve
copy-pastoed
v
ariable
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasm
u
s Vil
l
emoes
c
h
e
c
k
_ke
r
nel
_
printf
.
c: prepa
r
e for more tests for integer
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
R
asmus V
i
llem
o
es
check_kern
e
l_printf
.
c: use get_real_ba
s
e_type i
n
typedef_lookup
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus
V
illemoes
check_kerne
l
_printf
.
c: %pj ende
d
up
b
eing
%
pG
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
check_
k
e
r
nel_print
f
.
c: han
d
le n
e
w definit
i
o
n of KERN_CONT
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villem
o
es
che
c
k_kernel_pri
n
tf: ch
e
ck t
h
a
t
%pg gets a block_
d
evi
c
e
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus Villemoes
che
c
k_kernel
_
print
f
.
c:
support futu
r
e %pgX
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus Villem
o
es
check
_
kernel_prin
t
f
.
c: che
c
k for redundant
or confusing
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
a
smus V
i
llemoes
check_kernel_pri
n
tf
.
c:
actually all
o
w printk lev
e
l
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
check_kernel_printf
.
c: supp
o
rt
%
pC
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
asmus Vi
l
lemoes
check_kernel_pri
n
tf
.
c: rem
o
v
e
some %pIS false p
o
sitiv
e
s
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus V
i
llemoes
check_kernel_printf
.
c: upda
t
e struc
t
pr
i
ntf_spec
to
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus
Villemoes
ch
e
ck_kernel_
p
r
i
ntf
.
c: che
c
k for signed char versus
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vill
e
moe
s
check_kernel_printf
.
c: reorder fl
a
g defines
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasm
u
s Ville
m
oes
sp
a
rse:
don
'
t warn ab
o
u
t
unknown
a
ttributes
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-06-29
R
a
smus
Ville
m
oes
eliminate some
c
ats
commit
|
commitdiff
|
tree
2015-06-26
Ra
s
mus Villemoes
prefix
smatch generat
e
d files
b
y smatch_
commit
|
commitdiff
|
tree
2015-06-26
Rasmu
s
Villemoe
s
test_kernel
.
sh: clean up
.
c
.
smat
c
h files a
f
t
e
r cat
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
Documentati
o
n: make me le
s
s confu
s
ed
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemo
e
s
trace_params
.
pl: fix ha
s
h/hash reference confus
i
on
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
c
h
e
ck_kernel_pr
i
ntf
.
c: Allow const
c
har[] for
m
a
t
arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
chec
k
_kernel_printf
.
c: Handle 'fmt ? : "defa
u
lt"'
commit
|
commitdiff
|
tree
2015-02-12
Ra
s
mus Villemoes
c
h
eck_kern
e
l_
p
rintf
.
c: Simp
l
ify recur
s
iv
e
calling
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illemoe
s
check_kernel_pri
n
tf
.
c: Fix
b
rain
o
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
Ville
m
oe
s
chec
k
_
kernel_
p
rint
f
.
c: S
t
ri
p
parenth
e
ses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
c
h
ec
k
_kernel_printf
.
c:
Handle c
o
ndit
i
onals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illemoes
smatch: Check the kernel's %p format e
x
te
n
sions
commit
|
commitdiff
|
tree
2015-02-11
Rasmus V
i
ll
e
moes
smatch: Add
-
-
e
n
a
b
le
o
p
t
i
on
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Villemoe
s
s
match: I
m
plement -
-
show-che
c
ks
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us Ville
m
oes
s
match: Add d
u
mm
y
ele
m
e
n
t
t
o
reg_f
u
ncs
commit
|
commitdiff
|
tree