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 strip_expr() in split_conditions() instead reproducing it badly.
2009-02-14
D
a
n C
a
rpenter
Use strip_expr() i
n
spli
t
_con
d
it
i
ons(
)
instea
d
reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Add some m
o
r
e
o
p
era
t
i
ons to g
e
t_v
a
lu
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
R
eturn &merged
i
nstead o
f
&
u
ndefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
ma
k
e
ge
t
_
valu
e
(
) ret
u
rn
a
value for bitwis
e
or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
Try again rem
o
v
i
n
g
states
fr
o
m poo
l
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
Revert "Remove a
s
tate from it's
-
>
p
ools when s
e
t_s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
Ca
r
penter
Eliminate
a
war
n
ing
.
Probably the wrong way
t
o do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Clean ups
.
Comments
.
R
e
name slist_s
t
ac
k
to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpent
e
r
Ha ha
.
I st
i
ll suck at po
i
nters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
C
l
eanu
p
s
.
C
o
m
m
ents
.
Remove
de
b
ug
g
i
n
g code from
f
ilter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clean up
.
Also p
r
es
e
rve
the ->
p
oo
l
s in
one pat
h
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
C
lean up get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pe
n
ter
Remove _
_
overw
r
ite_cur_s
l
is
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Th
e
re was debu
g
ging o
u
t
p
ut that accidentally got com
m
it
t
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an
Car
p
enter
Re
m
o
ve a state from it's ->pools when set_state(
)
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpent
e
r
Don't d
e
lete the ->po
o
ls on mer
g
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Try under
s
ta
n
d the implications from com
p
o
un
d
co
n
dit
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
C
rea
t
e a state
&m
e
rged
.
When we merge
stuff
it i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Ok
.
Th
i
s
t
ime
s
match_implied _re
a
l
l
y_ does
something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignore cscope
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cleanups
.
(
White space
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Car
p
enter
W
h
itesp
a
ce
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpent
e
r
Add som
e
more locking functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
rpenter
Fi
x
i
mplied pools so
t
hat at le
a
st
it does
somethin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seeme
d
like tra
c
ker_l
i
st would be usef
u
l in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpente
r
Add a README describ
i
ng
smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add sc
r
ipt to find NULL de
r
eferences between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Fix usage
m
essage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carp
e
n
t
e
r
C
h
eck for malloc() as well
as kmalloc
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix se
g
fault when handling implicitly d
e
c
l
ared fu
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Warn whe
n
w
e
don't
ac
q
uire locks w
h
en calling cer
t
ain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
ent
e
r
Try (and fail) to fi
n
d memory
l
eaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Ca
r
p
e
n
ter
Almost
p
rint a
message when you come to u
n
reachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Ad
d
check
to look f
o
r double f
r
ees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Add checking
f
or
l
ock
_
kernel()/unloc
k
_kerne
l
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an C
a
rpen
t
e
r
M
a
k
e ch
e
ck_loc
k
i
ng che
c
k bo
t
h spinlocks and sem
a
phores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Add
a
new function slist_ha
s
_
s
ta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If
there is an i+
+
then the
v
alue of 'i' is undefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rpenter
A
dd a
n
ew check
_
l
o
cking
s
c
ri
p
t
that check
s
sp
i
n
l
o
cks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Save the possible s
t
ates
i
nstead of just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
Ignore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
ar
p
e
n
ter
Merge
b
ranch '
m
aster' into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Ad
d
a
c
omment showing where
the tests are suppo
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
arpenter
This is
l
e
f
t over from Oc
t
ober as par
t
of th
e
i
m
pli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
Add get_possib
l
e_s
t
ates()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
Stuff l
e
ft over from Oc
t
ober
.
Implie
d
pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
arp
e
nter
We could save
s
ome
mem
o
r
y
by not allocatin
g
n
ew memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
an
Carpenter
Fix memo
r
y leak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
Add a merge hook
.
Ha
n
dle
t
he situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
str
c
mp() doesn't acc
e
pt NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpente
r
r
ename
two
f
unctions:
g
et_va
r
iable_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_variable_from_expr()
uses
a
stat
i
c
b
u
f
fer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
arpenter
Cre
a
te a ch
e
ck_template
.
c exa
m
ple
script th
a
t
l
oo
k
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all_sta
t
es() not se
g
fa
u
lt
ever
y
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
e
r
Fix get_value() to retur
n
negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
W
e onl
y
ever
pa
s
s one p
a
rame
t
er
into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an
C
arpenter
Fix get
_
all_
s
ta
t
es() t
o
match th
e
f
un
c
ti
o
n defi
n
ition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
n
ter
R
e
move ad
d
_s
t
ate() an
d
state_defined() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
C
lean
up
.
F
ix
leak
.
M
y problem
is that I don't understa
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Initial commit o
f
th
e
"implied state pool
s
"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We hav
e
n't been using smat
c
h_
e
xtr
a
for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpen
t
er
G
e
t rid of path_his
t
or
y
.
It's never g
o
in
g
to be us
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Make goto_stac
k
static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
S
peed
u
p
merge_sl
i
st now that the sli
s
ts ar
e
ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
en
t
er
Inse
r
t s
t
uff ont
o
lists i
n
a s
o
r
t
e
d order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an Car
p
ente
r
De
l
et
e
an
u
n
u
se
d
fu
n
ction
merge_state
_
stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if
(
*foo)
{
(
*
foo)-
>
ba
r
;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpen
t
er
kmalloc()
a
n
d frien
d
s don
'
t always
re
t
u
rn a n
o
n-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan
C
arpenter
The
ch
e
cks from here
g
ot merg
e
d into c
h
e
c
k
_nul
l
_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpent
e
r
Move the
stuff from che
c
k
_
de
r
efed_params
.
c into
check_
n
ull_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
e
n
t
er
Fix bug in or_slist
_
stack(
)
.
if (a && b) wasn't
b
ein
g
.
.
.
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 o
f
a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
n
t
er
Forgot ano
t
her st
r
i
p
_expr
(
) call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Handle
assi
g
nm
e
ents
i
nside conditio
n
s
b
etter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Only
p
rint someth
i
ng for a
-
>fo
o
and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore arra
y
dec
l
arations
.
Those can't
be NULL ob
v
i
o
u
sly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_
s
list sta
t
i
c
.
It's
o
nly used in smatc
h
_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Ca
r
pent
e
r
White s
p
ace
c
hanges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
r
pe
n
ter
Use
m
erge_sl
i
st() i
n
s
tea
d
of
tryi
n
g
t
o handle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpenter
__process_continues(
)
is
suppose
d
to be b
a
s
i
c
a
lly
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
penter
New smatch_
i
gnore
.
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 Carpenter
Ge
n
era
l
i
z
e st
i
p_casts()
.
It's now called
strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Ig
n
ore casts
.
foo((int
*)
&
b
a
r) is
t
h
e same
as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Cr
e
ated show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpente
r
Ignore stuff like f
o
o
.
bar
.
We only c
a
r
e about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Wh
a
t happens before is that p
a
rameters
w
ould get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
M
i
sse
d
a
crashin
g
bu
g
in
t
he int => struct con
v
ersion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
C
a
rpenter
I can't believe I was do
i
ng stac
k
s wrong this
w
hole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
Chan
g
e
d
smatch
s
tate from being
a
n int to
being
p
ointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
I want to reuse t
h
e name smatch_state
.
T
h
e curr
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rp
e
nter
R
e
do the null pat
h
thing
.
So l
o
n
g
as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
Com
p
licated is just a boolean
.
S
e
t it
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge branch 'de
v
e
l
'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save th
e
pre conditions in
s
ide the conditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpen
t
er
The main
c
hange here was to
completely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Carpenter
B
rea
k
things out into functions a bi
t
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Handle while
and for l
o
ops sligh
t
ly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
D
an Car
p
enter
I removed
nullify_path() earlie
r
but th
a
t wa
s
a mi
s
take
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
r
penter
I don't
t
h
i
nk
t
he s
p
e
c
i
al_kerne
l
_macr
o
s() fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next