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
check_free_strict: New stricter cross function use after free check
2017-10-30
R
asm
u
s
Vi
l
lemo
e
s
c
h
eck_kernel_printf
.
c: warn about "%lx", (long)pt
r
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
Ras
m
us Villemoes
smatc
h
_type
.
c
: comparison expression
s
always have
t
y
p
e int
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
R
asmus Villemoes
smatch_type
.
c: fix type of pointe
r
diff
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Vill
e
moes
c
heck_kern
e
l_printf
.
c: check %pOF
a
rg
u
men
t
is struct
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus V
i
llemoes
chec
k
_ker
n
el_printf
.
c:
r
emove copy-pastoed
v
ar
i
a
b
le
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Vil
l
e
moes
check_kernel_printf
.
c: prepare for more
t
ests fo
r
integer
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Vi
l
lemoes
check_ker
n
el_prin
t
f
.
c:
use get
_
rea
l
_base_type in t
y
pedef_l
o
oku
p
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Ras
m
us Vill
e
moes
check_kerne
l
_pr
i
ntf
.
c: %pj en
d
ed
u
p being
%
pG
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
c
h
eck_kernel_print
f
.
c
:
h
a
nd
l
e
ne
w
definition of KERN_CONT
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Vil
l
emoes
c
h
eck
_
kernel
_
printf: check t
h
a
t
%pg gets a block_dev
i
c
e
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
a
smus
V
illemoes
check_kernel
_
printf
.
c:
s
u
pport f
u
tu
r
e %pgX
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
check_kernel
_
printf
.
c
: che
c
k for redun
d
ant
o
r
confusing
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus Vill
e
moes
check
_
kernel_printf
.
c: actually allow printk leve
l
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus
Ville
m
oes
check_kernel_printf
.
c: support %pC
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus
Villemoes
ch
e
ck_kernel_pr
i
ntf
.
c:
remove some
%
p
I
S f
a
lse posit
i
ves
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
a
sm
u
s Villemoes
c
h
eck_kernel_
p
rintf
.
c:
u
p
date struct printf_spec
to
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villem
o
es
check_ker
n
el_
p
ri
n
tf
.
c:
check for signed c
h
ar versus
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus
V
i
l
le
m
oes
che
c
k_kernel
_
printf
.
c: reorder fla
g
defines
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus Vi
l
l
emoes
s
p
a
r
s
e
:
do
n
't
warn
about
unknown attrib
u
t
es
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Villemoe
s
elim
i
nate
s
o
me cats
commit
|
commitdiff
|
tree
2015-06-26
R
a
smus Villemoes
pref
i
x s
m
a
tch generated f
i
le
s
by sma
t
ch_
commit
|
commitdiff
|
tree
2015-06-26
Rasmu
s
V
il
l
emoes
test
_
kernel
.
sh: clean up
.
c
.
smatc
h
files after cat
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vill
e
moe
s
Document
a
t
ion: make me less conf
u
sed
commit
|
commitdiff
|
tree
2015-06-26
Ra
s
mus Villemoes
tra
c
e_params
.
pl: fix hash/hash reference
confusion
commit
|
commitdiff
|
tree
2015-02-12
Rasmu
s
Villemoes
chec
k
_
k
e
r
n
el_printf
.
c: Allow
const char
[
] fo
r
ma
t
a
rguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Ville
m
oes
check_kernel_prin
t
f
.
c: Hand
l
e 'fmt ? : "default"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kernel_prin
t
f
.
c:
S
implify recursive
c
alling
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Ville
m
o
e
s
c
h
eck_kernel_printf
.
c
:
Fix bra
i
no
commit
|
commitdiff
|
tree
2015-02-11
R
asm
u
s
Vill
e
m
oes
che
c
k_kernel_pri
n
tf
.
c: Strip
parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_kernel_p
r
intf
.
c: Handle conditio
n
als
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Villem
o
es
sma
t
ch:
C
heck
the kernel's %p fo
r
mat extensions
commit
|
commitdiff
|
tree
2015-02-11
Rasmus V
i
llemoes
sma
t
ch: Add --en
a
ble option
commit
|
commitdiff
|
tree
2015-02-11
R
asm
u
s Villemoes
sma
t
ch:
I
mplement --sh
o
w-chec
k
s
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Vill
e
moes
smatch
:
Add du
m
my element to reg_funcs
commit
|
commitdiff
|
tree