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
states: fix handling switches inside conditions (fake_cur_stree)
2016-12-12
R
a
s
mus Villemoe
s
check_kernel_
p
rintf
.
c: %pj
e
nde
d
up being %p
G
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Vil
l
emoes
check_kernel_printf
.
c
: h
a
ndle new defini
t
i
on of KERN
_
CONT
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus
Vil
l
emoes
check_kernel_p
r
intf: check that %pg gets a block_
d
e
vic
e
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
check
_
kernel_
p
rintf
.
c
: s
u
ppor
t
future %
p
gX
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus
Villemoes
che
c
k
_kernel_
p
r
intf
.
c
: check for redu
n
dant or confusing
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus V
i
llemoes
c
h
eck_kernel_pri
n
tf
.
c: act
u
a
lly allo
w
p
rintk
lev
e
l
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
a
smus Villem
o
es
check_kernel_printf
.
c
: support %pC
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmu
s
Villemoes
check_kern
e
l_printf
.
c: r
e
move s
o
me %pIS false
p
ositives
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
check_
k
ernel_printf
.
c: update st
r
uct prin
t
f_spec to
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus
V
illemoes
check_ke
r
n
e
l_print
f
.
c:
ch
e
ck for sign
e
d ch
a
r versus
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vi
l
l
emo
e
s
check_kernel_pr
i
ntf
.
c: reorder fla
g
def
i
nes
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
sparse: don
'
t warn ab
o
ut
u
nknown attribute
s
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-06-29
R
a
smus Ville
m
o
e
s
elimi
n
a
te som
e
cats
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
V
ille
m
oes
prefix smatch
g
enerated
f
i
les by
s
ma
t
ch_
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemo
e
s
test_kernel
.
sh: cl
e
an up
.
c
.
smatch
f
iles after cat
commit
|
commitdiff
|
tree
2015-06-26
Ra
s
m
u
s Vill
e
m
o
es
Docume
n
tati
o
n: make me less confused
commit
|
commitdiff
|
tree
2015-06-26
R
a
smus Villemoes
trace_params
.
pl: fix hash/h
a
sh reference
co
n
fusion
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_k
e
rnel_printf
.
c: Allow
const char[] format arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kernel_printf
.
c
: Handl
e
'fm
t
? : "d
e
fault"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Vi
l
le
m
oes
check_kernel_printf
.
c: Simplify
r
e
c
ur
s
ive calling
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Villemoes
c
h
eck_kernel
_
p
r
intf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus
V
i
l
lemo
e
s
che
c
k
_kernel
_
prin
t
f
.
c:
S
t
r
ip par
e
nth
e
ses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_k
e
rnel_printf
.
c: Handle
c
ondi
t
ionals
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus
V
ill
e
moes
smatch:
Check the kernel'
s
%p for
m
at extensions
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us Villemoes
smatch
:
A
d
d --
e
na
b
le
option
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
lemoes
s
m
atch: Im
p
lement --show-che
c
ks
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us Villem
o
es
s
m
atch: Add dummy element to reg_funcs
commit
|
commitdiff
|
tree