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
Pop the pre_condition_stack at the correct point
2009-12-04
Dan Carpenter
Pop t
h
e p
r
e_conditio
n
_stack at the correct point
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan
C
arpenter
fix issu
e
wi
t
h ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
an Carpenter
F
i
x
get_imp
l
ied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpenter
Fix neg
a
te bug
.
(Dereferencing undefined false po
s
itive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Updat
e
com
m
ent
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Ca
r
penter
wi
n
e
:
w
i
ne_checke
r
.
sh
f
or checking in
d
ivi
d
u
al files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n C
a
rp
e
nter
wine:
a
dd more fun
c
tions that don't ret
u
r
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nter
rev
e
rt part of f4a
4
592
9
2e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
a
rpenter
sm
a
tch_extra: impr
o
ve and fix
assignment han
d
ling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpente
r
scoped_st
a
t
e
() make t
h
e parameter order match everything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
checks: remo
v
e some sho
w
_special() cal
l
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpenter
smatc
h
_hel
p
er
.
c remove many cal
l
s to show_special()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
s
mall clean up
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
n
ter
fix bug with function im
p
lications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
exit a
n
d ExitPro
c
ess
d
o
n't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_extr
a
.
c: rem
o
v
e
som
e
show_spec
i
al
(
)
c
a
lls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpent
e
r
check_deref_ch
e
ck
:
get
r
id
of
s
ome fa
l
se p
o
sitiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpen
t
er
spe
l
ling: memery => mem
o
ry
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
disgusting
h
ack
to stop false pos
i
tive buffer overflow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fix
+
= and
-= handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
wine: fix some l
o
ck n
a
me
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Carpenter
wine: Rpc
R
aise
E
x
c
epti
o
n never returns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
an
C
arpenter
add opti
o
n --f
u
ll-path
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Car
p
enter
wine:
c
heck for loc
k
ing bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan
C
arp
e
nter
F
ix some reve
r
sed if cond
i
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
Carpenter
free can
hand
l
e nul
l
pointers:
i
f
(
fo
o
) free(foo);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
wine: check for
W
toA cr
o
ss calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
A
dd INVALI
D
_H
A
N
DLE_VALUE check
f
or
w
i
n
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpenter
re
c
om
p
ile all
t
he chec
k
s
if smat
c
h_extra
.
h changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[p
a
t
ch 9/9
]
last patch to remove
U
N
DEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpente
r
[
patch 8/many]
d
e
a
l with variable_non_zero()
(UNDEFINED
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[
p
a
tch 7/many] no UNDEFINE
D
from get_value(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
penter
[patch 6/many] r
e
move UNDEFINED from last_s
t
m
t
_
v
al()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
[
p
atch 5/many] get r
i
d of
a few more
U
NDEFINEs sma
t
c
h
_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patch 4/many] get rid of UNDEFI
N
ED
i
n smat
c
h_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
[patc
h
3/many]
remove UNDEF
I
NE
D
from get_impli
e
d
_(mi
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[p
a
tc
h
2/many] get_impl
i
ed_value(
)
should not return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[patch
1/ma
n
y] get rid of UND
E
F
I
N
ED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Add v
a
lidat
i
on test for
c
heck_h
e
l
d
_de
v
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
penter
Make some kernel specific stuff de
p
e
nd on -p=kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Ad
d
a new (soon to be ma
n
d
a
t
o
ry) --project=
op
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carp
e
nter
M
ak
e
smatch installable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try h
a
ndle do
{
}
w
hile (i-- >
0
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try handle
++ and
-- better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan C
a
rpenter
Imp
r
ove
hand
l
ing: do {} while (--co
n
tinue >= 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan
Carpenter
S
m
a
ll c
l
eanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n
Carpenter
kfree_sk
b
()
w
arnings ar
e
not sp
a
mmy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
H
a
nd
l
e
derefere
n
ces like *foo not just
foo
-
>bar
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpente
r
Get r
i
d of th
e
bitwise or check
.
It didn'
t
f
i
nd bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
D
a
n
C
arpenter
add __raw_spin_lock/unlo
c
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
Dan
Carpenter
Make ranged functions pass the assig
n
m
e
n
t
e
xp
r
ession
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpenter
M
a
ke
variable initia
l
ization int
o
assignment statement
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
Da
n
Ca
r
penter
Dele
t
e check_init
i
ali
z
er_d
e
r
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-14
D
a
n Carpenter
Modif
y
t
h
e
r
e
turn
h
ook
t
o p
a
s
s
a
n
expression instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpente
r
Do c
l
ear the
r
a
n
ge info
s
o early
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
introd
u
ce is_error_return()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpente
r
make functio
n
declara
t
ion static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-12
Dan Carpenter
Do not acci
d
entally delete
.
h files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan
Carpenter
New mis
s
in
g
dev_put
(
) check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpente
r
Handl
e
i
f
((dev
=
foo()) == NUL
L
) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Da
n
Carpenter
si
l
l
y false
p
ositive: retu
r
n
fo
o
; <- fo
o
possibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Car
p
e
n
t
er
Updat
e
s
m
at
c
h_d
a
ta to 2
.
6
.
32-
r
c6
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
Add some
c
o
m
me
n
t
s an
d
copyright notices
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan
Carpen
t
er
s
mall clean up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Ca
r
pent
e
r
Fi
x
segfault
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
D
a
n
Carpenter
Allow p
e
ople
t
o use kchecker f
i
le
.
o as well as
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Init
i
alize values pr
o
perly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpente
r
Tur
n
t
he two pas
s
syst
e
m off by
d
efault
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
D
a
n
Carpenter
Opti
m
ization: prepend()
-
> appe
n
d(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpent
e
r
Print an error for
t
his:
if (a | b)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpe
n
te
r
Dua
l
p
a
s
s
system [patch
#2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Da
n
Carpenter
Dua
l
pass syste
m
[p
a
tch #1]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
c
lean up
:
mo
v
e
D
I
MPLIED()
to smatch_imp
l
ied
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan
Carpenter
code churn: renam
e
SM_DEB
U
G() to sm_deb
u
g()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpent
e
r
co
d
e c
h
urn:
rena
m
e smat
c
h_
m
sg() to sm
_
msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carp
e
nter
mo
v
e my_id param
e
te
r
[part 2
of 2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan
Carpenter
Move my_id
p
a
r
ame
t
er
.
[p
a
rt 1 of
2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
D
a
n
C
arpenter
Imp
r
ove check_err_ptr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpent
e
r
funct
i
on
w
a
s
supposed
t
o be s
t
atic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
D
a
n Carpent
e
r
disable smatch_containers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
Carpent
e
r
Random ugly cha
n
ge
s
to check_ove
r
flo
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Stop printing so
m
uch info all the time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
Carpenter
New
o
ption: -
-
spamm
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpent
e
r
R
e
mo
v
e optimiz
a
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Da
n
Carpe
n
te
r
A
d
d
chec
k
_ass
i
gned_ex
p
r
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpenter
fix
c
alculating si
z
eof
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
ret
u
r
n
U
N
D
EFINED
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n C
a
r
pe
n
t
er
T
a
lk ab
o
ut smatch_scripts/kch
e
c
k
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Improve get_imp
l
i
ed
_
value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
p
e
nter
cor
r
ect format
.
warning: =>
w
arn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
penter
Add some strip_expr() ca
l
ls to the
function hooks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
I
mprove bu
f
fer overflow
check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
Dan Carpenter
in
t
r
oduc
e
smatch
_
containers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
Dan Carpe
n
ter
introduce set_state_expr() and friends
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
add check_deref_
c
h
e
ck
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
a
d
de
d
ch
e
ck_initia
l
izer
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpent
e
r
new hook: add_modifi
c
ation_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carp
e
nter
move som
e
d
e
claration
s
out of s
m
atch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-21
Dan Carpenter
Update sm
a
tch_data for 2
.
6
.
31-pre3
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
D
a
n
Ca
r
penter
Improv
e
t
h
e disp
l
ayed variab
l
e names
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next