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
redo how options are parsed.
2009-12-30
D
a
n
Carpent
e
r
redo
how
o
pti
o
ns are parsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
c
leanu
p
: debug_impl
i
ed
_
st
a
tes
=
>
o
p
t
ion_debug_implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
clean
u
p: de
b
ug_states =>
o
ption_d
e
bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
pa
r
am_m
a
pper: add --param-map
p
e
r
option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
d
ma on
s
t
a
ck: eliminate
som
e
false pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
Add dma fun
c
tions that map to
u
s
b_
c
on
t
rol_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add sm
a
tch_scripts/t
r
ac
e
_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arp
e
n
te
r
param_mapper: ini
t
ial co
m
mit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma_
o
n_stack: &foo me
a
ns it's an e
r
ror
t
oo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n
Carpente
r
update
s
match_data
to 2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpen
t
er
check_overflow: fi
x
crashing bug (divide by zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
check_overflow:
fix c
r
ashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpente
r
add a check for pa
s
sing s
t
ac
k
variables
to dma functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpe
n
ter
c
h
eck_
u
sed_return
s
:
igno
r
e inb,
inw, and inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Carpenter
u
p
d
ate
v
a
l
idati
o
n tests
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Car
p
ent
e
r
c
h
eck_overflow: handle arrays inside structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
F
i
x
c
rashing bug: func(a &
b
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan
C
a
rpenter
warn
a
bout if(x);
ty
p
e code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
pre
c
edence: w
a
rn about: if
(!a & b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan C
a
rpent
e
r
err_pt
r
: it's per
f
ectly
ok to
r
eturn both null and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Carpe
n
ter
w
hite space
c
hanges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpente
r
Remove hack for
h
a
n
dling
Steve
R
ostedt's if conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
c
h
e
c
k_unused_ret
.
c
:
fix che
c
k
fo
r
local variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
C
a
rpenter
check_unused_ret
.
c: ig
n
ore u
n
reachab
l
e assignm
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
I
f --debug is pa
s
s
e
d the m
e
ssages from th
e
first pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpen
t
e
r
Add a ch
e
ck for unused as
s
ignme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
simple check for format string vulnerability
commit
|
commitdiff
|
tree
2009-12-17
D
a
n Carpenter
Handle E
X
PR_
F
ORCE_CAST
i
n __split_exp
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan
C
arpent
e
r
[
p
at
c
h 2/2] r
e
define SYM
_
HOO
K
entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 1/2
]
C
h
ange defini
t
i
o
n of
S
YM_HOOK in smatch_hook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
an
C
arpenter
&(foo->bar) is not reall
y
a
d
eref
e
renc
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpen
t
er
c
han
g
e expression_st
a
ck to e
x
p
r
es
s
ion
_
list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Ca
r
pent
e
r
clean up
.
D
E
R
EF_HOOK handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
nter
chec
k
_signe
d
: make
it
depend on --spamm
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
check_locks: add raw_loca
l
_irq_ena
b
le
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carp
e
n
t
e
r
add check for p
r
ecedence
err
o
rs like if (x & y =
=
0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
enter
fix select handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpente
r
changes to commen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carp
e
nter
add __smatch_
n
ote("hell
o
worl
d
")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Car
p
e
nter
p
atch up the
new check_locking
.
c rep
l
acement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
m
ove
c
heck_wine_locking
.
c over check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
e
n
ter
delete th
e
old check_
l
o
cking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpente
r
F
ix cras
h
in
g
bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
separate out the *_bh() lock handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n
C
arpe
n
ter
fixes for unifi
e
d wine
&
kernel l
o
cking script
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n Carpenter
get_type
(
) return
point
e
r for &foo type expres
s
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
a
rpenter
print message on f
a
l
se com
p
ares because of
s
igne
d
vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpent
e
r
s
u
ppress g
c
c warning
.
wh
i
te
s
pace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n
C
a
rpenter
Merge branch
'
m
a
ster' of /home/dcarp
e
nter
/
p
rogs/spars
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an
Carpenter
clean
u
p kfre
e
_
sk
b
() chec
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
add _
_
smatc
h
_
cu
r
_
sli
s
t()
d
ebug fun
c
ti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
id i
s
su
p
p
osed to be unsi
g
ned short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Car
p
enter
f
ix cra
s
hing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
er
S
t
a
rt
c
aring about
the types a little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
cleanup: u
s
es ARRAY_SIZE()
m
acr
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
pent
e
r
P
r
int
n
ame
i
nstead of
ID
i
n debug ou
t
put
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Add --projec
t
=ke
r
nel
to kch
e
cker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
penter
Sta
r
t merging the ker
n
e
l
l
ocking and
wine locking ch
e
cks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
handle if (*ptr == 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
declare char*
a
s const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n
C
a
rpe
n
ter
Mo
r
e
r
a
nge
f
ixes
.
(Delete a
n
d
m
e
r
g
e duplicates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan
C
arpenter
Pop the
pre_
c
ond
i
ti
o
n_
s
tack at the c
o
rrect
p
o
i
nt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Da
n
Carpenter
fix issue w
i
th r
a
nges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix get_
i
mplied_
v
alue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Carpenter
Fix ne
g
ate bug
.
(
D
e
r
eferencing undefined false positive
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpent
e
r
Update comm
e
nt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carp
e
nter
wine
:
wine_c
h
ecker
.
sh for checki
n
g in
d
i
v
i
d
ual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan
Carpenter
win
e
:
add
m
o
r
e
func
t
ions t
h
at don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
r
e
vert part of f4a459292e33
9
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpenter
smatch_extra: improve a
n
d fix assignment handl
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpenter
scope
d
_
stat
e
(
) make
the parameter
order match e
v
erything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
te
r
checks: remove some s
h
o
w
_spe
c
ial
(
) calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpenter
smatch_helper
.
c remove ma
n
y calls
t
o
show_
s
pecial()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smal
l
c
l
ean
up
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
f
i
x
bug with funct
i
o
n implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpen
t
er
exit and ExitProces
s
don't r
e
tur
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_extra
.
c: rem
o
ve some show_special(
)
call
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rp
e
nt
e
r
c
heck_deref_check: get rid
o
f some false posi
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpent
e
r
spelling
:
memery => memor
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan
Carpenter
d
i
sgusting hack to st
o
p false
p
o
si
t
ive
buf
f
er overflow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Car
p
e
nter
Fix += and -= handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
an Car
p
e
nt
e
r
wine: fix
s
o
me
l
ock name
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Da
n
Carpenter
w
i
ne:
RpcRa
i
seExce
p
tion never re
t
urns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Carpenter
add
o
ption --full-path
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Micha
e
l
S
tefa
n
iuc
Fix a
t
ypo
.
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpen
t
er
wine: check f
o
r locking bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpent
e
r
F
i
x
some re
v
e
rs
e
d if conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
fre
e
can ha
n
dle null
p
oin
t
ers
:
if (foo) free(foo);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpent
e
r
wine: check
for WtoA cross
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
A
dd INVALID_HANDLE
_
VALUE
ch
e
ck
f
o
r wi
n
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
recompile a
l
l the
c
hecks if smatch_extra
.
h cha
n
ge
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 9/9] la
s
t
p
atch to r
e
m
ove UNDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
[patch 8/many] deal
with variabl
e
_non_zer
o
() (UND
E
FI
N
E
D
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 7/many] no
U
N
DEF
I
NED
from get_v
a
lue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 6/
m
any] re
m
ove UNDEFINE
D
from last_stmt_val()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[
p
atch
5/many]
g
et rid
o
f a few more
UND
E
F
I
NEs sma
t
ch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
a
r
p
ente
r
[pa
t
ch 4/man
y
] get
r
id
of UNDE
F
INED i
n
s
m
atch_ran
g
es
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpenter
[
p
atch
3
/m
a
ny] remove UNDEFINE
D
from ge
t
_
i
m
p
l
i
ed_(min
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 2/many] get_implied_value() s
h
ould not retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[
patch 1/many] get
r
id of UNDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next