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
buf_size: remove unused definition
2010-07-31
Dan Carpente
r
buf_size:
r
emove unu
s
ed definition
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
Carpenter
overflow: m
a
k
e
array s
i
ze tracking into a lib
r
ary
f
u
nctio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-30
Dan Car
p
enter
unw
i
nd: add p
c
i_iomap()
and pci_i
o
unmap(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
Da
n
Carpenter
*new* c
h
eck_kmalloc_to_
b
ugon: don't cal
l
bu
g
_on() for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
Da
n
C
arp
e
nter
*n
e
w* check_unwi
n
d:
check that
module_init
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
Da
n
Ca
r
penter
core: p
r
o
cess
i
nl
i
n
e st
a
tements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
Dan Car
p
enter
flow:
handle asm statem
e
n
ts correc
t
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
D
a
n
Ca
r
pente
r
M
erge
g
it://git
.
kernel
.
o
rg/p
u
b/
s
cm/
d
evel/
s
p
a
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpen
t
er
add ub
i
f
s
_as
s
ert() to list of assert macros
that call
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpenter
check
_
dma: add a check for f
o
o
= km
a
lloc(sizeof(*foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-14
Dan Carpenter
signed: unsigned va
r
iables are allow
e
d
to do m
a
th
with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpenter
o
v
e
rflow: ha
n
dle "if
(
strlen(
f
oo) < 1
0
) {
.
.
.
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpenter
ov
e
rflow: add support for strlen()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
T
ilman Saue
r
b
eck
Warn if random pointers are use
d
as source buffer
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
D
an
C
arp
e
nt
e
r
leaks: replace check_memory
.
c
wi
t
h a
r
ewrite check_le
a
k
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
Dan
C
arpenter
get_variable_
f
r
om_expr_compl
e
x(): return proper
s
y
mbol
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Ti
l
man Sauerbeck
A
d
ded a test ca
s
e
f
or the recently introduced extended
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpenter
Makef
i
l
e
:
small whitespace change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
D
a
n
C
a
rpenter
mem
o
r
y
: remove the warnings ab
o
ut freed memo
r
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Tilman Saue
r
b
e
ck
F
ind
lea
k
s
that
occur b
y
s
e
t
ting pointers
to a
l
located
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Tilman Sauer
b
eck
Ad
d
ed a
simple
t
e
st case
f
or the doubl
e
free
c
hec
k
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Dan Ca
r
p
e
nter
check
_
free: create
a
separate check for mi
s
u
s
ing freed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-05
Dan Carpenter
related: renam
e
dinfo-
>
equiv
to d
i
nfo->rel
a
ted
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
Dan
C
a
r
penter
constraints: shuffle things
a
r
ound a bi
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
D
a
n Car
p
en
t
er
*new* s
c
ripts/ge
n
erisize
.
p
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carpente
r
type: allow the p
a
ra
m
eter to be null fo
r
type_unsign
e
d()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-15
Dan Car
p
e
nter
redo t
h
e ignored_macros stuff properly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Da
n
Carpenter
con
d
i
ti
o
ns: fix memory lea
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan
Carpenter
eliminate some new "s
t
a
t
ement ha
s
no effect
"
fal
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
D
an Carpenter
ge
t
rid of get_next_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
D
a
n
Carpenter
core: handle "foo =
(
{frob
(
); frob(); frob()
;
1
;}
)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
D
a
n
Carpenter
lo
c
ki
n
g: add spin_try
l
ock_irq
s
a
ve()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan Ca
r
penter
fix crashing bug caus
e
d
by the little en
d
ian ch
e
ck
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Da
n
Carpe
n
t
er
ex
t
ra: ignore WARN_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Dan
Carpenter
err_ptr
:
rem
o
ve j
e
dec
_
probe() from er
r
_ptr li
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Dan Car
p
enter
sn
p
r
intf: turn off be de
f
ault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpenter
validat
i
o
n
: upda
t
e overflo
w
test to
ad
d
quote
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Dan C
a
r
p
e
n
t
er
con
d
i
t
ions: fix handling
of
_
_builtin_constant_p()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-10
D
a
n
Carpen
t
er
o
v
erflow: add quotes around variabl
e
na
m
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-10
Dan Carpenter
overflow
:
igno
r
e
arr
a
y
s with only one e
l
e
m
en
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-10
D
a
n C
a
rp
e
nter
overflow: add ca
l
loc() support
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-10
Dan
C
arpente
r
ove
r
flo
w
: check for co
p
y
_
to_user() over
f
lows
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-09
Dan Carpenter
memo
r
y: fi
x
leak
f
alse positive
s
cause
d
by "
f
oo = bar
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-08
Dan C
a
r
p
enter
l
e16: fix
f
als
e
positive
s
and turn
o
n by default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpenter
ma
c
ro: the fir
s
t mac
r
o added is t
h
e
o
ne to keep
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-08
D
an Carpenter
m
em
o
ry: a
d
d
quote
s
in outpu
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-07
Dan Carpenter
flow: fix
"if(
)
;
"
f
a
l
s
e p
o
sitives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-07
Dan Car
p
enter
extra: tweak
assignment o
f
unsigned values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-05
Dan Carpenter
smatch_
e
x
tra: cleanup match_assign
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-04
Dan
C
arpenter
r
eturn_ef
a
ult: find more
b
ugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-03
Dan Carpe
n
ter
*new* r
e
tu
r
n_e
f
ault: lo
o
ks fo
r
plac
e
s that
s
hould return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-03
Dan Carpenter
s
m
a
tch_type: fix __bitwis
e
_
_
handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-02
Dan Carpenter
Updat
e
smatch
_
dat
a
/ for
2
.
6
.
35-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-02
Dan Carpenter
*new*
p
ropa
g
ate: check tha
t
error codes
get propagated
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-29
Dan
C
arp
e
n
ter
err
_
ptr_deref: don't com
p
lai
n
if the variable is nu
l
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-26
Dan Carpenter
*
new*
c
heck_mac
r
o
s:
f
ind macr
o
prec
e
dence bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Da
n
Car
p
e
n
t
e
r
hoo
k
s: add LOGIC_HO
O
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Da
n
Carpenter
macro_table: take the fi
l
e into account
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan
Car
p
enter
m
a
cro_t
a
b
le: do not in
c
lude smatc
h
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan
Carpe
n
te
r
flow: handle logic t
h
i
n
g
s like
:
foo(a
&& a-
>
bar);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Car
p
enter
sign
e
d: comparing to literals
together creates
a
f
alse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan C
a
rpenter
deref_check: remove
the --spammy optio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan C
a
rpenter
delete check_
l
eaks
.
c:
T
h
is
c
heck was alway
s
worthless
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
D
a
n Ca
r
penter
wine: fixup the no r
e
t
u
r
n
f
u
n
ctions a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
macro_table
.
c
:
replacement f
o
r
i
n
_macro()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpenter
small clea
n
up and a comment change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carp
e
nter
*new* c
h
eck_s
n
p
rintf: u
s
ing
t
he return value of snprintf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan Car
p
ente
r
unused_return: print
f
u
n
ction name that
w
as
i
gno
r
ed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
m
ath: don't pa
s
s negati
v
e numbers as abso
l
ute max f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
i
mplied: allow t
h
e k
n
o
wn part to be a range l
i
st
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
Carpente
r
ma
t
h
:
fix get_
a
bsolute_min/max() for sizeof()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n
C
a
rpenter
extra: make
do_compari
s
o
n
()
handle
two varia
b
les
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
ranges:
i
n
t
rodu
c
e free_range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n Carp
e
nter
ranges: intr
o
d
uce possibly_
t
rue/false_r
a
nge_lists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
D
an
Carpe
n
ter
preceden
c
e:
do
n
'
t
comp
l
a
i
n
abo
u
t if
f
oo is 0
-
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n Carpenter
extra: cleanup: re
n
ame do_
c
omparison_r
a
nge() => do_comparis
o
n(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan
C
a
rpenter
known_cond
i
tio
n
_true
/
fal
s
e():
h
a
ndle
ex
p
re
s
sion sta
t
em
e
nts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Dan
Carpenter
*new* che
c
k_kunmap():
confusion between km
a
p() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Da
n
Carpenter
*new*
smatch_scri
p
t
s/unl
o
cked_paths
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpenter
flow: cleanup: mak
e
split_function(
)
it's own
f
unction
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan
Carpenter
deref_c
h
eck
:
u
se in_macro() t
o
s
ilence m
o
st of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Car
p
enter
math: introduce
get_abso
l
ute_
m
in/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
arpenter
math: cleanup: rename
g
e
t
_
implied_singl
e
_fuzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rp
e
nter
math: cleanup:
s
huf
f
le some
f
u
n
c
t
ions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
m
a
th:
c
le
a
n
u
p
: get rid of th
e
*discard thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Car
p
e
n
ter
math: cleanu
p
:
get rid
of IMPLI
E
D_SING
L
E
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n
Carpenter
delete
c
h
e
ck_null_deref
.
c and clean
up validation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Carpenter
fl
o
w: the
n
ext state
m
e
n
t shou
l
d never b
e
the current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpen
t
er
*ne
w
* che
c
k_check_de
r
ef
.
c
: che
c
king
fo
r
null
incons
i
stently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
an Carpenter
*
n
e
w*
c
h
eck_n
o
_effect: print
warning
s
statement
s
th
a
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n
Carpenter
s
etup defau
l
t modifi
c
ation
hoo
k
s
in set_true_f
a
lse_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
int
r
oduce in_m
a
cro() which returns tr
u
e if we'r
e
in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpenter
introdu
c
e: in_expression_statement
(
) an
d
rename get_block_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carpenter
c
hurn:
r
e
name _
_
spl
i
t_statemen
t
s() =>
_
_
split_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpent
e
r
ext
r
a:
h
andl
e
i
++ an
d
i += 2 better outside loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpent
e
r
filter_kern
e
l
_deref
_
c
h
e
c
k
.
sh
:
print the function names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan
C
arpenter
A
dd STRI
N
G_HOOK
for examining strings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
*new* check_kernel
.
c:
h
andle to
m
oyo_m
e
mory_ok() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
core: fix handli
n
g of switch statements wit
h
unr
e
a
chable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan
Carpenter
bail out earlier
if functions
g
et too d
i
fficu
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next