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
type_val: record fewer "unknown" assignments
2017-10-30
Rasmus Villemoes
c
h
eck_ker
n
el_printf
.
c: warn abou
t
"%lx",
(
l
ong)
p
t
r
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
Ra
s
m
us Vill
e
moes
sma
t
ch_type
.
c: comparison
e
xpre
s
si
o
ns always have type
int
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
Ra
s
mus Villemoes
smatch_typ
e
.
c: fix type of p
o
inter diff
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Vi
l
lemoes
check_k
e
rnel
_
prin
t
f
.
c
:
chec
k
%pOF
a
r
g
ument is
s
truct
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmu
s
Villemoes
c
heck_
k
ernel_printf
.
c:
r
emove cop
y
-
p
a
stoed var
i
able
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Ra
s
mus Vil
l
e
moes
check_kernel_
p
rintf
.
c: prepare for more tests for integer
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus
V
i
l
lemoes
check
_
kernel_printf
.
c: us
e
ge
t
_real_base_type
in typede
f
_lookup
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus
Villemoes
check_kernel
_
p
rintf
.
c
: %pj ended up being %pG
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasm
u
s Ville
m
o
e
s
c
h
eck_ker
n
el_printf
.
c: hand
l
e new definition of KERN_CONT
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
check_ke
r
nel
_
printf:
check
t
ha
t
%pg
g
et
s
a block_device
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus V
i
llemoes
check_ke
r
nel_printf
.
c: support
future %pg
X
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus Villemoe
s
check_kernel_printf
.
c: che
c
k for redundant or confusing
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
as
m
us Vi
l
l
emoes
check_kernel_printf
.
c:
a
ctuall
y
all
o
w
pr
i
n
t
k level
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vill
e
moes
check
_
kernel_printf
.
c: suppo
r
t %pC
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
asmus
Villemoes
c
h
e
c
k_kernel_pr
i
ntf
.
c
:
re
m
ov
e
some %pIS false
positives
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmu
s
Vill
e
moes
check_kernel_
p
r
intf
.
c: update struct printf_spec to
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villem
o
es
check_kernel_printf
.
c:
check fo
r
signed char
v
e
r
sus
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Ville
m
oes
check_kernel_
p
rint
f
.
c
:
reorder
f
lag defines
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vill
e
m
oes
sparse: don't warn about unknown
a
tt
r
ibut
e
s
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Vi
l
lemo
e
s
el
i
mi
n
ate some c
a
ts
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s
Ville
m
oes
prefi
x
smatch gen
e
rated files by sma
t
ch_
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vi
l
lemoes
test_
k
ernel
.
sh: clean
up
.
c
.
smatc
h
files after ca
t
commit
|
commitdiff
|
tree
2015-06-26
Rasmus V
i
llemoes
Docu
m
entation: make me less c
o
nfu
s
e
d
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
trace_params
.
pl: fix hash/hash
r
eference confu
s
ion
commit
|
commitdiff
|
tree
2015-02-12
R
a
sm
u
s Vi
l
lemoes
c
he
c
k
_
ke
r
nel_pr
i
n
tf
.
c: Allow
c
onst char[
]
f
ormat
arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Vil
l
emoes
c
h
eck_ke
r
nel_printf
.
c: Ha
n
dl
e
'
f
m
t
? : "d
e
f
a
ult"
'
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Vil
l
emoes
ch
e
c
k
_kernel_pr
i
ntf
.
c:
S
implify
recursi
v
e calling
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoe
s
c
h
eck_kernel
_
p
rintf
.
c:
F
ix brain
o
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Villemo
e
s
c
heck_kernel_
p
rintf
.
c: St
r
ip parentheses
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus
V
illemoes
check_ker
n
el_printf
.
c: Han
d
l
e
c
onditional
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch: Check th
e
kern
e
l
'
s %p format extensions
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoe
s
smatc
h
: Add --enable opti
o
n
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vill
e
moe
s
sma
t
ch: I
m
plem
e
nt --show-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoe
s
smatch:
Ad
d
dummy element to re
g
_fu
n
cs
commit
|
commitdiff
|
tree