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
wine WtoA: fix crashing bug
2010-01-20
D
a
n
C
arpenter
w
ine W
t
oA: fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
n
ew fi
l
e: smat
c
h_scripts/gen_dma_funcs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
show_ifs
.
s
h:
Ad
d
the -C op
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpe
n
t
e
r
check_memo
r
y: e
l
iminate some f
a
ls
e
posi
t
i
v
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an
Carpe
n
te
r
ge
t
_
value(): the ret
u
r
n val
u
e was getting cut
o
ff
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
c
h
eck
_
signed:
c
lari
f
y e
r
ror m
e
s
sage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an
C
a
r
p
ent
e
r
win
e
_filehandles: if the
f
ile
h
a
ndle gets re
a
ssign
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpenter
Help kchecker and
w
ine_checker
.
sh find th
e
smat
c
h binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
g
et_variable_from_ex
p
r():
f
i
x arra
y
di
s
p
l
ay (e
v
en
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
del
e
t
e
_
s
tate():
fix a b
u
g
c
alling dele
t
e sta
t
e inside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n
C
a
r
penter
get_variab
l
e_from_expr(): u
s
e
[] fo
r
a
r
rays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
fix "make in
s
tall"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpen
t
er
fix bug in prin
t
i
n
g file n
a
mes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Car
p
e
n
ter
get_
a
r
r
ay_nam
e
(): ret
u
r
n the stripped value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
D
a
n
Carpenter
wine: pp_intern
a
l_error() doesn't r
e
tur
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Da
n
Carpente
r
un
u
sed
return
:
warning:
=
>
warn
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpe
n
t
e
r
p
recedence: make test stri
c
te
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n Carpenter
__USE_ISOC99: silence
a gcc
warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan
Carp
e
n
t
er
check_dev_queue
_
xmit: make
val
i
d_use() static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
an C
a
rpenter
check_signed: change some e
r
ror: me
s
s
ages
t
o warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carpenter
che
c
k_signed: fix a
n
d turn on by d
e
fault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
get_type(): fix
cast hand
l
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpe
n
t
e
r
g
e
t_va
l
u
e(): add
i
nitial
s
upport fo
r
handling casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Car
p
enter
w
hitespace:
"switc
h
(" =
>
"sw
i
tch ("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n
C
arpenter
get_type(): don't
igno
r
e cas
t
s!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
e
liminate all the
"x
can't fit into 0" fals
e
p
o
s
itives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
an Carpenter
fix getting_addre
s
s() funct
i
o
n
s
vs paren
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
an C
a
rpenter
add c
h
eck_d
e
v_que
u
e_xmit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n
C
arpe
n
ter
add
--rare o
p
tio
n
f
or ra
r
e bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
Carpent
e
r
introduce:
a
d
d_m
o
dification_hook_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpent
e
r
i
m
pl
i
ed cleanup: move
p
ool_in_p
o
o
l
s()
and is_checked()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impli
e
d
cl
e
anup: rename: get_eq_neq() => s
e
parat
e
_and_fi
l
ter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
implied cleanup: sepa
r
ate do_co
m
pare into its own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Car
p
enter
impli
e
d clean
u
p: mov
e
get_
i
mplications(
)
lowe
r
in th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpe
n
ter
impli
e
d cleanu
p
:
1
=>
LEFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an
Car
p
enter
i
m
pli
e
d c
l
eanup: clean handle_compari
s
on()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpen
t
er
implie
d
c
l
eanu
p
: renam
e
state
=
> sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpe
n
ter
implied
cleanup:
move check for !
i
s_merg
e
d()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Car
p
ent
e
r
implied cleanup: rename left => lr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpenter
implied cleanup: ren
a
me some sm_states:
state =>
sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nter
implied cl
e
anup: move some functions aroun
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
impli
e
d cleanup: comm
e
nt
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Ca
r
penter
i
mpl
i
e
d clean
u
p:
create
print_once
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
implied cleanup: g
e
t rid of some curly
b
races
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
r
pe
n
ter
impl
i
ed cleanup:
move v
a
ria
b
le
declarations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
Add
val
i
datio
n
/sm
_
array_overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan Car
p
enter
cl
e
anup
remove false_only_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan
C
arpenter
F
i
x bug in
h
andling for loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
Dan Carpenter
foo(&bar) means
bar i
s
modified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
D
a
n Carpenter
check_memo
r
y: add
_
m
odification_ho
o
k is
f
ree => unfre
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpe
n
ter
move modification ho
o
k
to t
h
e front of the hook list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carp
e
n
t
er
cle
a
n up:
m
o
ve everything to get_
d
info()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
introduce: get_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
nter
check_ov
e
rflow:
h
andle
a
ddresses differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
sma
t
ch
_
extra: clean
u
p
.
state
c
an never be &merged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
ch
e
ck_overflow: ignore the last member
o
f
stru
c
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
n
ter
sm
a
tch_e
x
t
r
a: I don't like empt
y
r
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
Carpenter
ad
d
smatch_sc
r
ipts/g
e
n_array_
b
ounds
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
nter
s
m
at
c
h_data/kernel
.
array_boun
d
s
.
r
e
move
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
check_overflow
:
an an "e
r
ror: " pref
i
x to a
p
r
in
t
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
enter
smatch_scripts
/
show_un
r
eachabl
e
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rp
e
nter
new
sc
r
ipt:
show_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
in
t
roduc
e
g
e
t
t
ing_ad
d
res
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
penter
update smatch_scripts/ beca
u
se of --info format change
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
check offset
after use: ign
o
re foo = &array[
b
ar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
t
e
r
c
he
c
k_overf
l
o
w: mov
e
some m
o
re stu
f
f
un
d
er
the --info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an Carpenter
cl
e
a
n
up output: warning:
=
> w
a
rn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
a
rp
e
nter
mod
i
ficat
i
on_hook: -- and ++ are modifications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpenter
It makes sense t
o
check an array offset
i
f it has
been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Car
p
enter
check
_
overflow:
separate th
e
two t
y
pe
s
of states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan
C
arp
e
n
ter
F
i
x prec
e
dence/crashing b
u
g
c
heck_overflow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
Car
p
enter
chec
k
_
o
verflo
w
: check for limiti
n
g offset
a
fter
u
sin
g
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpent
e
r
introduce alloc
_
sta
t
e_num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
C
arpente
r
cleanup: r
e
name alloc
_
stat
e
() => alloc_sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
i
n
troduce get_fuzzy
_
max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
call_tree
.
p
l
: make
it an interactive program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Carpenter
create
g
et_implied_rang
e
_li
s
t
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
an
C
arpenter
sm_info:
fix formatting
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan
C
a
rp
e
n
t
er
call tree: i
n
itial upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpe
n
t
er
dma on stack:
mov
e
data to sm
a
t
c
h
_d
a
ta/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Ca
r
penter
trace
_
params
.
pl: rewrote s
o
it's fa
s
te
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpente
r
add --p
a
r
am
-
map
p
e
r back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpenter
cleanu
p
up opti
o
n
p
arsing a little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
er
add option: -
-
info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
redo how options are parsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
cleanup
:
debug_implied_states => option_
d
ebug_implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
C
a
rpenter
cleanup: debug_states =
>
opt
i
on_
d
ebug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
pa
r
am_mapper: add --
p
aram-mappe
r
o
pt
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
Carpenter
dma
on stack: eliminate some
fa
l
se pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpenter
Add dma functions that ma
p
to
usb_c
o
ntrol_msg(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nt
e
r
add smatch_scripts/trace_params
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param_mapper: i
n
i
t
ial
commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpent
e
r
dma_on_stac
k
: &foo means it's an error too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan
C
ar
p
en
t
e
r
u
pdate sm
a
tch_data to
2
.
6
.
33-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan C
a
rpenter
chec
k
_overflo
w
: fix
c
r
ashing
b
ug (divi
d
e
by zero)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carp
e
n
t
er
c
heck_over
f
l
o
w
: fi
x
crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
ad
d
a
check
f
o
r
passing stack variab
l
es to
dma functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan
C
arp
e
nter
check_used_re
t
u
rns
:
i
g
nore inb, inw,
a
n
d inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
u
p
date
va
l
idation tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
D
a
n C
a
rpenter
check_o
v
erflow: h
a
ndl
e
arrays inside structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next