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 everything to the new cwchash hash table.
2010-01-22
Da
n
Carpente
r
M
ove everything to the new cwch
a
sh ha
s
h table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
a
d
d
cwchash hash tabl
e
i
mpl
e
mentation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan Ca
r
penter
function_implie
s
_hook: fix b
u
g when
a
function ha
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan
C
ar
p
enter
check
_
s
igned:
w
arn on
a
s
sig
n
ing nega
t
ive to uns
i
gned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
rpenter
Make
smat
c
h
work
again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
Mer
g
e git:
/
/
g
it
.
k
ernel
.
org
/
pub/
s
cm
/
devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carp
e
nter
Mo
v
e the
checks out o
f
smatch
.
c into check_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
silen
c
e some sparse warnings: () => (
v
oid)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
introduce: type_min() a
n
d
t
ype
_
max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
arpenter
wine WtoA: fix cra
s
hing
bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
n
ew file: sma
t
ch_
s
cripts/gen_dm
a
_funcs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpenter
show_if
s
.
sh: A
d
d the
-
C option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carp
e
nter
check_memory: eliminate some
false pos
i
t
i
ves
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpent
e
r
g
e
t_value()
:
the ret
u
rn value was getting cut off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
c
heck_
s
ig
n
ed: cl
a
ri
f
y
error message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpenter
wine_
f
ilehandles: if t
h
e f
i
le handle gets reassi
g
ned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
Hel
p
kch
e
cker and
wine_checke
r
.
s
h
find
the
s
match binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carp
e
nter
get_variable_from_expr(): fi
x
array display (even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan
C
arpenter
delete_state():
fi
x
a bug calling delete state inside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
an Car
p
enter
get
_
va
r
iable
_
fr
o
m_expr(): use []
f
or arrays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpente
r
fix "m
a
ke
install"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpen
t
e
r
fix bug
i
n printing f
i
le n
a
mes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
get_array
_
name():
ret
u
rn
t
he stripped value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
win
e
: pp
_
internal
_
error()
d
o
e
sn'
t
return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
unus
e
d return: warnin
g
: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Da
n
Carpenter
precedence:
make t
e
st st
r
icter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Ca
r
penter
__U
S
E_ISOC99: silence
a gc
c
warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
an C
a
r
p
e
n
ter
check_dev_queue_xm
i
t:
make valid_use() static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpenter
c
h
eck_signed
:
change so
m
e
e
r
r
or: me
s
sages to wa
r
n:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpen
t
er
check_signed: fix and turn on
b
y
default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_
t
yp
e
():
fi
x
c
ast ha
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan C
a
r
pe
n
ter
get_value():
add initial suppor
t
for
h
andlin
g
c
a
sts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
w
h
itespac
e
: "switch("
=
>
"swi
t
ch ("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
ge
t
_ty
p
e
(
)
:
don't ignore casts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carpenter
e
l
imina
t
e all
t
he "x can't fit into 0" fal
s
e positiv
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
an Ca
r
penter
f
i
x getting_address()
f
unctions
v
s parens
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Da
n
Carpenter
add check_de
v
_queue_
x
m
i
t
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
Ca
r
p
enter
add --rar
e
option
for rare bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
a
r
p
ente
r
introduc
e
:
add_mod
i
f
ication_hoo
k
_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpent
e
r
i
mplied cleanup: move p
o
ol_in
_
pools
(
) and
is_checked(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpenter
implied cleanup: rename: get
_
e
q_neq() => separate_an
d
_filte
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implie
d
cleanup: separate do_compare into
its own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup:
m
o
v
e
g
e
t
_i
m
plic
a
tions()
l
ower in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
Carpenter
implie
d
clean
u
p:
1
=
> LEF
T
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arp
e
n
ter
implied c
l
e
a
n
up:
clean handl
e
_com
p
ari
s
on()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
imp
l
ied
c
leanup:
rename
s
tate => s
m
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied
c
l
eanup:
move c
h
e
ck
fo
r
!is_
m
e
r
g
e
d()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpenter
implied cleanup:
r
ename
l
eft
=>
l
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
i
mplied cleanup:
rename
some sm_states:
s
tate => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: move s
o
me
f
u
n
c
ti
o
ns around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
i
m
plied cleanup:
c
om
m
ents
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: create pr
i
nt_once()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Ca
r
pent
e
r
implie
d
clea
n
up: get rid of so
m
e curly brac
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpenter
imp
l
ied cleanup: move variable declarat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
Add valid
a
tion/sm_array_over
f
lo
w
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpen
t
er
cl
e
anup remove false_only_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan C
a
rpenter
Fix bug in handling
f
or loo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
Dan Carpent
e
r
foo(&bar) m
e
ans bar is
m
odi
f
i
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpe
n
ter
check_m
e
m
ory: add_modi
f
i
c
ation_hook isfree
=>
u
nfree
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
move modification hook to the front
o
f
the ho
o
k
l
ist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
clean up: m
o
ve everyt
h
ing
t
o g
e
t_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
pe
n
t
er
intro
d
uce: get_di
n
f
o()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
check
_
o
v
e
r
flow: h
a
ndle a
d
d
resses differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
smatch_extra:
c
lea
n
up
.
s
t
ate can nev
e
r
be &merge
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan C
a
rpente
r
check_overfl
o
w: ig
n
ore the
l
ast member of structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
sma
t
ch_extra: I don't
like empty ra
n
ge
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
nter
add smatch_
s
cri
p
ts/gen_
a
rray
_
bou
n
ds
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Ca
r
penter
smatc
h
_d
a
ta
/
ker
n
el
.
array_bounds
.
remove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
nter
c
h
eck_overfl
o
w: an a
n
"erro
r
: " p
r
efix to a printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Ca
r
pe
n
ter
smatch_scr
i
pts
/
show_unreachable
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n
C
arpenter
new
s
cript: show_if
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpen
t
er
introduce getting
_
address()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an C
a
rpenter
u
pdate smatch_scripts/ b
e
caus
e
of
--info forma
t
changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpenter
c
h
eck o
f
fset after use: ignore foo =
&
array[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Carpenter
c
he
c
k
_
overflow: m
o
ve some m
o
re stuff unde
r
t
h
e --in
f
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpente
r
clean u
p
output
:
w
arning: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
penter
modifica
t
i
on_hook:
-- and ++ are
modifications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpenter
I
t m
a
k
es sense to check an array offset if i
t
has b
e
e
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Ca
r
penter
check_over
f
low: se
p
ara
t
e the two type
s
of stat
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan
Carpenter
Fix prece
d
ence/crashi
n
g
bug check_ov
e
rflow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
Carpenter
check_overfl
o
w: check for limiting offset
a
fter
using
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carp
e
n
t
e
r
introduce alloc_state_num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
Car
p
enter
c
l
eanup
:
rename alloc_state() => alloc_sm_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Ca
r
penter
i
ntro
d
uce get_fu
z
zy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Car
p
enter
call_tree
.
pl: m
a
k
e it
a
n interact
i
v
e
program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan C
a
rpente
r
create get_implied_range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carp
e
nter
sm_info
:
fix
formatti
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Da
n
Carpenter
call tree:
initial upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Da
n
C
arpe
n
ter
dma on
stack:
m
ove
d
ata to sma
t
ch_d
a
ta/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Da
n
Ca
r
penter
tra
c
e_
p
arams
.
p
l
:
r
ewrote so it's faster
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
Carpenter
add --param-mapper back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
c
leanup u
p
option parsing a
littl
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
add
o
pt
i
o
n:
-
-info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
redo how
options ar
e
parse
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
C
arpenter
cle
a
nup: de
b
ug_implied_s
t
ates => option_debug_implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpenter
cleanup: de
b
ug_states => opt
i
o
n
_d
e
bu
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
p
a
ram_mapper: ad
d
--pa
r
am-
m
apper o
p
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Car
p
e
nter
dma on st
a
ck: eliminate so
m
e f
a
l
se positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
Add dma
f
u
n
c
tions that
map to
usb_
c
ontrol
_
msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
a
d
d
s
mat
c
h_sc
r
ip
t
s/tra
c
e_params
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next