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
sval: update remaining calls to alloc_estate_range_list() and delete
2012-11-05
Dan Carpe
n
te
r
sval:
u
pdate
r
emaining c
a
lls to
a
lloc_
e
state
_
range
_
list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carp
e
nter
sval: update remaining a
l
loc_estat
e
_range() cal
l
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
s
val: fix
b
u
g
in han
d
le
_
amper
s
and()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
a
rpenter
sval: introduce valid_ptr_min/max_
s
val
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sval:
u
pdate calls to
a
lloc_e
s
tat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete u
n
u
s
ed es
t
a
te_ranges
(
) and
e
s
t
a
te_mi
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpe
n
ter
s
val
:
upda
t
e c
a
ll to estate_min()
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
u
pdate
c
heck_err_ptr_deref
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arp
e
nte
r
sval: update is_
w
hole_ra
n
ge() to
use svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an
C
arpenter
sval: delete unuse
d
range_lis
t
s_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: dele
t
e unused get
_
implied_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
s
v
al: update calls to
g
et_im
p
l
i
ed_r
a
nge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an
C
arpen
t
er
sva
l
:
create an sval version of r
a
n
g
e_
l
is
t
s_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Car
p
enter
sval: extr
a
:
c
onver
t
m
a
tch_com
p
a
rison() to sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: fix a bug in remove_range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpen
t
er
s
val: extra: change some range_list structs to
range_list_sva
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Car
p
enter
sval:
up
d
ate function_comparison() to
ta
k
e an sval
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carp
e
nter
sval:
extra:
u
pdate inc
r
ement/decrement_sta
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Carpenter
sval: extra: up
d
ate match_assign
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arpenter
s
val: extr
a
: update c
a
nonical loop code
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n
Carpenter
sval: cha
n
ge the o
u
tput back
t
o the origina
l
for now
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
an Carpente
r
sval
:
ex
t
ra: update merge_func()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
a
r
p
e
n
ter
s
val
:
update f
i
l
t
er_range_l
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpen
t
e
r
sval: up
d
ate add_filter() to
take
sval
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carp
e
n
t
e
r
sva
l
:
u
pdate filter
_
ran
g
e
()
t
o take svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpente
r
ranges: remove unused rl_contiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carp
e
nter
sval: make sval versions of smatch_estate
.
c
func
t
ion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sva
l
: fix sval_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpent
e
r
sv
a
l: make rl_min/max
_
sva
l
() ta
k
e a range_l
i
st_
s
v
al
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
s
v
al: update smatch_
d
b
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpent
e
r
sval:
u
pda
t
e smat
c
h_p
a
rse
_
call_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpente
r
s
val: update smatc
h
_par
s
e
_c
a
ll_math
.
c to use range
_
list_
s
vals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan
C
arpenter
sval:
u
pdate
smatch_states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Ca
r
penter
sv
a
l: fix some b
u
gs
i
n
ad
d
_ra
n
ge_sv
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: update
s
mat
c
h_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Da
n
C
arpenter
s
v
a
l: u
p
date
smat
c
h
_
math
.
c to use r
a
ng
e
_
l
ist_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
D
an Carpenter
s
val: update sm
a
tch_project
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n
C
a
r
p
enter
s
v
al: up
d
ate v
a
li
d
ation
/
to match new o
u
t
p
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sval: updat
e
c
h
e
ck
_
user_
d
ata
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan
C
arpenter
sval: up
d
at
e
check_param_range
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpe
n
ter
sva
l
: update chec
k
_deb
u
g
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Ca
r
penter
sva
l
: up
d
at
e
check
_
db_
i
nf
o
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sval: start change range_
l
ists to use data_range_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
an Carpente
r
ranges: function_hooks:
m
ov
e
in_list_exa
c
t() to fun
c
tio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Carpenter
sval: upd
a
te smatch
_
math
.
c to u
s
e the new sval rang
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sv
a
l: crea
t
e
t
rue/fals
e
_
c
omparison_range_sv
a
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpe
n
t
er
sval: c
u
t-and-
p
aste bug
:
u
s
i
ng min instead
o
f max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
C
a
r
penter
sv
a
l: create temporary
d
range_sva
l
_to_drang
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
C
a
r
penter
s
v
a
l: rang
e
s
:
intr
o
d
u
c
e
r
ange
s
_equiv
_
sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: c
r
e
a
te alloc_rang
e
_perm
_
sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan
C
arpen
t
e
r
sval: add i
n
t
erim helpers ll
_
t
o_s
v
a
l()
a
n
d drange
_
t
o
_drange_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Carpenter
s
v
al: fix absolute --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n Carpenter
s
v
al: introduce est
a
t
e
_min/max_
s
va
l
(
)
and
e
s
t
a
te_
g
et
_
si
n
gle_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sv
a
l: update smatch_absolu
t
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan
C
arpen
t
e
r
sval: ra
n
ge
s
: int
r
odu
c
e struct data_
r
ange_sval
a
s a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpe
n
te
r
sval: in
t
rodu
c
e sval_is_min/max(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carpe
n
t
er
sval: update a few g
e
t_v
a
lue() to get_
v
a
lu
e
_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpenter
sval:
update s
m
atc
h
_capp
e
d
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update smatc
h
_flow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpenter
sval: updat
e
s
matc
h
_helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: remo
v
e ty
p
e_
m
i
n/max
(
) which are
n
ot
u
sed any
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpenter
s
v
a
l: c
h
ange type
_
min/ma
x
() =>
s
val_type_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: de
b
ug:
fix reversed if condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: up
d
ate
check_signed
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
v
a
l: add sval_type_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
rpe
n
ter
sv
a
l: fix sval_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Carp
e
n
ter
s
v
al: update c
h
eck_sn
p
rintf
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Carpenter
s
val:
update
c
hec
k
_o
v
erflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
e
nter
sval: update
sm
a
t
ch_buf_size
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
ent
e
r
sval: implement parse_c
a
ll_math_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
enter
s
v
a
l
:
c
reate a coupl
e
s
val allocators
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
v
al: upda
t
e check_
u
nwind
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Car
p
enter
sval:
u
p
date check_template
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
val: update check_sizeof_pointer
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Ca
r
pente
r
sval: updat
e
validation/sm_p
r
opagate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpenter
sva
l
: update check_retu
r
n_enomem
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carpenter
sval: update che
c
k
_
return_
e
faul
t
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval:
u
pdate check_propagate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpen
t
er
sval
:
update
c
heck_p
r
oc_create
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sva
l
: upd
a
te ch
e
ck_pr
e
ceden
c
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
r
p
enter
sval:
u
pda
t
e
check_
p
aram_range
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval
:
u
p
date chec
k
_or_
v
s_and
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an
C
arpenter
sva
l
: update check_mod_timer
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpente
r
sval: update check_memse
t
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
s
va
l
:
u
pda
t
e check
_
logical_
i
n
s
tead_o
f
_bitwise
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpe
n
t
er
sval: up
d
ate c
h
eck_kmalloc_w
r
on
g
_siz
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpen
t
er
sval: upda
t
e check_gf
p
_dma
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpenter
sval
:
update
check_get_user_overf
l
ow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpen
t
er
sval
:
update che
c
k
_f
r
eeing_n
u
ll
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carp
e
nter
sval:
update
c
heck_
e
r
r
_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: u
p
da
t
e
check_deref
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
n
t
e
r
sval: update check_debug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
v
al: u
p
date
check_bo
o
l_im
p
lications
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update ch
e
ck_b
o
gus_loo
p
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sv
a
l: upd
a
te check_bog
u
s_irqrestore
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
nter
sval: up
d
a
t
e check
_
bit_shift
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: up
d
at
e
c
heck_as
s
i
g
n
_
v
s_com
p
ar
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update check_
a
l
location_fun
c
s
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
s
v
a
l
:
update acce
s
s_ok_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sv
a
l: cl
e
an u
p
so
m
e nami
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next