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
unwind: register unwind functions that unwind everything
2010-08-03
D
an Carpenter
u
nwind:
r
egis
t
er
u
nwin
d
f
un
c
tions that un
w
ind e
v
erything
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n
C
arpenter
unwind: u
p
da
t
e equiva
l
ent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
ex
t
ra: clean
up unused varia
b
l
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
C
a
r
p
ent
e
r
equiv: u
p
da
t
e validation test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
an Carpenter
extra: h
a
ndl
e
WARN_ON(
f
unc(&
s
et_this_pointer));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan C
a
rpenter
buf_s
i
ze: I bro
k
e in
i
ti
a
lizer ha
n
dli
n
g
by
m
istake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
oops
.
f
i
x compile erro
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpe
n
ter
b
u
f_size: rem
o
ve
m
ems
e
t() and memmove()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carp
e
nter
impl
i
ed_not_equal: handle
literals
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Ca
r
penter
resource: cras
h
in
g
bug on incorrect
i
nput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
Carpen
t
er
buf_size: ig
n
ore
d
ynamic
a
lly size
d
arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: add s
u
pport for memdup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
C
a
rpenter
bu
f
_size:
a
dd supp
o
rt for s
t
rndup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
penter
buf_size: use strcpy() to determine the size
o
f
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
a
r
penter
buf_size
:
use strncpy() and friends to set
t
he buf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
ter
bu
f
_size:
whitespace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
ov
e
rflow: remove unused func
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: use alloc_state_num() instead of c
u
s
t
om v
e
rsion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: remo
v
e unused de
f
inition
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
pen
t
er
o
v
e
rflow: make arr
a
y s
i
ze tracking into a libr
a
ry functi
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
D
an Carpenter
u
nwind
:
add
p
ci_iomap
(
) a
n
d pci_io
u
nmap
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carpenter
*new* ch
e
ck_kmallo
c
_to_
b
u
gon: d
o
n
't call
bug_on() f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
D
an C
a
rpenter
*
n
ew*
c
he
c
k_unwin
d
: check that module_
i
n
i
t function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Ca
r
pent
e
r
core: pro
c
ess inline sta
t
ement
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan C
a
rpente
r
flow: handle asm s
t
a
t
ements correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpente
r
Merge git://git
.
kernel
.
org/pub/scm/
d
ev
e
l
/sparse
/
c
h
risl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan
Ca
r
pen
t
e
r
add ubifs_assert(
)
t
o list of asse
r
t ma
c
ros that call
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
D
an
Car
p
enter
c
h
eck
_
dma: add a
c
heck f
o
r
foo
= km
a
lloc(sizeof(*foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
Dan Ca
r
penter
sig
n
ed: uns
i
gned variables are allo
w
ed to
d
o math with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan
C
arpenter
overflow:
h
andle "if (strlen(foo) <
10) {
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Da
n
Car
p
enter
overflow: add supp
o
r
t for s
t
rle
n
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Da
n
Carp
e
nte
r
l
e
aks:
replace
check
_
memory
.
c wi
t
h a re
w
rite c
h
ec
k
_leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan C
a
r
p
e
n
ter
get_var
i
a
ble_fr
o
m_
e
xpr_complex():
r
e
t
urn pro
p
er sy
m
b
o
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
D
an
C
arp
e
n
t
er
Ma
k
efile: s
m
all whitespace change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carp
e
nter
memo
r
y: r
e
move
the wa
r
nin
g
s
ab
o
ut freed
memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Da
n
Carp
e
nter
che
c
k_fr
e
e:
c
reate a se
p
arate check for misusing freed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-05
Dan C
a
rpenter
related: rename dinfo->equiv to dinfo->related
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carpente
r
constraints: shu
f
fle th
i
ngs a
r
oun
d
a
b
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carpenter
*
new* scripts/
g
ener
i
size
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carpenter
ty
p
e
:
allo
w
t
h
e
parameter to be nul
l
f
o
r ty
p
e_unsigned
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-15
Dan C
a
r
pent
e
r
redo the ig
n
ored_macros stuf
f
properly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Car
p
ente
r
con
d
iti
o
ns: fix
m
emory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
elimi
n
at
e
s
o
me new "statement has no effect" false
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
get rid of g
e
t_ne
x
t_stm
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
D
a
n Carpenter
core: han
d
le "foo = ({frob();
fr
o
b(); f
r
ob(); 1;})
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carp
e
nter
l
ocki
n
g: add spi
n
_
t
rylock_
i
r
qsave()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Ca
r
p
e
n
te
r
fix cr
a
shing bug caused by the l
i
ttle endian
check
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan C
a
rpenter
ext
r
a: ignore WA
R
N_ON(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
D
a
n Carpent
e
r
err_ptr: rem
o
v
e jedec_p
r
obe
(
) from err_p
t
r list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpenter
snprintf: turn off be default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan C
a
rpenter
va
l
idatio
n
: update overflow test t
o
add quotes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpen
t
e
r
condit
i
o
n
s: fix handli
n
g
of
_
_builtin_co
n
stant_p(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan
C
arpe
n
t
er
o
v
erflow: add q
u
otes around var
i
able names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan Car
p
enter
ov
e
rflow: ignore array
s
w
ith
only
one element
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan Carpent
e
r
ov
e
rflo
w
: add call
o
c
() suppor
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
D
a
n
C
ar
p
en
t
er
ove
r
flow: check fo
r
copy_to_user() overf
l
ows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-09
Dan Carpe
n
ter
memory: fix le
a
k false positives cau
s
ed b
y
"foo = bar
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpen
t
er
le16:
f
ix false po
s
i
t
i
v
e
s
and tu
r
n
on by default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
D
an Carpenter
macro:
t
he
f
i
r
st macro add
e
d
i
s
t
he one to ke
e
p
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carp
e
nter
memory: add quotes i
n
output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
Dan Car
p
enter
f
l
o
w: fix
"if();" false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
D
a
n Carp
e
nt
e
r
ext
r
a
: tweak assignmen
t
of unsigned val
u
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-05
Dan C
a
rpente
r
smatch_extra: cle
a
n
up match_
a
ss
i
gn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-04
Dan
C
arpenter
return_efaul
t
: fi
n
d
more bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
D
a
n
Carpenter
*new* return_
e
fault: loo
k
s
for places that should re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
Dan Carpenter
s
ma
t
c
h
_
t
ype: fix __bitw
i
se__ handli
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan C
a
r
p
enter
U
p
date smatch_data/ for
2
.
6
.
3
5
-
rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
D
a
n Carpent
e
r
*n
e
w
*
p
ropagate:
c
heck that error codes get prop
a
gated
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-29
Dan C
a
rpent
e
r
err_ptr_
d
e
ref:
don't compla
i
n
i
f
the variable
is null
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-26
Dan Carpenter
*
n
ew* chec
k
_macros: find macro
precedence bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carpenter
h
o
o
ks:
add LOGIC_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carpenter
m
a
cro_table: take the file
into account
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
macro_table: do not
incl
u
de
s
ma
t
ch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan C
a
rpenter
flow
:
h
andl
e
logic things
l
i
ke: foo(a && a->bar);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan
C
a
rpenter
s
i
gn
e
d:
comparing to liter
a
ls to
g
et
h
er creates
a
f
a
l
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan C
a
r
p
enter
d
e
ref_c
h
eck: remove th
e
--spam
m
y op
t
io
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
D
a
n Carpenter
delete chec
k
_le
a
ks
.
c: This che
c
k
w
a
s
a
l
w
a
ys w
o
rthless
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan
C
a
r
penter
wine: fixup the
no re
t
ur
n
functions a
bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan
C
arpenter
macro_tabl
e
.
c:
r
e
pla
c
ement
f
o
r
in_macro()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
D
an Carpenter
sma
l
l cleanu
p
and a comment change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpen
t
er
*new
*
check_snprintf: us
i
ng the return value
o
f snprintf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan C
a
rpenter
u
n
used_return: pri
n
t
f
unct
i
on n
a
me tha
t
w
a
s ignor
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carp
e
n
t
e
r
m
ath: don't pa
s
s
ne
g
ative numbers a
s
a
b
solute m
a
x for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
an
C
a
r
pe
n
t
er
implied: allo
w
the known p
a
rt to b
e
a
r
a
nge list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Car
p
enter
m
ath:
fix
g
e
t
_absolute_min/max(
)
for s
i
zeof()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
an
C
ar
p
enter
extra:
make do_compariso
n
() han
d
l
e two vari
a
b
l
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Car
p
e
n
ter
ranges
:
introduce f
r
ee_range_list(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
ranges:
i
ntroduc
e
poss
i
b
l
y_true/
f
al
s
e
_range_lists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpent
e
r
prec
e
d
ence
:
don't complain about if fo
o
is 0-1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carp
e
nter
extra: cle
a
nup: rena
m
e do_comparison_ra
n
ge() => do_comp
a
rison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
kn
o
w
n
_co
n
diti
o
n_t
r
ue/false
(
): handle expression st
a
tem
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpenter
*new* check_kunmap():
c
onfus
i
on between
kmap
(
) an
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
D
a
n
Carpenter
*
n
ew* smatch_scripts/
u
nlocked_paths
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpenter
fl
o
w: cleanup: make sp
l
it_fu
n
ction() it's o
w
n
f
unction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
D
a
n Carpe
n
ter
d
er
e
f_
c
heck: use in_macro() to
silence most of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
math: introduce get_ab
s
olute_min/max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpen
t
er
math: cleanu
p
: rename get_im
p
lied_single_f
u
zzy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n
C
arpenter
m
a
t
h: cleanup: sh
u
ffl
e
some f
u
n
c
tions
arou
n
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
an Carpenter
mat
h
: cle
a
nu
p
: g
e
t
r
id
of the *discard thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
r
p
enter
math:
c
leanup: ge
t
r
id of IMPLIED_SINGLE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next