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 smatch_function_hashtable.h
2010-01-22
D
an
Car
p
enter
add sm
a
tch
_
fun
c
ti
o
n_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpe
n
ter
Move everything
t
o
the new c
w
chash hash
t
able
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add c
w
c
hash
h
ash table im
p
lementation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpe
n
t
e
r
function
_
imp
l
i
e
s
_hook: fix bug
w
hen a function
h
a
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carp
e
nter
check_signed: warn on
assignin
g
negative to un
s
igned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
a
rpenter
Make smat
c
h w
o
rk ag
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpente
r
Merge git://git
.
kern
e
l
.
org/pub/scm/devel/sparse
/
chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Move the che
c
ks out of
s
m
a
t
ch
.
c into check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
silen
c
e
s
o
me spar
s
e warnings:
(
)
=
> (v
o
id)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n
C
arpenter
intr
o
duce:
t
ype_m
i
n(
)
and
t
ype_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
win
e
WtoA:
fi
x
c
rashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
ne
w
f
i
l
e: smat
c
h_scripts/gen_
d
ma_funcs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpenter
s
h
ow_ifs
.
sh
:
Add
t
he
-C
o
p
t
i
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
p
e
nter
check_memory: eliminate some false
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpe
n
ter
get_value(): the r
e
turn value
w
as
getting cut off
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpenter
check_signed: c
l
ar
i
fy err
o
r mes
s
age
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
w
ine
_
filehandles: if th
e
fil
e
handl
e
gets rea
s
sig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
H
e
lp kchecke
r
and wine_
c
hecker
.
sh find the smat
c
h binary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_var
i
able_from_e
x
pr()
:
f
ix ar
r
ay display (eve
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
D
an Carpe
n
ter
dele
t
e_state
(
): fix a bug calling delete stat
e
inside
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
g
e
t_va
r
i
a
ble_from_expr(): use [] fo
r
arrays
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Ca
r
penter
fix "m
a
ke
install
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
fix
b
u
g
i
n printing file names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
D
a
n
Carpenter
ge
t
_array_
n
ame(): retur
n
the stripped valu
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
w
i
ne
:
pp_internal_error()
d
oesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
a
rpente
r
unused return:
warni
n
g: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Ca
r
pen
t
er
prec
e
dence:
ma
k
e test st
r
icter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carp
e
nt
e
r
__
U
SE_ISOC9
9
: silence a g
c
c warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
D
an Carpenter
check_dev_
q
ueue_xmit:
make valid_use() st
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
check_signed:
change some error: messages
t
o warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carp
e
n
ter
c
h
eck_
s
igne
d
: f
i
x a
n
d tur
n
on
b
y default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
arpenter
get_type(): fix cast handl
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
g
e
t
_
v
alue(): add initial
support for handling cas
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Car
p
enter
w
hitespace: "
s
w
i
tch("
=
> "
s
witc
h
("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_type(): don't ignore
c
as
t
s!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpen
t
e
r
e
li
m
i
na
t
e al
l
the "x
can't
fit
into
0
" f
a
lse
po
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
f
ix g
e
tt
i
ng_address() functions vs par
e
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpen
t
er
add check_dev_queue_xmit
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
D
an Carpente
r
add --rare option for
rar
e
bu
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n Carpenter
introduce
:
add_modifi
c
atio
n
_hook_e
x
pr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpenter
implied cl
e
anup: move pool_in_pools() and is_che
c
ked
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
implied cleanup: rename: get_eq_n
e
q
(
)
=
> se
p
arate_an
d
_filter
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
implied c
l
ean
u
p:
separate do_co
m
pare into its own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
implied
cle
a
nup: move get_im
p
lications() lo
w
e
r
in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an
Carpen
t
er
implied c
l
eanup: 1 => LEFT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpe
n
ter
implied cleanup: clean han
d
le
_
com
p
arison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impl
i
ed cleanup: rename sta
t
e
=> sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Ca
r
penter
implied
cleanup: move
c
heck
for !is_merged()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
implied cleanup: rename le
f
t => lr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
implied cleanup:
rename s
o
me sm_stat
e
s:
s
tate => sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
C
a
r
p
enter
implied
c
lea
n
up: mov
e
some functi
o
ns
aro
u
n
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpen
t
er
implied
c
leanup: com
m
ent
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
imp
l
ied cleanup: create
p
ri
n
t_once()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
a
rpenter
implied
c
leanup:
g
e
t rid
o
f some curly braces
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
imp
l
i
ed cleanu
p
:
move va
r
ia
b
le decla
r
a
t
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
A
d
d
valid
a
t
ion/sm_array_ov
e
rflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carp
e
nter
cleanup r
e
mo
v
e
f
alse_only_st
a
c
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Car
p
e
n
ter
Fix bu
g
i
n ha
n
dling for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-10
Dan Carp
e
nter
fo
o
(&
b
ar)
m
eans bar is
m
odified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
check_
m
emory: add_modi
f
ication_hook isfree => u
n
free
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan C
a
rpenter
move modific
a
tion hook
t
o
t
he front of
the hook list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpe
n
ter
clean up:
move everything to get_dinfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
a
r
pent
e
r
introduce
:
g
et_dinfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpe
n
t
e
r
check_o
v
e
r
fl
o
w:
han
d
le addresses differently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carpenter
smat
c
h_ext
r
a
:
clean up
.
state can neve
r
be &merged
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
an
Carpenter
c
heck_o
v
erflow
:
igno
r
e the las
t
member
o
f s
t
ructs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
smatch_extra: I don't like empty ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
a
d
d
smatch_scr
i
pts/ge
n
_array_bounds
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpen
t
er
smatch_data/kernel
.
a
rra
y
_boun
d
s
.
remov
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arpenter
check_overflow: an an "error: " prefix
t
o a print
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpent
e
r
smatch_s
c
ripts/sh
o
w
_
unreachable
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
new 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
D
an Carpenter
u
pdate smatch_scripts
/
b
e
cause o
f
--info format changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n
Car
p
enter
c
heck offse
t
after use: ignor
e
fo
o
= &a
r
ray[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
check_ov
e
rflow:
move some more stuff
u
nd
e
r
t
h
e --
i
nfo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n
C
arpent
e
r
clean up out
p
ut: warning: => w
a
rn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
modificatio
n
_hook: -- a
n
d ++ are modi
f
i
ca
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
D
an Carpe
n
t
e
r
It makes sense to check an arra
y
offset if it has been
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
check_overf
l
ow:
s
e
parate t
h
e tw
o
types of states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Car
p
enter
Fix precedence/crashing bug check_overflo
w
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpe
n
ter
che
c
k_ove
r
flow: check fo
r
lim
i
ting offset af
t
er u
s
ing it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carp
e
nter
i
ntroduce
a
l
l
oc
_
st
a
te_num()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
D
an Carpent
e
r
cleanup: rena
m
e a
l
loc_state()
=
> alloc_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
introduce get_fuzzy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan C
a
r
p
ent
e
r
call_tree
.
pl: make it
an in
t
e
ractive prog
r
am
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
create
g
et_implied_range_lis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
sm_info: fix for
m
a
tting
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
call tree: initial upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carp
e
n
ter
d
ma
on
stack
:
m
o
ve data to s
m
a
tch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpent
e
r
trace_par
a
ms
.
pl: rewrote
so it's
f
a
s
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add
--pa
r
am-mapper b
a
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
r
penter
cleanup up
o
p
tion parsing a
l
ittle
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an Car
p
e
n
t
er
add option: --
i
n
f
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
redo
h
o
w options a
r
e parsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanup
:
de
b
ug
_
implied
_
states
=
> opt
i
on_debug_implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an C
a
rpenter
cle
a
n
u
p: debug_states => option_d
e
bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpente
r
para
m
_m
a
pper:
a
d
d
-
-
para
m
-mapp
e
r o
p
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
dma
on sta
c
k:
e
l
imi
n
a
t
e
some fal
s
e
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
Ad
d
dma functions tha
t
map to u
s
b_
c
ontrol_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next