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
Move the stuff from check_derefed_params.c into check_null_deref.
2008-10-04
Dan Carpenter
Move the stuff fr
o
m check_
d
erefed_params
.
c into check_n
u
ll_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carp
e
nter
F
ix bug in or_slist_
s
tack
(
)
.
if (
a
&
& b) wasn't be
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpen
t
er
Add a hook at the en
d
o
f a fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
ter
F
o
rgo
t
anoth
e
r strip_exp
r
() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Handl
e
assignm
e
e
n
ts in
s
ide c
o
nditio
n
s better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Only print some
t
hing for a->fo
o
and not a
.
fo
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore a
r
ray de
c
l
a
r
ations
.
Th
o
se can't be N
U
L
L obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Ma
k
e cur_slist static
.
It's
o
nly used in smat
c
h
_
sta
t
es
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n C
a
rpenter
Use
m
erge_slist() instead of trying to handle it yoursel
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an
C
arpenter
__proc
e
ss_con
t
inues() is supposed
t
o b
e
basicall
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
Ne
w
smatch_i
g
nore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
(foo)
= 1
is
t
he
s
ame
a
s foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generaliz
e
stip
_
casts()
.
It's now calle
d
strip_
e
xpr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore cast
s
.
foo((int *)&ba
r
) is th
e
same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Created sho
w
_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore stuff
l
i
ke foo
.
bar
.
We o
n
ly care a
b
out foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
n
ter
Wh
a
t happe
n
s before is that
p
arameters w
o
uld
g
et as
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Missed a
c
r
ashi
n
g
bug in the int
=> struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an
C
arpen
t
er
I can't belie
v
e I w
a
s doing
s
tacks wrong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
Changed
s
match state from bei
n
g
an int to being poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
I
want to reuse
t
he n
a
me smatch_state
.
The
current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
R
e
do the null
path
t
hing
.
S
o
lo
n
g a
s
there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
C
lean up
.
Comp
l
icated is
j
ust a
b
o
olean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
Arrays are complicated
s
o they
sho
u
ldn't be retu
r
ned
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
f we call set_state from inside a condition then
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
r
pente
r
If the pointer is initialized to non-null then s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan
C
arp
e
nter
igno
r
e the smatch
binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carp
e
nter
When we merge
2
slists we need to deal with t
h
e case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
D
a
n
Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Carpenter
A
dd nullify the
p
at
h
when yo
u
have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
r
p
enter
Merge branch 'ls
'
into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
D
an
C
arp
e
nt
e
r
Merge branc
h
'unnul
l
ify' int
o
l
s
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
L
ots of d
o
while(0) loops
d
on't call
b
r
e
ak
so it does
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an C
a
rp
e
n
t
er
Remove unneeded c
h
eck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpe
n
t
er
Fix
o
r_sli
s
t_stack()
.
Before
i
t
just saved
o
ne stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Ca
r
p
e
nter
cra
p
cra
p
crap
.
do not
use
.
commit
|
commitdiff
|
tree
2008-09-07
Da
n
C
arpent
e
r
Clean ups and
a
dd
s
ome __unn
u
l
lify_pat
h
stuff
.
Ho
p
e
f
u
lly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carp
e
nter
Small cleanup
.
goto_
s
tack should only be us
e
d in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan C
a
rp
e
nter
C
l
ean
u
ps
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
arp
e
n
ter
F
i
x bug sav
i
ng the false_
o
n
ly stack
.
Before code li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpe
n
ter
T
h
is is the start of the s
m
atch_e
x
tra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
C
arpenter
Fix
o
verwri
t
e_slist() so
i
t takes a pointer to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpenter
Make smatc
h
_extr
a
de
p
end o
n
smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
a
n Carpenter
M
o
ve
i
s_zero() to
s
match_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Fix a big bug
.
g
et_state_sl
i
st() was a
l
ways ge
t
t
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an Ca
r
penter
M
e
rge
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpen
t
er
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpente
r
Save the pre con
d
itions insi
d
e
the c
o
n
d
itions so
t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
The ma
i
n cha
n
ge here
w
as to compl
e
tely rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Carpente
r
Brea
k
things out into
f
unctions a bit
.
Cl
e
an
u
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n Carpenter
Handle
w
hile
a
nd
f
or loops slightly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I r
e
m
o
ved
n
ullify_
p
ath() earlier but
that was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
I don't
t
hi
n
k the special_kernel_macr
o
s
() fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a funct
i
on to do
a
strcmp() with
a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arp
e
nter
Remove ever
y
thing to do with pa
t
h_id's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace
t
h
e variable __nega
t
e with
t
he
function __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carp
e
nter
Small
c
lean up
.
M
o
v
e
the passing the
w
hole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arp
e
n
ter
Cra
p
.
I meant to me
r
ge this ea
r
lier when I div
i
ded
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpent
e
r
Add
a
comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Moved all
the logi
c
fo
r
han
d
ling con
d
it
i
o
ns i
n
to a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
n
t
e
r
Oops
.
I guess I deleted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Ca
r
p
e
nte
r
D
on't pass the co
n
tents of sizeof()
to
the
c
lient
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve how t
h
e d
e
bug info
f
or me
r
g
i
ng states g
e
ts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The
m
ain thing is to hand
l
e
zero compa
r
is
o
ns better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
Carpen
t
er
Rem
o
ve unneed
e
d cod
e
.
This stuff is h
a
ndled in smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
We nee
d
to be ab
l
e to
break down (f
o
o != 0)
f
or BU
G
_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Identify f
o
r(;;) typ
e
loops as
forever loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
enter
Add support for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
What
I
've seen is stuff like 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 h
a
ndle is o
b
viously complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpen
t
er
Merge branc
h
'
devel'
commit
|
commitdiff
|
tree
2008-08-15
D
an C
a
r
penter
Add a comme
n
t to get_va
r
iable
_
fr
o
m_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpente
r
A
d
d a comment to get_variab
l
e_
f
r
om_expr
_
simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullify_path() he
r
e is a bug
.
It over-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
__
p
rin
t
_cur_sl
i
s
t() is a
u
sef
u
l function fo
r
debugg
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
If yo
u
have som
e
thing l
i
ke
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Up
d
ate the line
n
umbers fo
r
e
ach stateme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
Carp
e
nter
Chang
e
th
e
merge rules for
custom merge sc
r
i
p
ts
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
Move SM_D
E
B
U
G
to a h
e
ader so ev
e
ryone can
use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add a custom merge func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Ca
r
penter
Update the
line number at
t
he very
s
tart of the function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
C
h
ange the debug
output a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
Add a --debu
g
opti
o
n
.
It
has to be
the f
i
rs
t
o
pt
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Make
sure the variable nam
e
is NULL termina
t
ed otherw
i
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Sma
l
l clean ups
.
No
c
h
ange i
n
be
h
a
vi
o
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
D
a
n Carpenter
T
h
is is
an off by
on
e
err
o
r real
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
T
h
e
s
parse_i
n
itialize() funct
i
on now takes a filelis
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
Remove an of
f
by one error detecting the end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan C
a
rpenter
P
atch i
t
w
i
t
h the s
t
uff from t
h
e web
commit
|
commitdiff
|
tree
2008-08-05
Dan Carp
e
nter
T
h
is
i
s an unmod
i
f
i
e
d
t
a
r
ball
.
commit
|
commitdiff
|
tree