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
expr_to_chunk_helper: set *sym when there is only one symbol
2017-10-30
R
a
smus Villem
o
es
che
c
k_kernel_pr
i
ntf
.
c: wa
r
n abou
t
"%lx"
,
(long)ptr
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
Rasmu
s
Villemoes
s
ma
t
ch_type
.
c: comparison expressions al
w
ays have
t
y
pe
int
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-30
Ra
s
mu
s
Villemoes
smatch_t
y
pe
.
c
:
fi
x
t
y
pe of pointer diff
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Ras
m
u
s
Vi
l
le
m
oes
check_k
e
rnel_
p
rintf
.
c: che
c
k %
p
OF ar
g
ument
i
s struct
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Vill
e
moes
check_kernel_printf
.
c: remove copy-pastoed
variable
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
R
a
s
mus
Villemoes
check_kerne
l
_p
r
intf
.
c: prepare f
o
r more tests for intege
r
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2017-10-26
R
a
s
mus V
i
llemoes
check_k
e
r
n
el_printf
.
c
: use get_real_
b
ase_type in typedef_lookup
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmu
s
Vill
e
mo
e
s
check_
k
ernel_pr
i
n
tf
.
c: %pj
e
nded up being %p
G
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Vil
l
e
moes
check_
k
e
r
n
e
l_pr
i
n
tf
.
c: ha
n
dle n
e
w
defin
i
tion of KERN_CONT
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
R
asmus Villemoes
che
c
k_ke
r
n
el_printf: check that %pg gets a block_
d
evice
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ras
m
us Villem
o
es
c
h
e
c
k_
k
er
n
el_printf
.
c: su
p
po
r
t
future %pgX
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vill
e
moes
check_k
e
rn
e
l_p
r
intf
.
c:
c
heck
for red
u
ndant
o
r conf
u
sing
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ras
m
us Villemoes
c
h
e
c
k
_kern
e
l_
p
rintf
.
c:
a
c
tually
all
o
w printk level
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
check_kernel_pri
n
tf
.
c: support %pC
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
m
u
s Villemoes
chec
k
_kernel_printf
.
c: rem
o
ve som
e
%pI
S
false
p
o
s
itives
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmu
s
Villemoe
s
ch
e
ck_kernel_prin
t
f
.
c: update s
t
ruct printf_spec
t
o
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
asmus Vill
e
moes
check
_
k
e
rn
e
l_pri
n
tf
.
c: che
c
k for signed
char v
e
rsus
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus V
i
l
l
emoes
ch
e
ck_kerne
l
_printf
.
c
: reorder
fla
g
define
s
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
asm
u
s Villemoe
s
spar
s
e: don't
warn a
b
out
unkn
o
wn at
t
ributes
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Villemoes
elim
i
nate som
e
ca
t
s
commit
|
commitdiff
|
tree
2015-06-26
R
asmus
V
illemo
e
s
prefi
x
smatch g
e
nerated files by
smat
c
h_
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoe
s
test_kernel
.
sh:
c
lean up
.
c
.
smatch
fi
l
es after
cat
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
Documentation
:
m
a
ke me l
e
ss
c
on
f
used
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
tra
c
e_
p
arams
.
p
l
: fix ha
s
h
/
h
ash reference co
n
f
u
sion
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kernel_printf
.
c: Allow co
n
s
t
char[] format arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
che
c
k
_
kerne
l
_printf
.
c: Handl
e
'fmt ? : "defa
u
l
t"
'
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
u
s Villemoes
check_kernel_printf
.
c
:
Simp
l
ify recursive calling
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Vil
l
emoes
check
_
ker
n
e
l_printf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoe
s
check
_
kernel_pri
n
tf
.
c: Strip parentheses
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemoes
check_kernel_printf
.
c: Handle conditio
n
a
ls
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
m
us Ville
m
oes
smatch
:
Check t
h
e
kernel's %p forma
t
e
xtensio
n
s
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Villemoes
s
m
atch
:
Add
--enabl
e
option
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
mus
Villemoes
smatch: Implement --sh
o
w-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus V
i
llemoes
s
m
a
t
c
h
:
A
dd dummy e
l
emen
t
to reg_funcs
commit
|
commitdiff
|
tree