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
container_of: handle function calls like foo->bar(foo, a, b, c);
2017-10-30
Rasmus Villemoes
c
h
e
c
k
_
kernel_printf
.
c: war
n
ab
o
ut
"
%lx", (l
o
ng)ptr
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
R
asmus Villemoes
s
ma
t
ch_type
.
c: comparison
expressions
always have type int
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villem
o
es
smatch_type
.
c: fix type of p
o
inter
diff
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Ville
m
oe
s
check_ker
n
e
l
_
printf
.
c
: ch
e
ck %p
O
F
argu
m
ent is
struct
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmu
s
Vil
l
emoe
s
check_kerne
l
_printf
.
c: r
e
mo
v
e copy-pastoed va
r
iable
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
R
asm
u
s Vil
l
emoes
check_kernel_
p
rintf
.
c:
prepare
f
o
r more tests f
o
r integer
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Villemo
e
s
c
h
eck_kernel_printf
.
c: use
get_real_base_type in typede
f
_lookup
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
R
a
smus Vi
l
lem
o
es
ch
e
c
k_kernel
_
printf
.
c: %pj ended up bei
n
g
%
p
G
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus
V
illemoes
check_kerne
l
_pr
i
ntf
.
c:
handle new
def
i
n
i
ti
o
n of KE
R
N_C
O
NT
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
R
a
s
mus
V
ille
m
oes
check_kernel_printf
:
check that %pg gets a block_device
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vil
l
emoe
s
check_kernel_printf
.
c: support
future %p
g
X
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
asm
u
s V
i
l
l
e
moes
check_kerne
l
_pr
i
ntf
.
c: check for r
e
d
undant or confusing
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vi
l
le
m
oes
che
c
k_kernel
_
pri
n
tf
.
c: actually a
l
low printk level
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus
Villem
o
es
check_ke
r
nel_printf
.
c: su
p
port %pC
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
c
heck_kernel_
p
rintf
.
c: remov
e
some %p
I
S false positi
v
e
s
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus V
i
l
l
emo
e
s
che
c
k_kern
e
l_printf
.
c: update struc
t
printf_spec t
o
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
check_k
e
rn
e
l_printf
.
c: che
c
k for signed cha
r
v
ersus
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Ville
m
oes
c
h
eck_kernel_
p
rint
f
.
c:
r
eorder
flag defines
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
a
smus V
i
llemoes
spa
r
s
e
: don'
t
warn about unk
n
own attrib
u
t
es
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Villem
o
e
s
e
lim
i
nate some cats
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
p
r
ef
i
x
s
m
a
t
c
h generat
e
d
fi
l
es by smatch_
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
V
il
l
emoes
t
e
st_kernel
.
sh:
clean up
.
c
.
smatch files after
c
at
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
D
o
cume
n
ta
t
ion
:
make me less
confused
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vi
l
lemoes
tr
a
ce_
p
arams
.
pl
:
fix hash/hash referen
c
e confusion
commit
|
commitdiff
|
tree
2015-02-12
R
a
s
mus
Vill
e
moes
ch
e
ck_kernel_printf
.
c: Allow
const cha
r
[] fo
r
m
at arguments
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Vil
l
emo
e
s
check_kerne
l
_
p
r
intf
.
c: Han
d
le 'fmt ? : "default"'
commit
|
commitdiff
|
tree
2015-02-12
R
a
smus V
i
lle
m
oes
check_kernel_printf
.
c: Si
m
plify re
c
u
r
sive ca
l
ling
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
c
h
ec
k
_ke
r
ne
l
_
printf
.
c: Fix brai
n
o
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
chec
k
_kerne
l
_printf
.
c: Strip pare
n
theses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
ch
e
c
k
_kernel
_
printf
.
c: Ha
n
dle
co
n
di
t
i
o
n
als
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
Vill
e
m
o
e
s
smatc
h
: Check
t
he kernel's %p for
m
at extensions
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
lemoes
smatch:
A
d
d
-
-
enable
o
p
t
i
on
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villem
o
es
smatch: Implement --s
h
ow-checks
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemo
e
s
sm
a
tch: A
d
d
d
u
mmy element to reg_funcs
commit
|
commitdiff
|
tree