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
function_hooks: fake an assignment when functions return "0-s32max[$0->bar]"
2017-10-30
Rasmu
s
Villemoes
check_
k
ernel_printf
.
c: warn about
"%lx", (long)pt
r
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
R
a
smus
V
i
llemoes
smatch_t
y
pe
.
c: comparison expre
s
sions always ha
v
e type int
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
R
a
s
m
us Ville
m
o
e
s
smat
c
h_type
.
c
:
fix type
of pointer diff
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Vi
l
le
m
oes
check_kernel_printf
.
c: chec
k
%pOF argument
is struct
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
R
asmus Villemoes
check_ke
r
ne
l
_printf
.
c
:
r
emove copy-pa
s
toed variable
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Villemoe
s
chec
k
_
kern
e
l_print
f
.
c: pr
e
pare f
o
r more tests for int
e
ger
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus V
i
llem
o
es
c
h
eck_kernel_printf
.
c
: u
s
e get_real_base_type
i
n typedef_lookup
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
che
c
k_kernel_prin
t
f
.
c
: %p
j
ended up being %pG
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus
V
illemoe
s
ch
e
ck_kernel_printf
.
c:
h
a
ndle new d
e
finitio
n
of KERN_CONT
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Ras
m
us Vill
e
moes
check
_
kern
e
l
_printf:
c
hec
k
tha
t
%p
g
gets a block_dev
i
ce
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus V
i
llemoes
c
heck_k
e
rnel_print
f
.
c: support fu
t
u
r
e %pgX
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
a
sm
u
s Villemoes
che
c
k
_
kernel_pri
n
tf
.
c:
ch
e
ck for redund
a
nt or con
f
u
s
i
n
g
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus
Villemoes
c
h
ec
k
_
ker
n
el_pri
n
tf
.
c
: actually allow
p
rintk level
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vi
l
lemoes
check_kernel_printf
.
c
: support %pC
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoe
s
check_ke
r
n
e
l_printf
.
c: remo
v
e
some %pIS false po
s
itives
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
a
smus Villemoes
check_kern
e
l
_
p
r
intf
.
c: updat
e
s
t
r
u
ct
printf_spec to
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoe
s
check_
k
er
n
el_printf
.
c
:
ch
e
ck for s
i
gned ch
a
r versus
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus V
i
llemoe
s
c
h
eck_k
e
rnel_printf
.
c: reorder
f
l
ag defines
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vil
l
emoes
s
p
arse: don't
warn about unknown attr
i
butes
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-06-29
Ras
m
us
V
ill
e
moes
e
l
iminate some cats
commit
|
commitdiff
|
tree
2015-06-26
Rasmus V
i
llemoes
pref
i
x smat
c
h
g
en
e
rated files
b
y smatch_
commit
|
commitdiff
|
tree
2015-06-26
R
a
smu
s
Villemoes
test_kerne
l
.
sh:
cl
e
an up
.
c
.
smatch
files afte
r
cat
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
Villemoe
s
Documentati
o
n:
make me less co
n
f
u
s
ed
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
trac
e
_p
a
rams
.
pl: fix hash/hash referen
c
e c
o
nfusion
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Villemoes
check_kernel_printf
.
c: Allow const char[] format argumen
t
s
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Vil
l
e
m
oes
check
_
ke
r
n
e
l_
p
ri
n
tf
.
c
: Handle 'fmt ? : "default"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
chec
k
_
k
er
n
e
l_printf
.
c: Simp
l
ify
r
ecursive calling
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
l
em
o
es
check
_
k
ernel_printf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_kernel_
p
rintf
.
c: Strip
parent
h
e
s
es
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
i
llemoes
check_kernel_printf
.
c: Handle
condi
t
ion
a
l
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smat
c
h:
C
hec
k
t
he ker
n
el'
s
%p format extensions
commit
|
commitdiff
|
tree
2015-02-11
R
a
smu
s
Villemoes
smatch: Add --e
n
able option
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemoes
sm
a
t
ch: Im
p
leme
n
t
--show-check
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villem
o
es
smatc
h
: Add
d
u
mmy
e
lemen
t
to
reg_f
u
ncs
commit
|
commitdiff
|
tree