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
C
ar
p
e
n
t
er
unwi
n
d: add more unwi
n
d functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
D
an Carpenter
u
pdate smatch_data/ for 2
.
6
.
36-r
c
2 (part 2)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
D
an Ca
r
penter
over
f
low: fixu
p
c
r
os
s
func
t
i
o
n ov
e
rflows
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-26
D
a
n Carp
e
nter
remov
e
dead n
o
_le16 cruf
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-26
Dan
C
a
r
pen
t
er
unw
i
nd: a
d
d more unwind f
u
nction
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
r
e
move check_le16
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Update smatch_dat
a
t
o
2
.
6
.
36
-
rc2 [pat
c
h 1
of
m
o
r
e]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
kernel: conta
i
ner_of() retu
r
ns a non-NULL poi
n
t
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan
Carpenter
Intro
d
u
ce add_macro_ass
i
gn_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-21
Dan
C
arpenter
f
ix ou
t
o
f memory
hand
l
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
Da
n
Carpen
t
er
New fun
c
tio
n
s r
e
turns_unsign
e
d() and re
t
urn
s
_p
o
inter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
D
a
n
Carpente
r
*new* check_info_leak
.
c: pla
c
es t
h
at pass
un-zeroed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
Dan Ca
r
pente
r
*new* che
c
k
_ret
u
r
n
_e
n
o
m
em: complain about
r
eturning
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-04
Dan
Carpente
r
*new* pl
a
tf
o
rm_device_p
u
t() vs platform_d
e
vi
c
e_del()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
unw
i
nd: l
i
terals higher than zero are not
an error
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
D
an Ca
r
penter
implied: only print the nr_c
h
ildre
n
mess
a
ges if t
h
ere
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n Carpen
t
er
unwind: regist
e
r unwind
f
unctions that
u
nwin
d
e
v
erything
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
unwind: upda
t
e equi
v
alent
s
tates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
D
a
n Carpenter
e
x
t
ra: clean up un
u
sed variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Car
p
enter
e
q
uiv: update val
i
dation
t
e
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
extra: handle WARN_ON(func
(
&s
e
t_this_pointer));
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Carpente
r
buf_size
:
I brok
e
initializer
handling by mi
s
take
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpente
r
oop
s
.
f
i
x compile er
r
or
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
D
a
n Ca
r
pe
n
te
r
buf_size: remo
v
e memset() and memmove()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpenter
implie
d
_not_equa
l
: han
d
le literals
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-01
D
an
C
a
r
p
enter
resource: crashing bug on incorrect inpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpente
r
b
u
f_
s
ize: ignore dynamically s
i
zed arra
y
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
penter
buf_size: add
s
upport for memdup()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
an Car
p
enter
buf_size: add support for strndup()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
C
arpenter
b
uf_size: u
s
e strcpy() to
d
et
e
rmine the size o
f
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
Car
p
enter
buf_siz
e
:
use st
r
nc
p
y(
)
and frie
n
ds to
se
t
the b
u
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
an
Carpen
t
er
buf_si
z
e:
w
hitespace
ch
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan C
a
rpenter
o
v
erflow: rem
o
ve
un
u
sed function
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: use alloc_state_n
u
m()
i
nstead
o
f c
u
s
tom v
e
rsi
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: remove unused definition
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpent
e
r
ove
r
fl
o
w: make ar
r
a
y size tracking into a libra
r
y func
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-30
Dan Carp
e
nter
unwin
d
:
add pci_i
o
m
a
p() and pci_
i
ounmap()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
Dan
C
arp
e
nte
r
*new* check_kmalloc_t
o
_bugon
:
don
'
t c
a
ll bug_on() for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
Dan
C
arpent
e
r
*new* check_unwind: check th
a
t
m
odule_init function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpenter
core: proces
s
inline statemen
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpenter
flow: handle asm
s
t
a
t
ements correctly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
Dan C
a
rpenter
Merge git:/
/
git
.
kernel
.
org/pub/scm
/
devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
D
a
n Carpenter
add ubifs_ass
e
rt() t
o
list of as
s
e
r
t
macros that cal
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
Dan Car
p
e
n
te
r
c
h
eck_dma: a
d
d a
check for
foo = km
a
lloc(sizeof(*foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-14
Dan
Carpe
n
ter
si
g
n
e
d: unsigned variabl
e
s
are
a
llowed to d
o
math wi
t
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpenter
overfl
o
w:
h
andle "i
f
(strlen(foo)
<
1
0
)
{
.
.
.
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-09
Dan C
a
rpenter
o
v
erf
l
ow: add suppor
t
f
or strlen
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
Tilma
n
Sauerb
e
ck
Warn if random pointers are use
d
a
s
sourc
e
buf
f
ers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
Dan
C
a
rpent
e
r
leaks: replace check
_
m
em
o
ry
.
c wi
t
h a rewr
i
te che
c
k_leak
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
D
a
n
C
arpenter
get_variabl
e
_from_expr_complex(): return prope
r
s
y
mbol
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Tilman Sauer
b
eck
Added
a
tes
t
case for the rec
e
nt
l
y
introduced extended
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
D
an Car
p
e
n
ter
Makefile: small
w
hitespac
e
c
h
ange
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Dan C
a
rpenter
memory:
remove the warnings about fre
e
d memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Tilma
n
Sauerbe
c
k
Find l
e
ak
s
that occur by
settin
g
pointers to
a
ll
o
cated
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
T
i
lman
S
auer
b
eck
Added a simple test ca
s
e
for the do
u
ble free checker
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
D
an Carpent
e
r
c
h
e
ck_free: create a
s
epara
t
e check for misusing freed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-05
Dan Carpenter
re
l
ated: rename dinfo->equiv to dinfo->related
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
D
an Carpenter
c
on
s
traints:
s
huf
f
le thi
n
g
s aro
u
nd a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carpenter
*new
*
s
cripts/generisize
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
Da
n
Carpen
t
er
type: allo
w
t
h
e
para
m
e
ter to be null for type_unsigned()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-15
Dan Carpen
t
er
re
d
o t
h
e ignored_macros stuff
p
r
o
perly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan
C
arpent
e
r
condition
s
: fix
memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpent
e
r
e
liminate some
new "statemen
t
has no effect" f
a
lse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
g
e
t rid of get_
n
ext_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
D
a
n C
a
rpenter
c
o
r
e
:
h
andle "foo =
({frob()
;
f
r
o
b(
)
; fro
b
(); 1;})
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
loc
k
in
g
: add sp
i
n
_
t
r
ylock_
i
rqsave()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan
Car
p
enter
fix crashing bu
g
caus
e
d b
y
the
l
i
ttle
e
nd
i
an che
c
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carp
e
nte
r
e
x
t
ra: i
g
nore WARN_
O
N()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Da
n
Carpenter
err_ptr: re
m
ove jedec_probe() from err_
p
tr li
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpenter
snprintf: turn off be def
a
ult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpente
r
va
l
ida
t
ion:
u
p
date overflow
t
e
st to ad
d
quotes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Dan
C
arpenter
condit
i
o
ns: fix
handling of __b
u
il
t
in_cons
t
a
nt_p()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-10
Dan Carpenter
over
f
low: add quotes around var
i
able names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-10
D
a
n Carpenter
overflow: igno
r
e ar
r
ays
with only one e
l
e
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-10
D
an Car
p
enter
overflo
w
: add call
o
c() s
u
pp
o
rt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-10
Dan C
a
rpenter
ov
e
rflow: c
h
eck for copy_to
_
use
r
() overflows
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-09
Dan Carp
e
nter
memory:
f
ix lea
k
false posi
t
ives caused by "foo = bar
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-08
Da
n
Carpent
e
r
l
e
16: fix
false
p
ositives and t
u
rn on by default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-08
Dan Ca
r
pe
n
ter
macro: the first macro a
d
ded
is the
o
n
e to
k
eep
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpente
r
mem
o
ry
:
add quotes
in output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-07
Dan Carpe
n
ter
flow: fix
"
if
(
);
"
f
a
l
se positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-07
Dan Carpente
r
extra: tweak assignment o
f
un
s
i
g
ned va
l
u
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-05
D
an Carpenter
smatch
_
extr
a
: cleanu
p
match_assign
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-04
Dan
C
arp
e
nter
return_efault: f
i
nd mor
e
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-03
Da
n
Carpenter
*new* retur
n
_efault
:
looks for places
tha
t
s
h
ould return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-03
Da
n
Carpe
n
ter
smat
c
h_type: f
i
x
__bitwise__ handlin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-02
D
an Car
p
e
nter
Up
d
a
te sm
a
tch_
d
ata/ for 2
.
6
.
35-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-02
D
a
n C
a
rpenter
*n
e
w* propagate
:
check that er
r
or
c
odes get propagated
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-29
Dan Carpenter
err_ptr
_
deref: don't complain
if t
h
e
variable is nul
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-26
Dan Carpenter
*ne
w
* check_macros: find macro precedence bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Dan Car
p
enter
h
ooks:
ad
d
LOGIC_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Da
n
Car
p
enter
macro_tab
l
e: take the
f
i
le into
a
ccount
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
m
a
c
r
o_
t
able: do
n
o
t include smatc
h
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan
Carpen
t
er
flow: handle logic things like: foo(
a
&& a->
b
ar);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
s
igned: comparing to lit
e
r
a
ls together creates a false
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Ca
r
p
e
n
ter
der
e
f_check: r
e
move the --spammy
o
p
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan
Carpenter
de
l
ete c
h
eck_leaks
.
c: Th
i
s check w
a
s
always
worthless
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
D
a
n Carpenter
wi
n
e:
fixu
p
the no return
functi
o
ns a bi
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Da
n
C
arpenter
m
acro_
t
able
.
c: rep
l
aceme
n
t for in_macro()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan
Carpenter
small
c
leanup and a comment change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next