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: add more unwind functions
2010-08-30
Dan Carp
e
nter
unwi
n
d: add more unwind
fun
c
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpente
r
upd
a
te smatch_data/ for 2
.
6
.
36-rc
2
(part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
o
verfl
o
w: fixup c
r
oss function ov
e
rflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carp
e
nter
remo
v
e
d
e
ad
no_le1
6
cru
f
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
D
a
n Carpenter
unwind: add more
unwind
functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
remo
v
e
c
h
e
ck_le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpente
r
Update smatch_d
a
ta to 2
.
6
.
36-rc2 [p
a
tch
1 of m
o
re]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
Carpenter
kern
e
l: con
t
ainer_of() returns a non-NUL
L
pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
an Carpenter
I
n
troduce add
_
macro_assign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
D
a
n Carpenter
f
i
x out of memor
y
h
a
ndling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
D
a
n Ca
r
penter
New functions
returns_
u
nsign
e
d() and r
e
turns
_
p
o
int
e
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpente
r
*new* check_info_leak
.
c: places that pass un-zer
o
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Da
n
C
ar
p
e
nt
e
r
*new* check_
r
eturn_enomem
:
compla
i
n
a
bout
returning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
D
an Carpent
e
r
*ne
w
*
plat
f
orm_device_put() vs
p
latform_device_del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n Carpent
e
r
u
nwind: lit
e
rals hi
g
h
er than zero
are not an error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan C
a
rpenter
imp
l
ied
:
only p
r
int th
e
nr_child
r
en messages if there
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
u
n
w
i
n
d: register
u
nwi
n
d f
u
nct
i
ons that
u
n
w
ind ev
e
rythin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
un
w
i
n
d: upda
t
e equ
i
valent
s
t
ates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpent
e
r
extra: clean up unused variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
equiv: update va
l
i
d
a
tion tes
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
C
arpenter
extra: handle WAR
N
_ON(func
(
&set_this_poi
n
ter));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
buf_size: I brok
e
i
n
itializ
e
r handling b
y
mistake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
o
ops
.
f
i
x comp
i
le error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Carpenter
buf_size: remove memse
t
()
a
nd
mem
m
ove
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan
Carpenter
implied_not_equal: handle litera
l
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Car
p
enter
resou
r
ce: cr
a
s
hing bug
o
n
incorrec
t
i
n
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpente
r
b
u
f
_
s
ize:
i
gnore dy
n
amically sized ar
r
ays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size:
a
dd support
for
m
emd
u
p()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n
C
arpenter
buf
_
siz
e
: a
d
d support f
o
r
strnd
u
p()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carp
e
nter
b
u
f_size: use st
r
cpy(
)
to determi
n
e
t
h
e
size o
f
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n Carpenter
buf_size: use strncpy
(
)
an
d
friends to set the buf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
ar
p
enter
buf_size:
wh
i
tespace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
Carpent
e
r
overfl
o
w
: r
e
move unu
s
ed functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
Carpente
r
buf_s
i
ze:
u
se a
l
lo
c
_state_num() instea
d
of custom versi
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_siz
e
: remove unu
s
ed
d
efin
i
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
over
f
low: make array
size tra
c
k
ing into a
l
ibrar
y
fun
c
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
Da
n
C
a
rpenter
unwind: ad
d
pci_iomap
(
)
a
nd pci_ioun
m
ap()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Da
n
C
a
rpenter
*n
e
w*
c
heck
_
k
m
a
lloc
_
to
_
bugon: d
o
n't call bug_on() for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carpenter
*n
e
w
* c
h
eck_unwi
n
d: che
c
k tha
t
m
odule_init function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan
C
arpenter
c
o
r
e:
p
r
ocess
inline statement
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan C
a
rpenter
flo
w
:
handle
a
s
m statements correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
D
a
n Carpenter
Merge git://git
.
kernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpenter
add u
b
ifs_assert() to list
o
f assert
macr
o
s that call
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
D
an C
a
rpenter
check_dma: add a c
h
ec
k
f
or
foo = k
m
al
l
oc(sizeof(*
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
Dan Carpen
t
er
signed: unsign
e
d variab
l
es
are allow
e
d to do math
with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpenter
overflow
:
handl
e
"
i
f
(
strlen(fo
o
) <
10) {
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
D
a
n C
a
rpe
n
ter
overflow: add supp
o
r
t
for
s
trlen()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Tilm
a
n
Sauerbeck
W
arn if random pointers are
used as s
o
urce buffers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan C
a
rpenter
lea
k
s: replace check
_
m
emo
r
y
.
c w
i
th a
r
ewrite check_leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carp
e
nter
ge
t
_
v
aria
b
le_fr
o
m_exp
r
_compl
e
x(): return proper sy
m
bol
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
T
ilman Sauerbe
c
k
Ad
d
ed a t
e
st ca
s
e for the
r
ec
e
n
t
l
y introduced extended
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan C
a
rp
e
n
t
er
M
a
kefil
e
: small w
h
itespace change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpenter
m
emory: r
e
move the
w
arnings abo
u
t freed memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
T
i
lma
n
Sauerbeck
F
ind le
a
ks
t
hat occur by setting p
o
inter
s
to
allocated
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
T
i
l
m
an Sa
u
erbe
c
k
Added a
simple test case
f
or t
h
e
double free chec
k
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpen
t
er
check_free: create a sep
a
rate check for misusing f
r
ee
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-05
D
an Carpenter
rel
a
t
e
d:
r
ena
m
e di
n
f
o
->equiv to
dinf
o
-
>relat
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan
Carpenter
constraint
s
: shuffle t
h
ings around a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan
Carpenter
*new* scripts/g
e
ner
i
siz
e
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Da
n
Carpenter
typ
e
: all
o
w
t
h
e
par
a
mete
r
to be nu
l
l for ty
p
e_unsigne
d
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-15
Dan Ca
r
penter
redo the i
g
nored_macros stuff prop
e
rly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
D
a
n
Carpenter
conditions:
f
ix memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Car
p
ente
r
e
l
iminate some new "statement has
n
o eff
e
ct" false
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpe
n
ter
get rid
o
f
get_ne
x
t_st
m
t()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
cor
e
: han
d
le "foo = ({frob();
f
rob()
;
f
r
ob(); 1;})
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
l
ocking: add spin_tryloc
k
_irqsave()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
fix crashing bug caused by
t
he lit
t
le endian check
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Ca
r
p
e
n
t
er
e
xt
r
a
: ig
n
ore WARN_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan
Carpenter
err_ptr:
r
e
move jedec
_
probe() from err
_
ptr list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpenter
snpri
n
tf: turn
o
ff be default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpenter
validation: upda
t
e overfl
o
w test to add quotes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpente
r
condi
t
ions: fix handli
n
g of __buil
t
i
n_constant_p()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Da
n
C
arpenter
overf
l
ow: add quotes around variab
l
e names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Da
n
Carpenter
ov
e
rflow: igno
r
e
arrays with only o
n
e
e
lem
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Da
n
Carpenter
ove
r
flow: add calloc() support
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan
C
ar
p
enter
overflow: chec
k
f
o
r copy_to_user()
o
v
erf
l
ows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-09
Da
n
Carpenter
memory: fi
x
leak false positives caused
by "foo
=
bar
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpenter
l
e
16:
f
ix fal
s
e
positi
v
es
a
nd turn on by defaul
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpenter
m
a
cro: the first
macro added is
t
h
e one to
ke
e
p
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpenter
m
emory: add qu
o
tes
in output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
Dan C
a
rpenter
flow: fix "if();"
false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
Dan Carpent
e
r
extr
a
:
t
w
eak
a
ssignment of
unsigned value
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-05
D
an Carpenter
smatch_extr
a
: c
l
eanup
match_as
s
ign
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-04
D
an
C
arp
e
n
t
er
return_
e
fault: find mo
r
e bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
Dan Carpenter
*new
*
ret
u
rn_efault: looks f
o
r place
s
that should return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
Dan
C
arpen
t
er
s
match_type
:
fix
_
_bitw
i
se__
h
andli
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan
Carpenter
Up
d
ate smatch_data/
f
or 2
.
6
.
35-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan Carpenter
*new
*
propagate: check that er
r
o
r
co
d
es get propag
a
ted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-29
D
an Carp
e
nt
e
r
err_ptr_de
r
ef
:
don
'
t complain if the varia
b
le is null
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-26
Da
n
Carpenter
*new* check_macros: fin
d
macro pre
c
edence bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan
Carp
e
nter
ho
o
ks: add L
O
GIC_H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan C
a
r
pen
t
er
macro_table: take the file into ac
c
ount
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpente
r
macro_table: do n
o
t incl
u
de smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
flow: ha
n
dle
log
i
c
th
i
ngs like: foo(a && a->ba
r
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan
Carp
e
nter
signed:
comparing to literals toge
t
her cre
a
t
e
s a false
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
der
e
f_check: re
m
ov
e
t
he --spammy
o
ption
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
delete check_leaks
.
c: T
h
is check was always worthless
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Ca
r
penter
wine:
fixu
p
the no retu
r
n func
t
io
n
s a
b
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
ma
c
r
o_table
.
c: replacement fo
r
in_macr
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpenter
small cleanup and a comment
change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next