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
Add get_possible_states().
2008-12-21
Da
n
Carpe
n
ter
Add get_pos
s
ibl
e
_st
a
tes()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arp
e
nte
r
Stuff left over f
r
om October
.
I
m
plied
p
ools work
.
commit
|
commitdiff
|
tree
2008-10-19
D
an Ca
r
penter
We
c
ould
s
ave some memory
by not a
l
locati
n
g new m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpente
r
Fix memory leak
.
Add more co
m
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge hook
.
Handle the si
t
uati
o
ns like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
s
t
rcmp() doesn
'
t
a
cce
p
t
N
UL
L
arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an
Carpenter
r
e
na
m
e two
f
u
n
ction
s
:
get_variable_from_ex
p
r_sim
p
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
get_variable_from_
e
xpr() us
e
s a static buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Creat
e
a check_template
.
c exampl
e
script th
a
t
looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Mak
e
get_all_sta
t
es() not segfault
every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an
Carp
e
n
t
er
Fix get_v
a
lue() to re
t
u
r
n negat
i
v
e
va
l
ue
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever
p
a
s
s one par
a
meter into
g
e
t_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rp
e
n
t
e
r
Fi
x
get_all_
s
tat
e
s() to match the
f
unction definit
i
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add_s
t
a
te() and sta
t
e
_defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean u
p
.
Fix leak
.
My problem is that I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Ca
r
p
e
nter
Initial commit of the "
i
mplied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpent
e
r
Doh
.
We haven't
b
e
e
n using s
m
atch_extra for
a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
Get rid of path_hist
o
r
y
.
It'
s
never going to be us
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n C
a
rpenter
Make goto_st
a
ck static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Speed up merge_slis
t
now
th
a
t the
s
lists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpenter
Inse
r
t
stuff
o
nto lists
i
n a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
Carpenter
Delet
e
a
n
unused
f
unction
m
erge_state_s
t
ac
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Da
n
Carpente
r
fix: i
f
(*foo) { (
*
f
o
o)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpente
r
k
m
a
lloc() and friend
s
don't
a
lways return a
non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
Car
p
enter
The ch
e
cks from
h
ere got merged i
n
t
o check
_
null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the stuff f
r
om ch
e
ck_derefed_params
.
c int
o
c
he
c
k_null_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
F
i
x bug
i
n
or_slis
t
_
stack(
)
.
if (a && b) w
a
sn't
be
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add
a hoo
k
at the
end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Forgot another strip_expr()
c
all
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
C
arpenter
Handle assignmeen
t
s
in
s
ide
co
n
di
t
ions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
pent
e
r
O
nly prin
t
something for a->f
o
o and no
t
a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Da
n
C
arpenter
Ignore
arr
a
y decla
r
ati
o
ns
.
Those can
'
t be NULL obviou
s
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_
s
l
i
st stat
i
c
.
I
t
's only used in smatch_sta
t
es
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
W
hit
e
space
c
ha
n
ges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Car
p
enter
Use merge_sl
i
st() inste
a
d of try
i
ng to
h
a
ndle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
__proc
e
ss_con
t
inues() is
supposed to be basicall
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpe
n
ter
N
ew smatch_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Car
p
ent
e
r
(foo)
=
1
is the same as f
o
o = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpenter
Generalize stip
_
c
a
sts()
.
It
'
s now calle
d
st
r
ip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Ignor
e
c
a
sts
.
f
oo((int *)&bar
)
i
s t
h
e same
a
s
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Created s
h
ow_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpen
t
er
Ignore stuff like foo
.
bar
.
We only c
a
r
e about f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
W
h
a
t
hap
p
ens before is
that parameters w
o
u
l
d
get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed a crashing bug in the int =
>
struct con
v
ersion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
Carpent
e
r
I
can
'
t be
l
ieve I was doi
n
g stac
k
s
w
rong this who
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
enter
Chang
e
d
smatch state from bei
n
g an int to
b
eing poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want
t
o
r
e
u
se
the n
a
me smatch_stat
e
.
T
h
e c
u
rren
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
rpenter
Redo the
null
path thing
.
So long as t
h
ere is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
Clean up
.
Com
p
licated i
s
just a boolean
.
Set it
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpen
t
er
Arrays are com
p
lic
a
ted
so they shouldn
'
t
be return
e
d by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rp
e
nter
I
f
w
e call s
e
t_sta
t
e from inside a
cond
i
tion then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
If the
pointer is ini
t
i
a
l
ized to non-null t
h
en
se
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Da
n
Carpenter
igno
r
e the smat
c
h binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
When we
m
erge 2 sl
i
sts we n
e
ed to deal
w
ith th
e
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpente
r
Add nullify
t
h
e
path when you have for(;
;
)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge branch 'ls' into ultrat
m
p
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
te
r
Merge branch
'un
n
ullify
'
into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
a
r
pente
r
Lots of do whil
e
(0)
l
oop
s
don
'
t call b
r
eak so it d
o
es
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
C
arpenter
Remove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
Fix or_s
l
ist_stack()
.
B
e
for
e
it just sa
v
ed on
e
s
t
ack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carp
e
nter
crap crap crap
.
d
o not
use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpen
t
e
r
Clean
u
ps and
add some __unnullify_path s
t
uff
.
Hopefu
l
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
Carpenter
Small clean
u
p
.
goto_sta
c
k
sh
o
uld only be used in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
a
rpente
r
C
lean
u
ps
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpe
n
ter
Fix bug saving
t
he
f
alse_on
l
y stack
.
Bef
o
re cod
e
lik
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
rp
e
n
t
er
This i
s
t
h
e start
o
f
the smatch_ext
r
a
stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
rpenter
F
ix
overwrite_slist() so it
t
ake
s
a pointer to a p
o
inter
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Make smatch_extra
d
epend on s
m
at
c
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
a
n Carpenter
Move is_zero()
to
smatch_help
e
r
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Fix a big bug
.
g
et_state_slist() was always getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nter
Merge
.
.
/
.
.
/smatch
/
d
evel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
Merge br
a
nc
h
'de
v
el'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
S
a
ve the pre conditio
n
s ins
i
de the cond
i
tions so
t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
The
main ch
a
nge h
e
r
e
was t
o
compl
e
tely rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arpenter
Break things
o
ut int
o
f
unctions a bit
.
Cl
e
an up
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Ha
n
dle whil
e
and f
o
r loops
s
li
g
htl
y
b
et
t
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
D
an
C
arpe
n
ter
I removed nullify_path() earlier but that was a
m
ist
a
ke
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I don't thi
n
k the spe
c
ial_kernel_macros() func
t
io
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpen
t
er
Add a fun
c
tion to do a
strcmp(
)
with a symbo
l
name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Remove everything
t
o
d
o
w
ith pa
t
h_id's
.
I
c
o
uldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Replace the va
r
iable __neg
a
t
e
with t
h
e
f
unction __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Small clean up
.
Mo
v
e the passing the w
h
ole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I meant
t
o merge this earli
e
r
when I
divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
A
d
d a c
o
mment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Moved
all the logic
f
or han
d
ling con
d
i
t
ions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpent
e
r
Oo
p
s
.
I
guess I de
l
eted t
h
e wrong
list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Car
p
e
nter
D
on
'
t
pass th
e
con
t
ents of siz
e
of() to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arpe
n
ter
Improve
how the debug info for merging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The main t
h
ing is to handle
z
e
ro comp
a
risons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpenter
Remo
v
e
unneeded code
.
This stuff is han
d
led in smatch_fl
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpenter
W
e
need to be able
t
o break down (foo
!= 0) for
BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Ide
n
tify for(;;)
type loop
s
a
s
foreve
r
l
oops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
Add supp
o
rt fo
r
BUG_
O
N()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
What
I
've seen is stuff l
i
ke this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
An
y
thing
that we
don't handle is o
b
viously
complicate
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Merge bra
n
ch 'deve
l
'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add
a
c
o
mment
t
o get_va
r
iable_from_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carp
e
nter
Ad
d
a co
m
ment to get_variable_f
r
om_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullify_path()
h
ere i
s
a bug
.
It over-
w
rites
a
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next