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 validation script for check_null_deref.c
2008-09-17
Dan C
a
rp
e
nter
I
f
the poin
t
er is ini
t
ialized to n
o
n-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Ca
r
p
enter
i
gnore the smatch bina
r
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
Wh
e
n
we merg
e
2 slists
w
e need to dea
l
with t
h
e
c
ase
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
D
a
n Carpenter
C
l
e
a
n
u
ps
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
penter
Add n
u
llify the path when you have for(;;)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Me
r
g
e
b
ranch 'ls' int
o
ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge branch 'unnul
l
ify'
into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
nter
Lots of
do whi
l
e(0) loops don'
t
call break s
o
i
t
do
e
sn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpenter
Remove un
n
e
e
d
ed check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
C
a
r
penter
Fi
x
o
r_slist_stack()
.
Before it just saved
one
stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
crap crap crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpent
e
r
Clean ups and add some __unnu
l
li
f
y_
p
ath stuff
.
H
ope
f
u
l
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arp
e
nter
Smal
l
cleanup
.
got
o
_stack shou
l
d o
n
ly be use
d
in smatc
h
_s
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
ar
p
ent
e
r
Cl
e
a
n
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
p
ente
r
Fix bug savi
n
g the false
_
only
s
tack
.
Bef
o
re code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
arpenter
This i
s
the start
o
f
t
he smatch_extra
s
tuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpente
r
Fix overwrite_s
l
i
st() so it takes a poi
n
ter to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carp
e
nter
Make smatch_extra depend
o
n smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpen
t
er
Mov
e
is_zer
o
() to smatch_h
e
lper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpen
t
er
F
i
x
a
b
ig b
u
g
.
ge
t
_stat
e
_slist
(
) was always getti
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpente
r
M
erge
.
.
/
.
.
/smatc
h
/de
v
el
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
ent
e
r
Merge
b
ranch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nter
S
a
ve the pre conditions inside the
c
o
n
di
t
ions
so t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rp
e
nt
e
r
The main change her
e
w
as to completely re
w
rite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
an Carpenter
Brea
k
things out into func
t
ions a bit
.
Cl
e
an u
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arpenter
Hand
l
e
while and fo
r
loops slightly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
D
a
n Ca
r
penter
I r
e
move
d
nullify_pat
h
() earlier but that was
a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
I don't
t
hink the s
p
e
c
ial
_
kernel_macros
(
) funct
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Add
a
function to do a strcmp() with a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Re
m
ove
e
verythi
n
g to do wit
h
path_id's
.
I could
n
't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Replace the variable _
_
negate with the function __n
e
g
ate(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Sm
a
l
l
clean up
.
Move th
e
pass
i
ng the whole
cond
i
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Crap
.
I meant to me
r
g
e
this earlier
when
I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
A
d
d a commen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
penter
Moved
a
ll the
logic for ha
n
d
ling c
o
nditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Oops
.
I
guess I del
e
ted t
h
e w
r
ong l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Do
n
'
t pass
the contents o
f
size
o
f() to the c
l
ient
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve how
the debug
i
nfo for merging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpenter
T
h
e main thing is to ha
n
dle ze
r
o co
m
parisons bette
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpenter
Re
m
ove unneeded code
.
Thi
s
stuff is h
a
ndled
in smat
c
h_fl
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
We need to be able to
b
rea
k
down
(
foo
!
= 0) for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
I
dentify for(;
;
) type l
o
ops as fore
v
e
r loops
.
T
h
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpen
t
er
Add
s
u
p
port for BUG_ON(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
W
hat I've seen is stuff lik
e
th
i
s:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anything tha
t
we don't
h
andl
e
i
s obviously
comp
l
ic
a
ted
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merg
e
br
a
n
ch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
e
r
Add a c
o
mment to get_v
a
r
i
able_from_exp
r
_s
i
mple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
r
penter
Add a
co
m
m
ent to get_va
r
iable_from_e
x
pr
_
simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
The null
i
fy_pat
h
() h
e
re is
a
bug
.
It o
v
er-
w
rites al
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an
C
arpenter
__
p
rint_cur_slis
t
() is a useful func
t
ion
f
or
d
ebugg
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
If you have somethin
g
like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
penter
Update the line numbers for ea
c
h s
t
a
teme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
penter
Change
the merge rul
e
s for custom mer
g
e script
s
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Mo
v
e
SM_DEBU
G
to a header so everyone can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add
a custom me
r
ge function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Upd
a
t
e
the line
number a
t
t
h
e very start
of t
h
e
f
unctio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Cha
n
ge th
e
debug outp
u
t a
bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Da
n
C
arpen
t
e
r
Ad
d
a --debug option
.
It has to be the first option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
D
an Carpenter
M
a
k
e
sure the variable name is NU
L
L te
r
minated otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Small c
l
ean ups
.
N
o
change
in behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpe
n
ter
This
i
s an off by one erro
r
really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpent
e
r
The
sp
a
rse_initialize() function
now takes a fileli
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Da
n
Carpenter
Remove
an of
f
by
o
ne error detecting the end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Da
n
Carp
e
n
t
er
P
a
tch
i
t with the stuff
from t
h
e web
commit
|
commitdiff
|
tree
2008-08-05
Dan C
a
rp
e
nter
Th
i
s is an un
m
o
dified
tar
ball
.
commit
|
commitdiff
|
tree