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
Create a state &merged. When we merge stuff it isn't the same as being
2009-02-11
Dan Carpente
r
Create a state
&merge
d
.
W
hen we merge stuff it
i
sn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
T
his time
s
m
atch_im
p
lie
d
_really_
does s
o
mething
.
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 Carpe
n
t
er
Sm
a
l
l
cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
W
hi
t
es
p
ace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Add some more locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rp
e
nter
F
ix impli
e
d
pools so
that
a
t least it doe
s
some
t
hing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
It
seem
e
d like
t
r
ac
k
er_li
s
t would be
useful
i
n a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Add a README descr
i
bing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpent
e
r
Add script to
f
ind NUL
L
dereferences betw
e
en f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fi
x
usage me
s
sag
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Ch
e
ck for malloc(
)
as
well as
km
a
lloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpe
n
ter
F
i
x segfault w
h
en handlin
g
implicitly declared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpen
t
er
Warn wh
e
n
w
e do
n
't acq
u
ire locks when
c
alling
c
e
rtain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an Carpen
t
er
T
r
y (
a
nd fail)
t
o find
m
emory
l
eaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Al
m
ost p
r
i
nt a message
when you
co
m
e to un
r
ea
c
hable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
c
heck to l
o
ok for dou
b
le
f
r
ees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Add check
i
n
g
f
or
l
o
c
k_ke
r
nel()/unlock_ker
n
e
l
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Car
p
e
n
ter
Mak
e
c
h
eck_lock
i
ng
c
heck bo
t
h
s
pinlocks and s
e
maphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carp
e
nter
Add a new fu
n
cti
o
n s
l
ist_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
n
t
er
If there is an i++ then the va
l
ue o
f
'i'
is un
d
ef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Car
p
enter
A
dd a new check_lock
i
n
g
s
cript t
h
at che
c
ks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Save
the possible s
t
a
t
es instead
of
j
ust merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
I
gnore emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpe
n
ter
Merge branch 'master' into
poo
l
s5
commit
|
commitdiff
|
tree
2009-01-20
D
an Carpen
t
e
r
Fix likely()
a
n
d
unlikely()
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan C
a
rpente
r
Add sing
l
e
quo
t
e
s around the variable
f
or consi
s
tency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We coul
d
save some memor
y
by not alloca
t
i
n
g
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
Add a comment showing where the tests a
r
e
s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
This
is left over from
Oct
o
b
e
r as part of the impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpe
n
ter
A
d
d
get_possible_s
t
ates()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
S
t
u
ff left over from October
.
Implied
p
o
ols work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Ca
r
pent
e
r
We co
u
ld save some mem
o
ry by not al
l
ocating new memo
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory
leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Car
p
en
t
er
Add a merge
hook
.
Handle th
e
s
ituatio
n
s like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp(
)
doe
s
n't ac
c
ept
N
ULL argu
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rp
e
nter
rename two fu
n
ctions: get_variabl
e
_
f
rom_
e
xpr_simpl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_
v
ariabl
e
_from_exp
r
() uses a static buf
f
er
a
nd you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
C
r
eate a
c
h
e
c
k_template
.
c example script
that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an
C
ar
p
ente
r
Make
g
et_all_states()
not segf
a
ult ev
e
r
y time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix g
e
t_value() to return
negative
v
a
lues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an C
a
rpente
r
We only ever pass one p
a
rameter in
t
o get_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
F
i
x g
e
t_all_states() to match the function
definitio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Rem
o
v
e
add_sta
t
e
(
) and
state_defin
e
d() def
i
nition
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpent
e
r
Clea
n
up
.
Fix leak
.
M
y
problem is that I don'
t
u
n
derstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpe
n
ter
Initial co
m
mit of t
h
e
"im
p
lied sta
t
e
pools"
stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Carpenter
D
oh
.
We haven't
b
e
en using smat
c
h_ex
t
ra
f
or
a
whil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Get rid of p
a
th
_
history
.
It's never goi
n
g to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Make goto_stac
k
stat
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpe
n
ter
Speed up merge_slist now that the
s
l
ists ar
e
o
r
d
ered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
Insert
stuf
f
on
t
o li
s
ts in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
enter
Delete a
n
unused
f
uncti
o
n merge_stat
e
_s
t
ack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if
(
*
foo) { (*f
o
o
)->b
a
r; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
C
a
rpenter
kmalloc() and
f
riends don't always return
a
non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The checks from her
e
g
ot mer
g
ed into check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
r
p
enter
Move t
h
e stuff from check_derefed
_
params
.
c into
c
h
e
c
k
_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug in
or_slist_stack()
.
if (a
&
& b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
A
d
d
a hook at the
en
d
o
f a f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Fo
r
g
o
t another strip_expr
(
) call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle assignmeents inside conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Ca
r
penter
Only
p
rint somet
h
ing for a->foo and not
a
.
f
oo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Da
n
Carpenter
Ignore
arr
a
y declaratio
n
s
.
Those can
'
t b
e
NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Ma
k
e cur_slist stati
c
.
I
t
's only us
e
d
i
n
smat
c
h_
s
tates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White
s
pac
e
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Car
p
e
n
ter
Use merge_slist() instead of trying to handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n
Carpent
e
r
__process_cont
i
nues() is supposed
to be basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Car
p
enter
New smatch_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpenter
(
f
oo) = 1
i
s the same as f
o
o = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Gen
e
ralize stip_casts()
.
It's now called st
r
i
p
_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Car
p
e
n
t
e
r
Ignor
e
cas
t
s
.
foo((int *)&bar) is
the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
te
r
Created sho
w
_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
Ignore st
u
ff like foo
.
bar
.
We o
n
ly
care about
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What h
a
p
pens befor
e
i
s
t
h
at parameters
w
ou
l
d get as
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
enter
Misse
d
a cr
a
shing bug
in the int
=
> struc
t
convers
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpen
t
er
I can't believe I was doing stacks
w
rong this wh
o
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpenter
Changed s
m
a
t
ch sta
t
e from being an in
t
to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
C
a
rpe
n
t
e
r
I
w
a
n
t
to
reuse the na
m
e smatc
h
_
s
t
a
t
e
.
The cur
r
en
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpente
r
Redo the null path
thing
.
S
o
long as there is
o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
Cl
e
an up
.
Complicated
is just a boolean
.
Set
i
t to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
Arrays
a
re c
o
mplica
t
ed so they
s
hou
l
dn't
be returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpen
t
er
If we
c
all set_s
t
ate from inside a conditi
o
n then i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
r
penter
If t
h
e pointer is initialize
d
to non-null th
e
n set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan
Ca
r
penter
ignore the
smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
an Carpe
n
t
e
r
When w
e
merge 2 slists we
need
t
o deal
with t
h
e case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Da
n
Car
p
enter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
A
d
d
n
u
llify the path
w
hen you have fo
r
(
;
;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arpenter
Me
r
ge branch 'ls' into ultra
t
mp
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arpenter
Merge bra
n
ch 'u
n
nullif
y
' into ls
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpenter
Lots of do while(0)
loops don't call break
s
o it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
Carpe
n
ter
Remove unn
e
ed
e
d
check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
Fix or_slis
t
_stack()
.
B
e
fore i
t
j
u
st saved one
stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan C
a
rpente
r
crap
crap crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Car
p
ent
e
r
Cle
a
n ups and add some
_
_unnull
i
fy_path s
t
uff
.
Ho
p
efully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Small cleanup
.
goto_s
t
ack sh
o
uld only
b
e use
d
in sm
a
tch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix
b
ug saving the false_only
stack
.
B
efore code l
i
ke
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n C
a
rpenter
This is the start
o
f the
sm
a
tch
_
ext
r
a st
u
f
f
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carp
e
nter
Fix overwrite_slist() so
i
t
takes a po
i
nt
e
r to a poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Make smatch_ex
t
ra depend on smatc
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpen
t
er
Move
i
s_zer
o
(
)
t
o
smatch_
h
elper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
next