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
Da
n
Car
p
ente
r
wine W
t
o
A
: f
i
x cra
s
h
i
ng bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
a
rpenter
new file: sma
t
ch_scripts/ge
n
_d
m
a_funcs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
a
rpe
n
ter
show_ifs
.
sh: Add the
-
C option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
ar
p
e
nter
check_memory: elimin
a
te some fals
e
p
o
sitive
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nter
get_value()
:
the return val
u
e was getting
c
ut off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Car
p
enter
chec
k
_sign
e
d: clarify error mes
s
age
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpen
t
er
wi
n
e_filehandles: i
f
the file
handle gets reassign
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpenter
H
e
lp kchecker
and wine_checker
.
sh find the smatch binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
ge
t
_variable_from_expr(): fix array d
i
splay
(
even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Car
p
enter
delete
_
state():
f
ix a bug calling d
e
lete state
inside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
g
et_varia
b
le_from_expr(
)
:
u
s
e
[
]
f
o
r
arrays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan
C
a
r
penter
fix "make
i
n
s
tall
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan
C
arpenter
fix bug in printing file names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpen
t
er
g
e
t_array_name(): retu
r
n the stripped value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
wine
:
p
p
_internal_error() d
o
esn't
retur
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Car
p
enter
unused return: warning: => w
a
rn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan
Carpenter
prec
e
d
e
nce:
make test
st
r
ict
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpent
e
r
__USE_ISOC99:
silence
a gcc
w
a
rning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Car
p
enter
check_d
e
v_queue_xmit
:
make valid_use() static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
a
r
p
e
n
ter
ch
e
ck
_
signe
d
: cha
n
ge some
error:
mess
a
g
e
s to wa
r
n:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carp
e
nter
che
c
k_signed:
fix and turn
on by default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Ca
r
penter
get_type():
fix
c
ast h
a
ndling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
arpenter
g
e
t
_
v
a
lue(): add initial
support f
o
r ha
n
dling casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
whitespace: "switch(" =>
"
s
witc
h
(
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpenter
get_type(): don't ignore cast
s
!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n
C
a
rpent
e
r
e
l
iminate all the "x can't f
i
t
into 0
"
f
a
lse pos
i
ti
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
an Carpenter
fix getting_address() functions vs parens
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
arpent
e
r
a
d
d check_dev_queue_xmi
t
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
an
Carpenter
add --rare
o
p
ti
o
n fo
r
rare bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Da
n
Carpe
n
ter
introduce: add_mo
d
ification_h
o
ok
_
expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
p
enter
implied cleanup:
move pool_in_pools() and is_
c
hec
k
ed()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
t
er
implied
cleanup: rename: g
e
t_
e
q_n
e
q() => separate_and_filt
e
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup:
s
e
parate do
_
c
ompare
into its own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
implied cl
e
anup: move get_implications() lower in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
impl
i
ed cleanup:
1 =>
L
EFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
ter
implied c
l
eanup: clean handle_
c
ompari
s
on(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: rena
m
e s
t
ate => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
te
r
imp
l
ied cleanup:
move check for !is
_
merged()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Car
p
enter
implied cleanup: ren
a
me left => l
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
ter
implied cleanup: rename
s
ome sm_states:
s
tate => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
Ca
r
pen
t
er
implied
c
le
a
nup: move some funct
i
ons around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
i
m
plied cl
e
anup:
c
omment
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied
cle
a
nup
:
cre
a
te
p
rint_once
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpent
e
r
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
Da
n
C
arpe
n
ter
im
p
l
i
ed cleanu
p
:
move var
i
able declarations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
Add valida
t
ion/sm_a
r
r
a
y_overflo
w
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan C
a
rpenter
cle
a
nu
p
r
e
mov
e
f
al
s
e_o
n
ly_sta
c
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Da
n
Carpenter
Fix bug in
h
a
ndling
f
o
r 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
Dan Carpenter
check_
m
emory: add_modificati
o
n
_
h
ook isfr
e
e => unfree
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
m
o
ve modifi
c
ation hoo
k
to the
front of the
hook list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpen
t
e
r
clean up: move everythin
g
to
get_dinf
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
intr
o
du
c
e:
get_dinfo
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
nter
chec
k
_overflo
w
:
ha
n
dle address
e
s differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carpenter
smatch_extra: clea
n
up
.
state ca
n
never be &mer
g
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
check_
o
verflo
w
: ignore
the last member of structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpen
t
er
smatch_ext
r
a: I don't l
i
ke empty r
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
Carpenter
add smatch_scr
i
p
t
s
/ge
n
_arr
a
y_bounds
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
s
m
atch
_
data/kernel
.
arr
a
y_boun
d
s
.
remo
v
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpen
t
er
check_overflow: an an "error: "
p
refix
t
o a printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpenter
smatch_scripts
/
sho
w
_unr
e
achable
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpente
r
n
ew script: sho
w
_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
introduce getting_address(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Car
p
enter
update smatch_scripts/
bec
a
u
s
e
o
f --info fo
r
mat changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Carpenter
chec
k
offset a
f
ter use: ignore foo =
&array[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
a
r
penter
check
_
ov
e
rflow: mov
e
som
e
m
o
re
s
tu
f
f under the
--info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Carpenter
clean up
o
u
t
put: warning:
=
> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpente
r
modification_hook: --
a
n
d ++ are modifica
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
D
a
n Carpenter
It mak
e
s sense to check an ar
r
ay of
f
s
et
if it
h
as b
e
en
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
chec
k
_ov
e
rflow:
sepa
r
ate
t
h
e two ty
p
es of states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Car
p
enter
Fix pre
c
edence/crash
i
ng bug chec
k
_o
v
erflow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
Carpente
r
che
c
k_overflow: check
for limiting offs
e
t after using
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpent
e
r
introduce alloc_
s
tate_nu
m
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
c
l
eanup: rename
a
lloc_state() =
>
a
lloc_
s
m_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
intr
o
duc
e
get_fuzz
y
_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
call_tree
.
pl: ma
k
e it an interac
t
ive program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Carpenter
create
g
et_impl
i
ed_
r
ange_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Car
p
enter
sm_info
:
fix formatting
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan
Ca
r
pe
n
ter
call t
r
ee: initial upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
dma
o
n stack
:
mov
e
d
a
t
a
to sma
t
c
h_data
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carp
e
n
t
er
tr
a
ce_pa
r
ams
.
pl: r
e
wrote so it's fas
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
a
dd --
p
a
ra
m
-mapper
b
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpent
e
r
clean
u
p up
option
parsin
g
a lit
t
l
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add op
t
ion: --info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
re
d
o
how op
t
ions are parsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpent
e
r
cle
a
nup
:
debu
g
_implied_states => opti
o
n_deb
u
g
_implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
n
ter
cleanup: deb
u
g_s
t
a
tes =
>
o
p
tion_debug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param_mapper:
a
dd --param-mapper option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
d
m
a on stack
:
el
i
minate some false pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
Add dma functi
o
ns th
a
t
m
ap to usb_con
t
r
ol_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpenter
a
d
d smatch
_
scripts/trace_para
m
s
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
p
a
ram_mapper: initia
l
commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
dm
a
_on
_
stack: &foo means
i
t's an error too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan
Carpenter
updat
e
smatch_data to 2
.
6
.
33-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carp
e
nter
c
heck_ove
r
flow: fix cra
s
hing bug (divide by zero)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n Carpenter
check_overflow: f
i
x
c
rashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Ca
r
penter
add a
check for passing
stac
k
var
i
ab
l
es to dma func
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
ch
e
ck
_
used_
r
eturns: ignore inb, inw, and
i
n
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan
Carp
e
nter
up
d
a
te
valida
t
ion tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Car
p
en
t
er
check_overflow: handle arrays inside str
u
cts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next