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
Call the merge_hook() instead of setting the state to &undefined.
2009-02-18
Da
n
Carpenter
Call the me
r
g
e_hook() instead of settin
g
the st
a
t
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
p
e
nter
Oops
.
M
e
a
n
t to commit this
e
ar
l
i
er
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
a
rpenter
Add th
e
merge_hoo
k
(
) back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carp
e
nter
Clear th
e
ret
u
rns lists at the end o
f
each functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
a
rpente
r
Move t
h
e imp
l
i
cations checking to after
t
he scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Ca
r
penter
Rewrite completely
w
ith new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Add some
f
u
n
c
t
ions to
han
d
l
e
tra
c
ker li
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carp
e
nter
D
on't segfault all the
time when c
h
ecking forev
e
r
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Car
p
e
n
ter
Test to
s
ee if we are catching cross
function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
penter
Use th
e
->poss
i
b
le states
a
n
d
r
e
mo
v
e
t
h
e merge_hook
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carp
e
nter
"
w
hile (
(
1)) {" is
a fo
r
ever
loop
.
Ca
l
l s
t
r
i
p_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
f
ixes to the -> possible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpen
t
er
Merge b
r
a
n
ch 'master' in
t
o
null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
penter
Add valid
a
tion script
f
or
c
heck_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
C
l
e
an up
.
new->possi
b
le is alway
s
nul
l
here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
O
o
p
s
.
->
p
os
s
ibles was
n
't getting set correct
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Use strip_expr(
)
in sp
l
it_
c
onditions(
)
inste
a
d reprod
u
cing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Add some more operation
s
to get_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Ca
r
p
en
t
er
R
e
turn &m
e
rg
e
d i
n
stea
d
of
&
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
make
g
et_val
u
e() return a val
u
e for bit
w
ise or ex
p
re
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
Try again removi
n
g states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an
C
arpenter
Revert "Remove a state from it's
-
>pools when
s
et_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
Ca
r
pent
e
r
Eliminate
a
warning
.
Proba
b
ly the
wr
o
ng way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Cl
e
an up
s
.
Comments
.
R
e
name
slis
t
_stack
to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpen
t
er
Ha ha
.
I
s
till
suck at point
e
r
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Cleanups
.
Comme
n
ts
.
Re
m
ove debugging
c
ode from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
rpenter
Clean up
.
Also p
r
eserve the ->p
o
ols i
n
on
e
path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Car
p
enter
Clean up
ge
t
_state_slist(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpen
t
er
Remove __overwrite
_
cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
There
w
as
d
e
buggi
n
g o
u
tput that a
c
cidenta
l
ly
got
committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
e
move a
s
t
ate from it
'
s ->p
o
ols wh
e
n set_state() i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Don't delete the -
>
p
o
ols on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Try u
n
derstand the implicat
i
o
n
s
fro
m
c
o
mpound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carp
e
nter
Cre
a
t
e
a state &merge
d
.
When we
m
erge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smatch_implied _reall
y
_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Ignore cscope
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Sm
a
ll cleanups
.
(White space
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Ca
r
p
e
nte
r
Whitespa
c
e cha
n
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add s
o
me more locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix
implied pools
so tha
t
at
least it
do
e
s som
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
It s
e
emed
l
ike tracker_list would be us
e
ful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a README describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
ent
e
r
Add script to f
i
nd NU
L
L de
r
efer
e
nces betwe
e
n
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
rpenter
Fix usage
messa
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Check for
malloc()
as well
a
s kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Fix
s
egfault when handling implicitly dec
l
ared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
W
a
rn when we don't
a
c
qui
r
e
locks
when callin
g
cert
a
i
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpenter
Try
(and fail) to find memory
l
eaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpente
r
A
l
most print a message when you come to unreach
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
check t
o
look for double fre
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carp
e
nter
A
d
d ch
e
ckin
g
f
or l
o
ck_kerne
l
(
)/unl
o
ck_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Make check_locking check both s
p
inloc
k
s and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carp
e
nter
Ad
d
a new function s
l
ist_has_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
n
ter
If there is
a
n i++
then the value of 'i' is und
e
fi
n
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
arpenter
Add
a new check_lock
i
ng script that chec
k
s spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Save
the possible
s
ta
t
es instead
o
f jus
t
merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ign
o
re emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpenter
Merge
branch 'master' into pools
5
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpe
n
ter
Add
a
comment showing where the
tests a
r
e s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left ove
r
f
rom Octo
b
e
r
as
p
a
r
t of the i
m
plied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Add get_possible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Stuff le
f
t o
v
er from October
.
I
mplied
pools
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
W
e
could sav
e
some memory
b
y not a
l
locating
new memo
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Ca
r
penter
Fi
x
memory le
a
k
.
Add more
comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Add a merge
hook
.
Ha
n
dle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
e
r
strc
m
p() doesn't
a
ccept NUL
L
a
r
gumen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename two fu
n
cti
o
ns: g
e
t_variable_from_exp
r
_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
g
e
t
_variab
l
e_from_expr() uses a static buffer a
n
d
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Create a che
c
k_temp
l
ate
.
c example script
t
h
a
t look
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpe
n
ter
Make get_all_states() n
o
t
s
egf
a
ult e
v
er
y
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_valu
e
() to r
e
tu
r
n
n
eg
a
tive va
l
u
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
C
ar
p
enter
W
e
only ever p
a
ss one
p
aramete
r
into get
_
value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carp
e
nt
e
r
Fix g
e
t_al
l
_states() t
o
m
atch the fu
n
cti
o
n defi
n
ition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Car
p
e
nter
Remove add_st
a
te()
and state_
d
e
f
i
n
ed() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpente
r
Clean u
p
.
Fix leak
.
My proble
m
is that I don'
t
understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
In
i
t
i
a
l
commit of the "implied
state po
o
l
s
" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carpenter
Doh
.
We have
n
't been
u
sing smatc
h
_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get ri
d
o
f path_history
.
It's never going to
be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
n
ter
Make goto_sta
c
k stat
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
e
n
ter
Speed up merge_slist now that the
sli
s
ts are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpente
r
Insert stuff onto lists in a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpente
r
Delete an unu
s
ed function
merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
nter
fix: if
(
*foo) { (*foo)-
>
bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Car
p
enter
kmall
o
c() and frien
d
s don't always retur
n
a non
-
nu
l
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n Carpenter
The checks
from here got
me
r
ged into check
_
null_de
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpente
r
Move the stuff f
r
om
check_derefed
_
p
a
r
a
ms
.
c into
c
heck
_
null
_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carpenter
Fix bug in or_slist_stack()
.
if (a && b) wasn't be
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan
Carpe
n
ter
Add a h
o
ok at the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpen
t
er
Forgot another
s
trip_expr() call
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle assignmeents inside
cond
i
tions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
O
n
ly p
r
int some
t
hing for a-
>
foo an
d
not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Igno
r
e
array dec
l
ar
a
tions
.
Those can't be N
U
LL o
b
vi
o
usly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n
Carpenter
Ma
k
e cu
r
_slist static
.
It's only used i
n
s
match_state
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
penter
Whi
t
e
spa
c
e cha
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an
Carpen
t
er
Use
merge_slist() i
n
stead of tr
y
ing
to
handle it yo
u
rself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_contin
u
es
(
) is supposed to be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
N
e
w smatch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpen
t
er
(
foo) = 1 i
s
th
e
s
a
me as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
G
e
nera
l
i
ze stip_cas
t
s(
)
.
It's
no
w
c
alled strip_e
x
pr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpent
e
r
Ig
n
ore cas
t
s
.
foo((int *)&
b
ar
)
is the same
a
s
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next