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
overflow: silence glibc strcmp false positives with string literal
2015-06-29
Ras
m
u
s Villemoes
elimin
a
te some c
a
ts
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vi
l
l
e
m
oes
prefix smatch generated fil
e
s
by smatc
h
_
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
u
s Villemoes
test
_
ker
n
e
l
.
sh
:
clean up
.
c
.
smatch files a
f
ter ca
t
commit
|
commitdiff
|
tree
2015-06-26
Rasmus V
i
l
l
emoe
s
Docu
m
e
ntatio
n
:
m
ake me less confused
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
V
illemoes
t
r
ace
_
par
a
ms
.
pl: fix
hash/ha
s
h re
f
er
e
nce confu
s
ion
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoe
s
ch
e
c
k
_
k
ernel_pr
i
ntf
.
c: Allow c
o
nst char[] format arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmu
s
Villemoes
chec
k
_ker
n
el
_
printf
.
c: Handle 'fmt
? :
"
d
efa
u
lt
"
'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_ke
r
nel_printf
.
c: Simplify re
c
ursi
v
e
c
alling
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
c
h
ec
k
_kernel_printf
.
c:
F
ix braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illemoes
check
_
kernel_pr
i
ntf
.
c: Strip pa
r
e
n
t
h
ese
s
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us V
i
llemo
e
s
che
c
k_kernel_printf
.
c: Handle conditionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vil
l
e
m
oes
smatch: Chec
k
th
e
kernel's
%
p format ext
e
nsions
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
sm
a
tch: Add
--enable opti
o
n
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smat
c
h: Implement --show-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vill
e
moe
s
smatch: Add dummy element to reg_f
u
ncs
commit
|
commitdiff
|
tree