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
extra, db: record the struct member values in the database
2010-08-03
Da
n
Carpenter
unwind: register
unwind fun
c
tions that unwi
n
d everythi
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpente
r
unwind:
update equivalent state
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
an Ca
r
penter
extra:
c
l
ea
n
up un
u
sed variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpente
r
equ
i
v: u
p
d
ate val
i
dation test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
extra: handle WAR
N
_ON(fu
n
c(&set_this_
p
oi
n
ter));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpe
n
ter
b
u
f
_size:
I
b
roke init
i
alizer hand
l
in
g
by m
i
s
ta
k
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
arpenter
oops
.
fi
x
compile erro
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
a
n
Carpenter
buf_size: remo
v
e memse
t
(
)
and memmove()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpenter
implied_not
_
equal: handle literals
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpenter
resource: crashing bu
g
on in
c
orrect i
n
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan C
a
r
penter
b
u
f_s
i
ze: ignor
e
dynamica
l
l
y sized arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
b
u
f_size: add sup
p
o
r
t
for memdup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
an C
a
rpen
t
e
r
buf_size: add supp
o
rt for s
t
rndup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
Car
p
e
n
te
r
buf_size: use
s
trcp
y
() to deter
m
ine the size
of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpenter
bu
f
_size: use strncpy(
)
and
f
r
iends
t
o set the buf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carp
e
nter
buf_size
:
whit
e
space c
h
an
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
penter
overflow: remov
e
unused
fu
n
ctio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpen
t
er
buf_size:
u
se allo
c
_
s
tat
e
_num() instead of custom versio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
ter
bu
f
_size:
r
e
m
ove unus
e
d
d
efinition
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan C
a
rpenter
overf
l
ow: make array size t
r
acking in
t
o
a library function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
D
an Car
p
ente
r
unwind: add pci_iom
a
p()
a
nd pci
_
iounmap()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Da
n
Carpen
t
er
*new* chec
k
_
k
malloc_to_bugon:
d
o
n
't
c
all bug_on()
f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Car
p
enter
*new* c
h
eck_unwind: check that modu
l
e_init function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
D
a
n Carpenter
core: pr
o
c
ess inline stat
e
me
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
D
a
n
C
arpenter
flow: handle asm statements corr
e
ctl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan
Carpenter
M
erge g
i
t://gi
t
.
kern
e
l
.
o
r
g/pu
b
/scm
/
d
e
v
e
l/
s
p
a
rse/chr
i
sl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan Car
p
e
n
t
er
add
u
bifs_asser
t
() to list of assert macr
o
s that call
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan
C
arpenter
check_dma:
a
dd
a
c
hec
k
for fo
o
= kmalloc(s
i
z
eof(*foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
D
a
n
Carpen
t
er
sign
e
d:
u
nsigned variabl
e
s
a
re allowed to
d
o math with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpenter
o
v
er
f
low: handle "if (strlen(
f
oo)
< 10) {
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan Car
p
e
n
ter
overflow: add
s
upport for strlen()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carpenter
leaks
:
replace ch
e
ck_
m
emory
.
c
with a re
w
rite check_
l
e
aks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carpenter
ge
t
_
var
i
able_f
r
om_
e
xp
r
_complex
(
)
:
return p
r
oper symbol
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan
Car
p
enter
Makefil
e
: s
m
all w
h
itesp
a
c
e
change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan Ca
r
penter
memory: remov
e
the warnings abou
t
freed
m
e
m
o
ry
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
D
a
n Carpenter
check_free:
create a separate
c
heck fo
r
misusing f
r
eed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-05
Da
n
Carpe
n
ter
related: ren
a
me d
i
nfo->equiv
to d
i
n
f
o->relat
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carpenter
cons
t
rain
t
s: shuffle
t
hings aro
u
n
d
a b
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan
C
a
rpe
n
ter
*new* scripts/generisiz
e
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
D
an Carp
e
nter
typ
e
: allow th
e
parameter
to
be null for type_uns
i
gned(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-15
Dan Carpent
e
r
redo
t
he ignored
_
macros s
t
uff properly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan
C
ar
p
en
t
er
condi
t
ions: fi
x
memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
D
an
Carpenter
el
i
m
inate
s
ome n
e
w "statement has no effect" false
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan
C
arpenter
get ri
d
of get_n
e
xt_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
D
a
n Carpenter
core: handle "foo = ({frob(); f
r
ob(); frob();
1;})
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Car
p
e
n
ter
lockin
g
: add
s
pin_trylock_i
r
qsave
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan
Carpe
n
te
r
fix
c
rashi
n
g bug caused by the little end
i
a
n
check
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpent
e
r
extra
:
ignore WARN_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
D
a
n Carpe
n
ter
er
r
_
p
t
r: remove jedec_pr
o
be() from err_ptr list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan
C
arpen
t
er
snpri
n
tf
:
turn o
f
f be
def
a
ult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Da
n
C
a
r
penter
val
i
dation: updat
e
ov
e
rflow test to ad
d
qu
o
t
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpenter
cond
i
tions: fi
x
handli
n
g of
_
_bui
l
tin_constant_p()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
D
a
n
C
a
rpenter
overf
l
ow: a
d
d quote
s
around vari
a
ble
names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan C
a
rpenter
overflow: ig
n
o
r
e arrays with
on
l
y
one
e
leme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan Carpent
e
r
o
v
er
f
low: add calloc() supp
o
r
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
D
an Ca
r
pen
t
er
overflo
w
:
chec
k
for cop
y
_to_u
s
er() overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-09
Dan
C
ar
p
enter
memory: f
i
x le
a
k
false pos
i
tiv
e
s caused by "foo = bar
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpenter
le16: fix false positives and turn on by
default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
D
a
n Carpenter
macro:
the
f
irst macro add
e
d is the one
t
o keep
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan
C
arpen
t
e
r
m
emory: add qu
o
tes in output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
Da
n
Carpenter
flow: fix
"
i
f();" fa
l
se positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
Dan
C
a
r
penter
e
xtra: tweak assignment of
u
nsigned va
l
ue
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-05
D
a
n Ca
r
pe
n
ter
s
mat
c
h
_
ext
r
a: cleanu
p
mat
c
h_a
s
s
ign
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-04
D
a
n
Carpenter
r
e
tur
n
_efault: f
i
nd more
bu
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
Dan Carpe
n
ter
*
new* re
t
urn_efaul
t
:
look
s
for
p
laces t
h
at shou
l
d re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
Dan Carpenter
s
match
_
typ
e
:
f
ix __bit
w
ise__ handlin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan Ca
r
penter
Update smatch_dat
a
/ for 2
.
6
.
3
5
-
rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan Carpent
e
r
*ne
w
*
pr
o
pagate:
check that erro
r
codes get pr
o
pagated
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-29
Dan
C
a
rpenter
err_ptr_der
e
f
:
d
on't c
o
mpla
i
n
if
t
he
v
ariable is null
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-26
Dan Carpenter
*new* che
c
k_macr
o
s:
find m
a
c
r
o precedence bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
D
a
n
Carpenter
hooks:
add LOGI
C
_HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan
Carpenter
macro_table: take the file int
o
a
c
cou
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpen
t
er
macro_ta
b
le: do not includ
e
s
m
atch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan C
a
r
pente
r
fl
o
w: hand
l
e logic things lik
e
:
f
oo
(
a && a-
>
bar
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
D
an Carpenter
signed: comparing
to
l
iterals together cr
e
ates
a
fal
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan
C
a
rpenter
de
r
e
f
_check: remove the
--spammy option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
D
an Car
p
en
t
er
delete check_
l
eaks
.
c: This check
was alwa
y
s wo
r
th
l
ess
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
wine:
f
ixup
the
n
o
ret
u
r
n fun
c
tions
a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
macro_t
a
b
l
e
.
c:
r
eplacement for
i
n
_m
a
cr
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
D
a
n Carpenter
small cleanup and a comment change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
D
an Carpenter
*new* ch
e
ck_sn
p
rintf: using the return value of snp
r
intf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carpenter
unused_return: pri
n
t fun
c
tion na
m
e that was i
g
nored
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
math: don't
p
ass negative nu
m
bers
a
s absolute max
f
or
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
implied: allow th
e
known
p
ar
t
to be a range li
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Ca
r
pent
e
r
m
a
t
h: fix ge
t
_ab
s
o
lute
_
min/m
a
x() for size
o
f()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
an C
a
rpenter
e
x
t
ra: ma
k
e do_comparis
o
n() handle two vari
a
bles
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
r
a
n
g
es: intr
o
duce free_rang
e
_li
s
t()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
an Carpenter
ranges:
in
t
roduce possibly_tru
e
/fals
e
_range_list
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Da
n
Carpente
r
precedence
:
don't complain about if foo is 0-1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
e
xt
r
a
: cleanup: rename d
o
_
com
p
arison_range()
=> do_comparison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan C
a
r
p
e
nter
k
n
own_condi
t
ion_true/
f
alse()
:
handle
ex
p
ression
s
tatements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Dan
C
arpen
t
er
*
n
ew* check_kun
m
ap(): c
o
nfusion bet
w
een kmap() a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpenter
*new* sm
a
tc
h
_
scripts/un
l
ock
e
d
_pat
h
s
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpenter
flow: cleanup: mak
e
split_
f
unction() it's own function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan C
a
rpen
t
er
deref_check: us
e
i
n
_macro() to sil
e
nce most of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
D
an
Carpe
n
ter
math: introduce get_absolute_min/max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Car
p
ent
e
r
math: cleanu
p
: ren
a
me get_implied_single_f
u
zzy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math: cleanup: shuffle some fun
c
tion
s
around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
mat
h
: cleanup: get ri
d
of
t
he *discard t
h
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpen
t
er
math: cleanu
p
: g
e
t rid
o
f IMP
L
IED_SING
L
E
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next