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
db: introduce sql_insert_data_info_var_sym()
2016-12-12
Rasmus Villemoe
s
check_kernel_printf
.
c: %
p
j ended
u
p be
i
ng %p
G
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Vi
l
lemoes
check_ker
n
e
l
_pr
i
ntf
.
c:
h
andle new
d
efin
i
tion o
f
KERN_CONT
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2016-12-12
R
a
smus Villemoes
check_k
e
rnel_printf: check
tha
t
%pg
g
ets a bloc
k
_
d
evice
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Ville
m
oes
check_ker
n
el
_
printf
.
c: support f
u
t
u
re %pgX
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus Villemoes
check_ke
r
nel
_
printf
.
c: check fo
r
red
u
n
dant or
confus
i
ng
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Ra
s
mus
V
illemoes
check_kernel_prin
t
f
.
c
:
act
u
ally allow prin
t
k level
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
R
asm
u
s Villemoes
c
heck_kernel_
p
ri
n
tf
.
c: support %pC
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus
Vil
l
e
m
oes
check_k
e
r
n
el_printf
.
c: remove
some %
p
IS false positives
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus
V
i
llemoe
s
c
he
c
k_kernel_printf
.
c
:
update struct printf_sp
e
c to
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasm
u
s Vi
l
lemoes
check_ker
n
el_prin
t
f
.
c
:
check f
o
r signed char vers
u
s
.
.
.
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Ville
m
oe
s
chec
k
_k
e
rnel_printf
.
c:
reorder flag
defines
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemo
e
s
spar
s
e: don't w
a
rn ab
o
u
t
unk
n
own attribu
t
es
Signed-off-by:
Rasmus Villemoes
<rv@rasmusvillemoes.dk>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Villemoes
elimina
t
e
s
om
e
cats
commit
|
commitdiff
|
tree
2015-06-26
R
a
smus Villemoes
pre
f
ix
smatch genera
t
ed f
i
le
s
b
y smatch_
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
test_kernel
.
sh: clean up
.
c
.
s
match f
i
les after cat
commit
|
commitdiff
|
tree
2015-06-26
R
asmus Vill
e
moe
s
Documentation: make m
e
le
s
s confused
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
trace_params
.
pl: fix hash/hash refer
e
nce c
o
nfusion
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
c
h
eck_kernel_printf
.
c:
A
l
low const
c
har[]
fo
r
mat
a
rguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kernel_printf
.
c: Handle 'fmt
?
: "default"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus
Ville
m
o
e
s
c
heck_kernel_printf
.
c: Sim
p
l
ify recu
r
sive calling
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Villemoes
c
h
eck_kernel_printf
.
c
:
Fix braino
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
mus Villemoes
check_ker
n
e
l
_printf
.
c: S
t
rip p
a
renthes
e
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_kernel
_
p
r
intf
.
c: Handle co
n
ditionals
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Villemoes
smatch: Check the kerne
l
's %p format extensions
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Ville
m
oes
sm
a
tch: Add
-
-
enable opt
i
on
commit
|
commitdiff
|
tree
2015-02-11
Rasmus V
i
llemo
e
s
smatch:
I
m
plement --show-
c
heck
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vil
l
emoes
sma
t
ch: A
d
d dummy element to
r
e
g_funcs
commit
|
commitdiff
|
tree