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
Use the ->possible states and remove the merge_hook().
2009-02-18
D
an Carpente
r
Us
e
the ->possible states
an
d
remove the me
r
ge_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
"
while
(
(1)) {"
i
s a
forev
e
r l
o
o
p
.
Call st
r
ip_
e
xpr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fix
e
s to the ->
possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
e
n
ter
Merge branch
'master' in
t
o null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
A
dd validation script for check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carpe
n
ter
Clean
u
p
.
new->possib
l
e is always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpenter
Oops
.
-
>
possi
b
l
es wasn't getting set c
o
r
rectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use
st
r
i
p
_
expr() in sp
l
it_conditions()
i
ns
t
e
a
d reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
A
dd some more op
e
ration
s
to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpen
t
er
Return &merged
i
n
stead o
f
&undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpen
t
er
make get_value() return a value for bitwise or expr
e
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try
a
g
a
i
n
rem
o
ving states from
poo
l
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "
R
emove
a
s
tate from
i
t
's ->pools when
s
et_s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Elimi
n
ate
a
warnin
g
.
Probably the wr
o
ng way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Clean ups
.
Comments
.
Rename slist
_
stack to n
a
med_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Ha ha
.
I still suc
k
a
t
pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Cleanups
.
Commen
t
s
.
Rem
o
ve
d
ebuggin
g
code
fr
o
m
fil
t
er()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Cl
e
a
n
up
.
Also preserve the ->pools in on
e
path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clea
n
up get
_
state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
R
e
mo
v
e __overwrite_cur_slist
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
There was de
b
u
gging
o
u
t
p
u
t
t
hat accident
a
lly got
c
o
mmitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Re
m
ove a stat
e
from it
'
s ->pool
s
when set
_
sta
t
e
()
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Don'
t
delete
t
he
-
>p
o
ols o
n
m
e
r
gi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
r
y underst
a
nd
the implications from compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a state
&
merged
.
W
hen we merg
e
s
t
uff it
i
sn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Ok
.
This time smatch_i
m
pl
i
ed _really_ does som
e
t
h
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpe
n
ter
Ig
n
or
e
csc
o
pe f
i
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Car
p
enter
Sma
l
l cle
a
nups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
W
h
itespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more locking funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Fix implied pools so that
a
t
l
east it does somet
h
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It
s
eeme
d
like tr
a
ck
e
r_list wou
l
d
be u
s
eful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Add a RE
A
DM
E
describing sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pente
r
Add
sc
r
ipt to find NULL
der
e
fe
r
ences between f
u
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpente
r
Fix us
a
ge
message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
e
r
Check for malloc
(
) as well as kmalloc
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Fix
s
egfault when handling implicitly declared
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpen
t
e
r
Warn when
w
e don't acquire locks w
h
en c
a
lling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Ca
r
pent
e
r
Try (and
f
a
i
l) to find memory leak
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
er
Almost
print a message wh
e
n
you come
t
o
unreachabl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Add
c
heck
t
o look
f
or double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Add checking fo
r
lock_kernel()/u
n
lock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Mak
e
c
heck_
l
oc
k
ing che
c
k both spinlocks and semapho
r
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
a
rpen
t
er
Add a n
e
w f
u
nction
s
list_ha
s
_s
t
at
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpen
t
er
If there is an
i
++
t
hen the
v
alu
e
o
f
'i' is u
n
defined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check_loc
k
ing script that
checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpe
n
ter
Save the pos
s
ible
s
tates ins
t
ead of jus
t
merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
ter
Ig
n
ore emac
s
ga
r
bage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
e
n
ter
Me
r
ge branch 'maste
r
' into
pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpen
t
er
F
i
x
likely() a
n
d u
n
like
l
y() hand
l
ing
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Ad
d
sin
g
le quotes aroun
d
t
h
e
v
ariable for consis
t
en
c
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpe
n
ter
W
e
co
u
ld save
s
ome memory by no
t
alloca
t
ing
new memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Add a comment s
h
owing where the
t
ests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Car
p
enter
This is left
o
ver fro
m
October as part of the im
p
l
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
A
d
d
get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Stuff left
over from Octobe
r
.
Impl
i
ed
pools wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We c
o
uld save some me
m
or
y
by no
t
allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpente
r
Fix memory leak
.
A
d
d more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Ca
r
pen
t
er
Add a
m
e
rge hook
.
Handle the
s
i
t
uations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
strcmp()
d
o
esn
'
t
accept NULL argumen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nt
e
r
rename two functions: get_
v
ar
i
able_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
g
et
_
va
r
i
a
ble_from_expr()
uses a static buff
e
r an
d
y
ou
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Creat
e
a check_templat
e
.
c exam
p
le script that l
o
o
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n C
a
rpenter
Mak
e
get_all_states() not segfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Fix get_va
l
ue() to r
e
t
u
rn negativ
e
values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
We only ever pass one parameter into
get_v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
r
pe
n
ter
Fix get_all_states() to mat
c
h the function
definit
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
e
move add_s
t
ate() and state_defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Clean up
.
Fix leak
.
My problem is tha
t
I
don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
C
a
rpe
n
ter
Initial
c
om
m
it of the "implied state p
o
ols" s
t
uff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
D
o
h
.
We haven't bee
n
us
i
ng smatch_extra
f
or a w
h
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an
Carpenter
Get rid of
p
ath_hi
s
t
o
ry
.
It's n
e
v
e
r
going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
a
rpenter
M
ake goto_stack sta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpente
r
Spe
e
d
u
p merg
e
_slist no
w
t
hat th
e
slists a
r
e ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n
Carpenter
Inser
t
stuff onto lis
t
s
i
n a sor
t
ed order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an
C
a
r
pe
n
ter
Delete an un
u
se
d
func
t
ion mer
g
e_state_s
t
ack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
an Carpenter
f
ix:
i
f (*f
o
o) { (
*
foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan
C
ar
p
enter
kmalloc(
)
an
d
friends don't
a
lways re
t
u
r
n a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Carpenter
The checks from here got merged in
t
o che
c
k_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpe
n
ter
Move the s
t
u
f
f from check_derefed_params
.
c into chec
k
_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpent
e
r
F
i
x bu
g
i
n
or_slist_st
a
ck()
.
if (
a
&
& b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
an C
a
rpent
e
r
A
d
d a hook at th
e
end of a f
i
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rp
e
nter
Forgot
ano
t
her
s
trip
_
expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Car
p
enter
Handle assignmee
n
ts inside conditions be
t
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carp
e
nter
Only print something f
o
r
a
->foo and not a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpente
r
Ignor
e
array declarations
.
Those
can't be NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Car
p
enter
Make c
u
r_sl
i
st
static
.
I
t
's only used in smatc
h
_
states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
W
hite space chan
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpe
n
ter
Use merge_slist() instead o
f
trying
to
handle i
t
yours
e
lf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_continues() is s
u
ppos
e
d to be basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpen
t
er
New smatch_igno
r
e
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo)
=
1 is the same as fo
o
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
pe
n
ter
Ge
n
eralize stip
_
cas
t
s()
.
I
t
's no
w
called
s
trip_exp
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore casts
.
foo((
i
nt *)
&
b
ar) is the
same
a
s
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpente
r
Created show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carp
e
nter
Ignore stuff like f
o
o
.
bar
.
W
e on
l
y car
e
ab
o
ut
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
What
happens b
e
fore is
t
hat parameters would
g
e
t assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed a cr
a
shing
bug in the int => str
u
c
t
c
onve
r
sion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
I can'
t
believe
I was doing sta
c
ks wrong th
i
s whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
Chan
g
ed smatch state fr
o
m b
e
i
ng an int to b
e
ing pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next