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
Introduce add_macro_assign_hook()
2010-08-24
Dan
C
arpe
n
ter
Introd
u
ce add_macro
_
assign_h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpen
t
er
fix out of memory hand
l
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
New
f
unc
t
i
o
ns returns_unsigne
d
() and returns_p
o
inte
r
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*n
e
w* check_
i
nfo_leak
.
c: pla
c
es that
p
a
ss un-zeroed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
Dan
Ca
r
pent
e
r
*
n
ew* check_return_enomem: complain
a
bou
t
retu
r
ning
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-04
Dan Carpenter
*ne
w
* platform_dev
i
ce_
p
ut() vs plat
f
orm_device_del(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
D
an Ca
r
penter
unwind: literals hig
h
er than zer
o
are not an error
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpe
n
ter
implied:
o
nly print the nr_children messages if there
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n
Carpe
n
ter
unw
i
nd
:
re
g
ister un
w
i
n
d functions that
u
nwind ever
y
thin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
D
an Carpenter
unwi
n
d:
upda
t
e equivalen
t
states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carp
e
nter
extra: clean up unu
s
ed va
r
ia
b
les
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
equ
i
v: upda
t
e valida
t
i
o
n test
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpente
r
extra:
h
andle
W
ARN
_
ON(func(&set_this_pointer));
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Carpen
t
er
buf_si
z
e:
I
bro
k
e
initial
i
zer handlin
g
by mista
k
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpen
t
e
r
oops
.
fi
x
compile
error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpent
e
r
buf
_
si
z
e:
r
e
move memset
(
)
an
d
memm
o
ve()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpe
n
ter
implied_not_equal: handle liter
a
ls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpenter
resour
c
e:
c
rashing
b
ug on i
n
co
r
rect i
n
put
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
b
u
f
_size: ignore d
y
namically si
z
ed
a
rra
y
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: ad
d
su
p
port for me
m
du
p
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
C
a
rpenter
buf_size: add support fo
r
strndup()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carp
e
nter
buf_size: us
e
strcpy() t
o
determine the s
i
ze o
f
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
an Carpe
n
ter
b
uf_size:
u
s
e strncpy() and
f
r
iends to s
e
t the buf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
a
rpenter
buf_size: whitespace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Car
p
e
nte
r
over
f
low:
remove unused functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
an
Carpenter
buf_
s
ize: use alloc_state_num
(
)
inst
e
ad of custom
ve
r
sion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
Carp
e
n
ter
buf_size: rem
o
ve unused definition
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan
Carpenter
ov
e
r
f
low: mak
e
arr
a
y
size tracking i
n
to a libr
a
ry functi
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-30
Dan Carpe
n
ter
unwind:
a
dd pci_ioma
p
() and pci
_
iounmap
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
D
a
n Carpe
n
te
r
*new* check_kmalloc_to_bugon: d
o
n't
cal
l
b
u
g
_on() for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
D
an Carpenter
*new* check_unwind: check that module_init function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
Dan
C
a
rpent
e
r
core: p
r
ocess in
l
ine statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpent
e
r
f
l
o
w
: handle asm sta
t
ements correctly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpenter
Mer
g
e git://git
.
kernel
.
org/pu
b
/scm/devel/sparse/ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
D
a
n Ca
r
pente
r
add ubifs_asser
t
() to li
s
t
o
f
asser
t
macros that call
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpe
n
ter
check_dma:
add a ch
e
ck for f
o
o
= kmalloc(sizeof(
*
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-14
Dan
Carpenter
signed: uns
i
gned varia
b
les are allowed to
do
m
a
th with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-09
Dan Car
p
enter
ove
r
f
l
ow: handle "if (st
r
len(foo) < 10) {
.
.
.
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-09
Dan Ca
r
pe
n
ter
overflow: add support for s
t
rlen()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
T
ilma
n
Sauerbeck
Wa
r
n if rand
o
m pointers are used as source
buffers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
D
a
n Ca
r
p
e
nter
leaks
:
r
e
p
l
ace
c
h
e
ck_memory
.
c
with a rewrit
e
check_lea
k
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
Dan Ca
r
penter
g
e
t
_variable_fr
o
m_expr_comp
l
ex()
:
return proper symbol
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Ti
l
m
a
n
S
auerbeck
A
d
de
d
a
te
s
t cas
e
for the r
e
cently introduced e
x
ten
d
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpenter
Mak
e
file: small
whitespa
c
e c
h
ange
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpenter
memo
r
y
: remove
the warnings about freed
m
e
m
ory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Tilman Sauerbeck
Find leaks
t
hat o
c
cur by set
t
ing pointers to allocated
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Tilman
S
a
u
er
b
eck
Added a
simple test case for the
d
oub
l
e free checker
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpen
t
er
che
c
k_free: create a separate c
h
e
ck for mi
s
u
s
ing freed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-05
D
an Car
p
ente
r
rela
t
ed:
r
ename dinfo->equi
v
to d
i
nfo->related
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
Dan
C
arpenter
constr
a
ints: shuffle
things around a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carpenter
*new* s
c
ripts
/
generis
i
ze
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
Dan
C
arpen
t
er
type: allow the parameter
to be
n
ull for type
_
u
n
s
i
gn
e
d
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-15
Dan
Ca
r
penter
redo the
i
gnored_macros
s
t
u
ff properl
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
condit
i
on
s
: fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan
C
arpenter
eliminate some new
"
statement
h
a
s no
e
ffect
"
false
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpent
e
r
get r
i
d
of get_
n
ext_
s
tmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
c
o
re: hand
l
e "foo = ({fr
o
b();
f
rob(); frob(); 1;})
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
D
a
n
Carp
e
n
te
r
lo
c
ki
n
g: a
d
d
spin_trylock_irqsave()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
fix crashing bug caused by t
h
e little e
n
di
a
n check
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
D
a
n Carpen
t
er
e
xtra: ignore WA
R
N_ON
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Dan Car
p
enter
err_ptr:
remove j
e
dec_pro
b
e
()
f
r
o
m
e
rr_ptr list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
D
an Carpente
r
snpr
i
n
t
f: t
u
rn off be default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpe
n
t
e
r
va
l
idat
i
on
:
update
o
verflow tes
t
to
a
dd quo
t
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpent
e
r
c
o
nditions
:
fix handl
i
n
g of __bui
l
ti
n
_
co
n
stant_p()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-10
Da
n
C
a
rp
e
nter
overflow: add qu
o
tes around variabl
e
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-10
D
an
C
a
r
penter
overflow
:
igno
r
e a
r
r
ays with only one element
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-10
D
a
n Carpenter
overflow:
a
dd calloc() s
u
pport
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-10
Dan
Car
p
enter
overflow: c
h
e
c
k for cop
y
_t
o
_use
r
() overflows
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-09
Dan
Carpenter
mem
o
r
y: fix leak fa
l
se positives caused by "foo =
bar
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-08
D
an Carpent
e
r
l
e
16:
fix false
positi
v
es and turn o
n
by
default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpenter
macro: the first macro ad
d
e
d is the on
e
to keep
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpenter
memo
r
y: add q
u
otes in output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-07
Dan Car
p
enter
flow
:
f
i
x
"
if();" false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-07
Dan C
a
rpen
t
e
r
e
xtra: tweak assig
n
m
e
n
t
of unsigned values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-05
Dan Carpenter
smatch_extra: cleanup match_assign
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-04
Dan Carp
e
nter
return_efault: find m
o
re bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-03
D
an C
a
rpenter
*ne
w
* retu
r
n_efault: l
o
oks for p
l
aces that sh
o
uld return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-03
Dan
Carpen
t
e
r
smatch_type: fi
x
__b
i
t
wise__
handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-02
Dan Carpenter
Update smatch_
d
ata/ for
2
.
6
.
35-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-02
D
a
n Carpenter
*new*
p
r
opagate: check th
a
t
er
r
o
r
codes get propagated
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-29
Dan Carpe
n
t
er
err_
p
tr_deref
:
don't
complain if the v
a
r
i
able i
s
null
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-26
Dan Carpenter
*new*
c
h
e
ck_m
a
cros: fin
d
m
a
c
ro precedence bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Dan C
a
rpenter
hooks:
a
d
d LOGI
C
_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carpenter
macro_table:
take
t
h
e fil
e
int
o
account
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Da
n
Carpente
r
m
a
cro_table: d
o
not i
n
clude
s
m
atch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
flow: handle logic t
h
ings like: foo(a && a
-
>b
a
r
);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Car
p
en
t
er
s
i
gned: comparing to l
i
terals t
o
gether creates a f
a
lse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
dere
f
_check: remove the --
s
p
ammy option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
D
a
n
C
arpe
n
ter
delete check
_
le
a
k
s
.
c: This
c
heck
w
a
s always worthless
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan
Carpenter
wine: fixup th
e
no
r
eturn f
u
nc
t
ions a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
m
a
cro_table
.
c
:
replacement
f
o
r in_macro
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpente
r
small c
l
eanup and a comment
change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpenter
*new* check_snprintf: using the
return
value of snprintf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan C
a
rp
e
nter
unused_retu
r
n: pr
i
n
t
function name
t
hat w
a
s ignore
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
mat
h
: don't pass ne
g
ative
numbe
r
s as
a
bsolute
m
ax for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpent
e
r
imp
l
ied: allow the known part t
o
be a ran
g
e l
i
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n C
a
rpenter
m
a
th: fix get_absol
u
te_min/m
a
x
(
) for sizeof()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
an
C
ar
p
enter
extr
a
: make
do_comparison()
h
andle two vari
a
bles
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
Carpenter
ranges: intr
o
duce free_range
_
list
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
ranges: int
r
oduce possibly_true/fal
s
e_
r
a
nge_l
i
sts()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next