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-04
D
a
n
Carpenter
*
new* platfor
m
_dev
i
c
e
_put() vs pla
t
form_device_de
l
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Da
n
C
arpe
n
ter
un
w
ind:
l
iterals hi
g
her than zero are
n
ot an error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Car
p
ent
e
r
i
m
plied: only print
t
he nr
_
child
r
en m
e
ss
a
ges i
f
the
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan
C
a
rpenter
unwind: regist
e
r unwind fun
c
t
i
ons that u
n
wind everything
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpen
t
er
unwi
n
d: update eq
u
i
v
alent state
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpe
n
ter
e
x
tra: clean up unused variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
arpen
t
er
equ
i
v
:
upd
a
te vali
d
ation test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
ex
t
ra: handle WAR
N
_ON(f
u
nc
(
&
s
et_this_pointer));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpent
e
r
buf_size: I broke init
i
a
l
izer handling by mi
s
take
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
an
Carpenter
oo
p
s
.
fix compile
e
r
ror
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
arpenter
buf_size: r
e
move memset() a
n
d memmove()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
D
a
n Carpenter
implied_not_equal: handle literals
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpenter
resource: crashing b
u
g
on in
c
orrect
inpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carp
e
nter
buf_size: ignore d
y
nam
i
c
ally sized a
r
rays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_siz
e
:
a
d
d
s
upport for memdup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpente
r
buf
_
size: add support for
s
trndup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
b
uf_size: use s
t
r
cpy()
t
o
determi
n
e
the size
o
f the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
pe
n
ter
buf_size: use
strncpy
(
) an
d
friend
s
to set
the
b
u
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: whitespace cha
n
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
p
e
nter
o
ver
f
low: remove unus
e
d functi
o
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
an Carpen
t
er
buf_size: use all
o
c_state_num() i
n
stead of custom version
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
an Carpenter
bu
f
_
size:
r
e
move un
u
sed d
e
f
i
nition
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
overflow:
make array size tr
a
cking into
a librar
y
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
Dan Carpente
r
unw
i
n
d: add pci_ioma
p
()
a
n
d
pci_iounmap()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
D
a
n
Carpenter
*new* check_kmall
o
c_to_bug
o
n: don't call bug_on() for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carpent
e
r
*
ne
w
*
c
heck_unw
i
nd: check
t
hat module
_
init
f
u
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpe
n
ter
core: proce
s
s i
n
l
i
ne statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carp
e
nter
flow:
handle
a
sm statements correct
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
D
a
n Carpenter
M
erge git://git
.
k
e
rnel
.
org/pub/
s
cm/
d
evel/sparse/ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpen
t
e
r
add u
b
ifs_asse
r
t
() to li
s
t
o
f
a
ssert macros
t
hat call
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpe
n
ter
c
heck_dm
a
: add a check for fo
o
=
k
malloc(sizeof(*foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
Dan Car
p
enter
signed: unsigned variables ar
e
all
o
w
ed to do math with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan Ca
r
penter
ove
r
flow: handle "if (strlen(foo) <
10)
{
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan Ca
r
p
enter
ove
r
f
l
ow:
a
d
d
support for strlen
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Tilman Sauerbeck
Warn
if random
p
ointers are used as source bu
f
fers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
D
an Ca
r
pent
e
r
leaks: replace check_memory
.
c with
a
re
w
r
i
t
e check_leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carpenter
get_varia
b
le_from_expr
_
complex(): re
t
u
rn pro
p
er symb
o
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Tilman Sauerbeck
Added a test
case fo
r
th
e
recentl
y
introduced extended
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
D
a
n Carpenter
Makefile:
s
m
all whitespace
change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
D
an Carpenter
memory: remove
t
he warnings about freed memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
T
i
l
man
S
a
ue
r
beck
Find lea
k
s th
a
t occu
r
by
setting pointers
t
o allo
c
ated
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Tilman Sa
u
erbe
c
k
Added a
s
imp
l
e te
s
t case for the doub
l
e free
c
hecke
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan
C
arpenter
check_free:
create a
separa
t
e
c
heck for misusing f
r
e
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-05
Dan Carpenter
relat
e
d: rename din
f
o->
e
quiv to dinfo->relate
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carpe
n
ter
constraints: shuffle things around a bi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
D
a
n Carpenter
*new* scr
i
p
ts/gener
i
s
i
z
e
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan
C
a
rpen
t
er
t
ype: allo
w
the parameter
to be null for type
_
unsigned(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-15
Da
n
Carpenter
red
o
the ig
n
ored_macros stuff properly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Da
n
Carpen
t
er
co
n
d
itions:
fi
x
memo
r
y leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Car
p
ent
e
r
elimi
n
ate some new "statement
has no effec
t
"
false
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carp
e
nter
g
e
t rid o
f
ge
t
_n
e
xt
_
stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
core: handle "foo
= ({frob(
)
; frob()
;
f
r
ob()
;
1;}
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Car
p
ente
r
locking: a
d
d spin_try
l
ock_irqsa
v
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan
Carpe
n
ter
fix
c
r
ashing bu
g
caused by the little
endi
a
n c
h
eck
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan C
a
rpenter
extra: ignore
W
ARN
_
O
N
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Da
n
Carpenter
err_ptr:
remov
e
jedec_probe() from err_ptr
list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
D
an
C
a
rpenter
snprintf:
t
u
rn
o
ff
b
e
d
e
fault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
D
an Ca
r
penter
validation: up
d
ate
o
v
e
r
flow
t
e
st to a
d
d quotes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
D
a
n
Carpenter
conditions:
fi
x
h
a
n
d
ling of
__builti
n
_co
n
stant_p()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan Carpente
r
overfl
o
w: add
quotes around v
a
riable
n
ames
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
D
a
n
Carpenter
overflow: ignore arr
a
ys
w
ith only one element
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
D
a
n Carpenter
overflow:
a
dd
c
alloc(
)
s
upport
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan Carpe
n
t
e
r
ov
e
rflow: check
f
or
c
opy_
t
o_user() overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-09
D
a
n Carpent
e
r
m
e
m
ory: fix leak f
a
lse
pos
i
tives caused by "f
o
o
= bar
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Car
p
enter
l
e
16
:
fix
false
positives
a
n
d turn
on by defau
l
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpenter
macro: the
fi
r
st macro added is
t
he one t
o
keep
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpenter
memory:
a
dd
q
uot
e
s
i
n
o
u
tput
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
Da
n
Carpe
n
te
r
flow: fi
x
"if();" false
p
ositives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
Dan
C
a
rpenter
e
x
tra:
t
w
eak assign
m
ent of
u
nsigned valu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-05
Dan Carpent
e
r
smatch_extra: cleanup match_assi
g
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-04
Dan Carpe
n
ter
return_
e
fault: fin
d
m
or
e
bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
Dan Carpenter
*ne
w
*
return_efault:
looks for places that
s
houl
d
ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
Dan Ca
r
pen
t
er
smatch_type:
fix __
b
itwi
s
e
_
_ handlin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan Car
p
ent
e
r
Update sma
t
ch
_
data
/
for 2
.
6
.
35-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan Carpent
e
r
*new* pro
p
agate
:
check
t
h
at
e
rror codes
g
e
t
propagated
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-29
Dan C
a
r
pe
n
ter
e
r
r_ptr
_
deref: don't
complain if th
e
vari
a
ble is null
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-26
Dan Ca
r
p
en
t
er
*new*
c
h
eck_mac
r
o
s
: find ma
c
ro pre
c
e
dence bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carp
e
nter
hooks: add LOGIC_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carpenter
macro_table: take
t
he file in
t
o account
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
D
a
n
C
a
r
p
enter
macro_tabl
e
: do
n
o
t include smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
D
an C
a
rpent
e
r
flow: handle logic things like:
f
o
o(a &
&
a
-
>
bar);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan C
a
rp
e
nter
signed: c
o
mpa
r
ing
to l
i
terals
t
ogether
creates a false
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpen
t
er
deref_ch
e
ck: remove
t
he
-
-spammy option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
delete check_leaks
.
c
: Thi
s
chec
k
was
always worth
l
ess
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Car
p
enter
wine:
fi
x
u
p the n
o
return
fun
c
tions a b
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
D
an Carpente
r
m
acro_t
a
ble
.
c: repl
a
cement
for in_mac
r
o()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpenter
small clean
u
p
a
n
d a comment change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpe
n
ter
*new* check_snpr
i
ntf: u
s
ing t
h
e return value of sn
p
rintf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carpenter
un
u
se
d
_ret
u
rn: pri
n
t function name t
h
at was ignored
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carp
e
nter
math: don't
pa
s
s
ne
g
ative numbe
r
s as absolute
m
a
x f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
implied: al
l
ow the known par
t
to
be
a
rang
e
list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n Carp
e
n
t
er
math: fix get
_
absolute_mi
n
/m
a
x
(
) for
s
izeof
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
ext
r
a: make do_comparison() handle
t
wo v
a
ria
b
les
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
r
anges: intr
o
duce free_ran
g
e_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
an Ca
r
p
e
n
ter
r
ange
s
: introduce pos
s
i
bly_true
/
fal
s
e_ra
n
ge_lists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n Carpenter
precedence:
don't co
m
plain about
i
f
foo is 0-1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpent
e
r
extra: cl
e
anup
:
rename do_comparison_range() => do_comp
a
ri
s
on()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Ca
r
pen
t
e
r
known_condition_true
/
false(): h
a
n
d
le
expr
e
ssion
s
t
at
e
ments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
D
an Carpen
t
er
*
n
ew* che
c
k
_
kun
m
ap(): conf
u
s
i
on betw
e
e
n
k
m
ap()
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
Dan
C
ar
p
enter
*new* s
m
atc
h
_scri
p
ts/unlocked_paths
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next