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
Ha ha. I still suck at pointers.
2009-02-11
Dan Ca
r
pen
t
er
H
a ha
.
I still suck at po
i
nters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Cleanups
.
Comm
e
nts
.
Remove de
b
uggin
g
code from fil
t
e
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Cle
a
n up
.
Also
preserve the
-
>pools in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Clean
up
get_st
a
t
e_
s
list()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Rem
o
ve __ov
e
rwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
penter
There was
d
ebugging
out
p
u
t th
a
t acci
d
en
t
all
y
got com
m
itt
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pent
e
r
Re
m
o
v
e
a state from
i
t's ->pools when set_sta
t
e
(
)
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delete the -
>
pool
s
on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
ry understand the implic
a
tions from compoun
d
condition
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a state
&merged
.
When w
e
merge stuf
f
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Ok
.
Thi
s
time smatch_i
m
plied _reall
y
_ does s
o
mething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Ignore csco
p
e
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
S
m
all cleanups
.
(White
space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Wh
i
tespace chan
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Add some more lo
c
king functi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix implied pool
s
so th
a
t at le
a
st it does somet
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carp
e
n
t
er
It
seemed like tr
a
cker_list w
o
uld be useful 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
C
arpenter
Add scri
p
t to find NULL d
e
r
e
ference
s
bet
w
een func
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Fix usag
e
message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
C
heck for malloc()
a
s
well as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Fix segfaul
t
when handling im
p
l
icitly dec
l
ared
f
u
nctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
C
a
rpenter
Warn whe
n
we don't acquire lo
c
ks when calling cer
t
ain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
Try
(
a
nd fail)
t
o find memory
l
eaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
l
m
ost
p
rint a messa
g
e when y
o
u
c
o
me to
u
nre
a
c
hable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Carpenter
Add check to look for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checki
n
g
for lock_kernel
(
)/unlock_k
e
rnel(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
penter
Make check_locking check
both
s
pinlo
c
ks and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Add a new funct
i
on slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
If ther
e
is an i++ then t
h
e valu
e
of 'i'
i
s
u
nde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Add a new
chec
k
_locki
n
g scri
p
t
th
a
t
checks spi
n
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rpente
r
Save the possi
b
le states instead
of just mergin
g
them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
te
r
Merge b
r
anc
h
'master' into p
o
o
l
s5
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
A
d
d
a
comm
e
nt showing where the tes
t
s are
s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
This is lef
t
o
v
er
f
rom Oc
t
o
b
er
a
s part of
t
he
i
mplied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_possible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
an
C
arpe
n
ter
Stuff left o
v
er from
O
ct
o
b
er
.
Implied pools wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Ca
r
pe
n
ter
W
e
could save some
m
emory by not allocating
new memo
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpen
t
e
r
Fix memory l
e
ak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge hook
.
H
a
ndle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
strcmp() d
o
esn't accept NULL argu
m
e
n
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rena
m
e
two functions: get_var
i
abl
e
_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_v
a
riab
l
e_from_expr() u
s
e
s a static buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Creat
e
a
c
heck_template
.
c
exa
m
ple script that l
o
o
ks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpen
t
er
Make get_all_states()
no
t
segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fix get_va
l
ue()
t
o return negative v
a
lues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We o
n
ly e
v
er pass
o
ne p
a
rameter
i
n
to
g
et_val
u
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Fix get_all_
s
tates() to match t
h
e
function
definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Car
p
enter
R
emove
a
dd_sta
t
e() and state_d
e
fined() defi
n
itions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
Clean up
.
F
i
x
l
e
ak
.
My pro
b
l
e
m is that
I don
'
t u
n
derst
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pe
n
t
er
In
i
tial
c
o
m
mit
of the "implied state
pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
Doh
.
We haven't been using smatch_ex
t
r
a
f
o
r a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid of path_history
.
It'
s
nev
e
r going
t
o
b
e us
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpente
r
Mak
e
goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
S
peed up merge_slist now that the slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpenter
Inse
r
t stuff onto lists i
n
a sort
e
d order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
enter
D
elete an
u
n
u
sed f
u
n
ct
i
on me
r
ge_sta
t
e_sta
c
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
nte
r
fix: if
(
*
f
oo)
{
(*foo)-
>
b
a
r; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan
Carpenter
k
m
a
lloc() and fr
i
end
s
d
on't always return a
non
-
null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
Th
e
checks from here got merged in
t
o check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carp
e
nter
M
o
ve the stuff
f
ro
m
c
heck_
d
er
e
fed
_
params
.
c i
n
to check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug in
or
_
sl
i
st_stack()
.
if
(
a
&& b) wasn't
being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan
C
ar
p
e
n
ter
Add a hook at
t
h
e
end
o
f
a
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an C
a
r
p
enter
For
g
ot another
s
trip_
e
xpr(
)
cal
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Ha
n
dle assign
m
eents
i
nside condi
t
ions bette
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an
C
arpent
e
r
O
n
ly
p
r
i
nt something for a->foo
and not a
.
f
o
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Ca
r
penter
Ignore array declarati
o
ns
.
Those c
a
n't be NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
D
an Carp
e
nt
e
r
Make c
u
r_slis
t
static
.
It's o
n
ly used
i
n
smatch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
Wh
i
te sp
a
ce chan
g
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Ca
r
p
en
t
er
Use merge_slist()
i
nstead of tr
y
ing to handl
e
it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n
Car
p
ente
r
__process_co
n
tinues
(
) is
supp
o
s
ed to
be b
a
sically t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New
s
ma
t
c
h_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo) = 1 is the s
a
me as foo =
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generaliz
e
sti
p
_casts
(
)
.
It's n
o
w calle
d
st
r
ip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
e
r
Ig
n
ore ca
s
ts
.
foo((i
n
t *)&bar)
is the same as
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
a
rpen
t
e
r
Cr
e
ate
d
show_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carp
e
nter
I
gnore
s
tuf
f
like
foo
.
b
ar
.
We only
care abou
t
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpe
n
ter
What ha
p
pens
before
is that para
m
eters
w
ould
g
e
t
a
s
signed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
n
t
er
Mis
s
ed a crashing bug in the in
t
=> struct
c
o
n
version
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
a
r
p
ent
e
r
I
c
an't
believe I was doing
stacks wrong
t
his whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
n
ter
Cha
n
ged smatch state
from being a
n
i
n
t to
b
eing p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
want to reuse the name
smatch_state
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpe
n
ter
Red
o
t
h
e null pat
h
thing
.
So long
a
s there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
C
l
e
an
up
.
Complicated i
s
just
a
b
ool
e
an
.
Se
t
it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Car
p
enter
Merge bra
n
ch 'd
e
vel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Sav
e
the pre conditions inside the cond
i
tions
so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpent
e
r
The main chang
e
he
r
e
w
as to
completely rewr
i
te h
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n
Carpenter
Break
things
o
ut int
o
f
un
c
tions a bi
t
.
Clean u
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
H
andle while and f
o
r loo
p
s slig
h
tly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I remo
v
e
d
nullify_pat
h
() earlier but that was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
I do
n
't thi
n
k t
h
e
spec
i
a
l
_
ke
r
nel_macros
(
) fun
c
tio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
A
d
d a funct
i
on to
d
o a strcmp() with a sym
b
o
l
name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
e
nter
Remove ever
y
thing to d
o
with path_id's
.
I coul
d
n
't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
e
r
R
epl
a
c
e the
v
ari
a
ble __
n
egate
with the
f
un
c
tio
n
__n
e
gate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
p
enter
S
m
all clean
u
p
.
Move the
pas
s
ing the wh
o
le c
o
nditi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I mea
n
t to merge this
e
arlier
w
hen
I
d
ivided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
A
dd a com
m
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
M
oved all
the log
i
c
f
o
r handling c
o
nditi
o
ns into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
pe
n
ter
Oops
.
I
g
uess I deleted the wrong
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next