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
Merge branch 'master' into null_deref
2009-02-17
Dan Carpe
n
t
e
r
M
erge bra
n
ch 'master' in
t
o n
u
ll
_
deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpen
t
e
r
Add valida
t
i
o
n script fo
r
c
h
eck_null
_
d
ere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
D
a
n Carpenter
Clean up
.
new->
p
ossible is
a
lw
a
ys nu
l
l here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
Oop
s
.
->
p
ossibles wa
s
n't
getting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
e
n
ter
Us
e
s
trip_expr(
)
in
s
p
lit_c
o
nditions()
ins
t
ead
r
eproducin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some m
o
re operation
s
to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpent
e
r
Re
t
urn &merged instead of &undefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Ca
r
penter
make get_v
a
l
u
e
() r
e
turn
a
value for bitwise or exp
r
es
s
i
o
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Try again removing states from poo
l
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpente
r
Re
v
ert "Remove
a st
a
te
from it's -
>
p
ools when
s
et_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpent
e
r
Eliminate a w
a
r
ning
.
P
r
obably
t
he wr
o
ng
w
ay to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
C
l
ean ups
.
Comm
e
nts
.
Rename slist_
s
t
ack
to named_stac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carp
e
n
t
er
H
a
ha
.
I still suck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pe
n
t
e
r
Cleanup
s
.
Comments
.
Remove debugging code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pe
n
ter
Cle
a
n up
.
Also preserve t
h
e ->
p
ools in one pa
t
h of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Cle
a
n
up
ge
t
_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Remove __overwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
There wa
s
deb
u
ggi
n
g output that accidentally
go
t
committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Remove a state
f
rom
i
t's ->
p
ools when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rp
e
nter
Don't delete
the
->pools on mer
g
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try
understand
the implicat
i
ons f
r
om
c
o
m
pound co
n
ditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpent
e
r
C
reate a s
t
ate &merged
.
Whe
n
w
e me
r
ge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Car
p
enter
Ok
.
This time smatch_impli
e
d _r
e
ally_ does
s
omethi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpenter
Ignore csc
o
pe files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Small cleanups
.
(Whit
e
space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whit
e
s
p
ace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
ar
p
ente
r
Add
some more
l
ocking
f
un
c
t
io
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
te
r
Fix
im
p
l
ied pools s
o
t
h
at
a
t least
i
t does somet
h
in
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed like tracker_list w
o
u
l
d b
e
u
seful i
n
a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Add a
README
describi
n
g sm
a
tch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpen
t
er
Add sc
r
ipt
t
o find NU
L
L dereferenc
e
s betw
e
en func
t
i
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
n
t
e
r
Fix usage mess
a
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Check for mall
o
c() as well
a
s kmall
o
c(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Fix seg
f
a
u
lt when handling
i
mplicitly declar
e
d fu
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpen
t
er
Warn when w
e
don't acquire locks when
calli
n
g certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
penter
Try (and
fail) to
f
ind
memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a message when
you come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d check to look for
d
ouble fr
e
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking for lock_
k
ernel()/unlock_ker
n
el()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Car
p
enter
Make c
h
eck_locking check both
spinlo
c
ks a
n
d semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Add
a
new func
t
ion
slist_h
a
s_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
I
f there is an i
+
+
t
hen
the valu
e
of 'i' is undef
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new
c
hec
k
_
l
o
cking script that checks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carp
e
n
ter
S
av
e
the possibl
e
st
a
tes instead o
f
just mer
g
ing
t
hem
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
C
arpenter
I
gnore emac
s
gar
b
age
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpent
e
r
Merge branch 'master' into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
a
comm
e
nt showing
wh
e
re the tests ar
e
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
This
i
s
le
f
t o
v
er from Octob
e
r
as pa
r
t of the
i
mpli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Add
get
_
po
s
sible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
arpenter
S
tu
f
f left
o
v
er from Oc
t
obe
r
.
Implied pools wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Ca
r
penter
We coul
d
save
some
memory by not allocating new me
m
ory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
Carpent
e
r
Fix
m
emory
lea
k
.
Ad
d
mo
r
e
c
omments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Add a merge hook
.
H
andl
e
the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
strcmp()
d
o
e
s
n't ac
c
e
pt
N
ULL ar
g
uments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename two func
t
ions:
get_variable_
f
rom_e
x
pr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
r
p
enter
g
e
t_variab
l
e_from_expr(
)
uses a static buffe
r
and yo
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
rpenter
Creat
e
a
ch
e
ck_templ
a
te
.
c ex
a
mple script t
h
at looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Make
get_all_
s
tates
(
) not s
e
gfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carp
e
nter
Fix get_v
a
lue(
)
t
o retur
n
nega
t
iv
e
v
a
l
ues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
W
e only
e
v
er p
a
ss one par
a
meter into get
_
value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_
a
ll_states() to match the function definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Remove
a
d
d_state()
a
nd stat
e
_de
f
i
ned(
)
definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arp
e
nter
Clean up
.
Fix
leak
.
M
y problem is
t
hat
I don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Ini
t
ial co
m
mi
t
o
f
the "impli
e
d sta
t
e pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpe
n
ter
Doh
.
W
e
haven't been using smatch_extra fo
r
a wh
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpenter
Get rid of path_
h
istory
.
It's ne
v
er going to
be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Make
g
oto_st
a
c
k
s
t
a
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpe
n
ter
Speed up me
r
ge_s
l
ist now
tha
t
the s
l
i
sts are
o
rdered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Inser
t
stuff onto list
s
i
n a sorted orde
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Del
e
te an unus
e
d function
mer
g
e
_
state
_
stack
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix:
i
f (*foo) {
(
*foo)-
>
bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Car
p
enter
kmalloc() and friends don't
a
lways return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
Carpenter
The checks from here go
t
merged
into che
c
k_null_
d
eref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n
Carpenter
Move the st
u
ff from check_der
e
fed_par
a
ms
.
c int
o
chec
k
_
null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
F
i
x
b
u
g
in or_slist_sta
c
k()
.
i
f
(a && b) wa
s
n't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a hook
a
t the end
o
f a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
F
o
rg
o
t
another strip_exp
r
() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Handle
a
ssign
m
e
e
nts insi
d
e conditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
Only print something
f
o
r a->foo an
d
not
a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
arpenter
Ignore array declaration
s
.
Those can't b
e
NUL
L
obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
D
an Car
p
e
n
t
e
r
Make cur
_
s
list static
.
It's
only used in smatch
_
stat
e
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Ca
r
p
e
nter
White sp
a
ce c
h
a
n
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
U
s
e merge_slist() in
s
tead
of
t
r
ying to
h
andle it y
o
urself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_
c
ontin
u
e
s() is supposed to be ba
s
i
call
y
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
New sma
t
ch_ignor
e
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpe
n
t
e
r
(foo) = 1
i
s the same as foo
=
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpenter
Generalize st
i
p
_
c
asts()
.
It's now called
s
trip
_
expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignor
e
cas
t
s
.
foo((int *
)
&bar
)
is the sa
m
e
as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Created sh
o
w_
s
tate
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignor
e
stuff like f
o
o
.
b
ar
.
We
o
n
ly car
e
about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Carpenter
What happ
e
n
s
befor
e
is that parameters would
ge
t
assi
g
ned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Mis
s
ed
a
crashing bug in
the int => struct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpen
t
e
r
I
can'
t
believe I
w
as
doing stacks
wr
o
ng this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
enter
Change
d
s
m
atc
h
state from being
a
n int
to being
p
o
in
t
er
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
I want to
re
u
se the na
m
e smatch_state
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
Red
o
the
n
u
l
l path thing
.
S
o
long as
there
i
s
o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
Clean up
.
C
ompl
i
c
a
ted is ju
s
t a bo
o
lean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpe
n
te
r
M
erge branch
'devel'
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
Save the pre condi
t
i
o
n
s
in
s
id
e
t
he condit
i
ons so t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The main change here
was to
c
ompl
e
tely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next