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
Fix string memory leaks.
2009-03-03
Dan Carpente
r
Fix
st
r
ing m
e
mory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
Re
m
ov
e
unneeded allocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove
o
u
t
dated comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
Don't __free_sm_st
a
te() until end of function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
free_
s
list() after calling get_all_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpe
n
ter
don
'
t
reallocate t
h
e
->possible states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
p
e
nt
e
r
Get rid
o
f unused l
i
ne
h
istory
c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Ca
r
pen
t
er
Fix some mem
o
ry leaks in __imp
l
ied_sta
t
es
_
hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
A
dd f
r
ee_
t
rac
k
ers_and_
l
ist() and fre
e
_
t
r
ac
k
er_list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carp
e
n
ter
Add ne
w
free_stack() funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename del_sl
i
st_stack() to free_
s
tack_and_s
l
i
s
ts()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
C
arpenter
ren
a
me del_
s
li
s
t() -> free_
s
list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an
Carpenter
Fre
e
all the sm_states
at t
h
e end o
f
each
func
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Ca
r
p
e
nte
r
Add ->
p
o
s
s
ible t
o
__print
_
sl
i
st() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan C
a
rpenter
Save all the pools a
s
tate go
e
s through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add and f
i
x smatch im
p
lied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpe
n
ter
Pr
e
serve
t
he ->pools and
-
>p
o
ssible for implied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Fix handling mu
t
u
a
lly exclusiv
e
st
a
tes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Get r
i
d
o
f
redundan
t
harmonize_stat
e
s(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
C
arpenter
Add
function __set_true_false
_
sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Only
s
av
e
an implied l
i
st if a state has
b
een
m
o
difi
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpe
n
ter
Only implied states that aren't alrea
d
y true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpent
e
r
T
a
k
e
a
p
a
rameter i
n
stead
o
f
assum
i
n
g
the out
p
ut is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don't c
h
eck that there are both t
r
u
e
and false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpenter
Thi
s
c
heck_order() seems
superfluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
New f
u
nction ha
r
monize_stat
e
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call __split_ex
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n
Car
p
enter
remove
unne
e
d
ed calls
t
o __use_co
n
d_tr
u
e
_
states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpen
t
er
Don't set the implied state to &
m
e
rged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Carpen
t
er
Make cmp_t
r
ac
k
er() access
i
b
l
e to out
s
ide
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
a
rpent
e
r
Al
l
the s
t
ates are implied not just unique o
n
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
Improve lock check output
.
Add mo
r
e validation sampl
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
n
ter
Add
s
upport for do
w
n
_in
t
er
r
uptible() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix the Unclear locking thing
.
A
g
ain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
er
War
n
o
n
double lock/unlock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print
fe
w
er
Unclear
locking messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpent
e
r
i
f ((
1
)) {
.
.
.
is a known_
c
ondit
i
on
_
tr
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
C
a
rpent
e
r
Add su
p
port for those funny gcc ({
.
.
.
}) block statement
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
H
andle declarat
i
o
ns i
n
si
d
e switch statement blo
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
ent
e
r
Cleanup is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add known_condition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Ca
r
pen
t
er
Fix han
d
ling of co
n
tinue inside do w
h
ile state
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don't set
l
e
t people set s
t
a
tes for unreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpent
e
r
Handle the i
t
erators correc
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpente
r
Add support fo
r
"
i
f (a?b:c) {
.
.
.
" ternary con
d
itions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
Add some supp
o
rt for _spin_
t
rylock() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (
a
|
|
b) { a->f
o
o; should print an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpen
t
er
T
h
is prints o
u
t error me
s
s
ages all the t
i
me that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpente
r
Assignment always sets &isfree
d
to something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Don't prin
t
cross_func errors if t
h
e
cal
l
ed
func
t
io
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpenter
Rem
o
ve call to alloc_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
Call t
h
e merge_h
o
ok() inst
e
a
d
of sett
i
ng the stat
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
pente
r
O
o
ps
.
Mean
t
to com
m
it
t
hi
s
ea
r
lier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpen
t
er
A
dd the m
e
rge_hook()
back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpen
t
er
Clea
r
the returns lists a
t
the e
n
d of e
a
ch function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the implicat
i
on
s
checking
to after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Re
w
ri
t
e
comp
l
etely with
new
goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpen
t
er
Add some f
u
nc
t
ions to
handle
tracker
li
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfault
all the tim
e
whe
n
checking fore
v
er
l
oops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Tes
t
to s
e
e if we
are catching cross function dere
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Use the ->pos
s
ible states a
n
d r
e
m
o
ve the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
"while ((1)) {" is
a
f
or
e
ver l
o
op
.
Call strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to the -
>
possible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
penter
Merge branch
'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add va
l
idati
o
n script for c
h
eck
_
null
_
d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan C
a
rpent
e
r
C
l
ean up
.
new->
p
ossible is al
w
ays nul
l
here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpen
t
er
Oops
.
->poss
i
bl
e
s was
n
't
gettin
g
set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
Use strip_expr() i
n
s
pl
i
t_condit
i
ons() instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Add some more operations to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
R
e
turn
&merged instea
d
of &un
d
efi
n
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
te
r
m
a
ke
g
et
_
value()
r
e
turn
a value
for bitwise or
expression
s
.
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Try again removin
g
states from
p
ools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Re
v
ert "Remove a state from it's ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
E
l
imi
n
ate a war
n
ing
.
Pro
b
ab
l
y th
e
wrong
w
ay to
d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
an ups
.
Comments
.
Rename slist_
s
t
a
ck to named_s
t
ack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
H
a ha
.
I still suck a
t
p
o
inters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Comments
.
Re
m
ove
d
ebugging code
f
rom f
i
l
t
er()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
r
penter
Clean up
.
A
lso
p
reserve
t
he ->pools
in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Cle
a
n up
get_state_sl
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Remove
__overwrite_cur
_
slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
T
h
ere was debugging output
t
hat a
c
cidentally got commi
t
ted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a
s
t
a
te from it's ->pools when set_state(
)
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
t
e
r
Don't delet
e
the
->pools on mer
g
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try
understand th
e
i
m
plications from compound condit
i
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Create
a state &mer
g
e
d
.
W
h
e
n we
merge stuff it
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpent
e
r
Ok
.
Thi
s
ti
m
e
s
match_implie
d
_re
a
lly_
does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Sma
l
l
c
leanups
.
(W
h
ite
space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whi
t
espace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpen
t
er
Add some more lock
i
n
g
functi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Fix implied
p
ools so tha
t
at l
e
ast it
d
o
es
s
om
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpente
r
It see
m
e
d
like
t
racker_li
s
t wo
u
ld be useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
e
nter
Add a
R
EAD
M
E d
e
scribing
s
matc
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
Add script to find NULL dereferences b
e
tween function
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
p
e
nter
Fix usage me
s
sage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Check for malloc() as wel
l
as
k
malloc(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
arpenter
F
i
x
segfault w
h
en handling implic
i
tly declar
e
d fu
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
W
a
r
n wh
e
n we
don't
a
cquire
locks when cal
l
ing cer
t
ain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
ente
r
Try (and fail) t
o
find memor
y
lea
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next