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: introduce sval_type_val()
2012-11-02
Dan Ca
r
penter
sval: update
add
_
fi
l
ter() t
o
t
a
k
e
svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carp
e
nter
s
val:
update fil
t
er_range() to take svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
r
a
ng
e
s: r
e
move unused rl_contiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Car
p
enter
sval
:
make s
v
al versions of smatch_estate
.
c functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpent
e
r
sval: fix
sval_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan C
a
rp
e
nter
sva
l
:
m
ake rl_min/max_sval() take a
r
ange_list_sval
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: update smat
c
h
_
db
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan C
a
rpenter
sval: u
p
d
a
t
e smatch
_
p
arse_c
a
l
l
_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpen
t
er
sval: update sm
a
tch_parse_call
_
math
.
c to use range_li
s
t_svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval
:
u
p
da
t
e sm
a
tch_state
s
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sv
a
l: fix some bugs in add_range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval:
u
pdate smatch_implied
.
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
a
l: up
d
ate smatch_math
.
c to us
e
range_list_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sval: upda
t
e smatch_project
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Ca
r
penter
sval: u
p
da
t
e
validati
o
n/
t
o match ne
w
ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan
Ca
r
pe
n
ter
sval: upd
a
te check
_
user_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Da
n
C
arpenter
sval: update check_para
m
_range
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpen
t
e
r
s
v
al: upd
a
te check_debug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan
Carpent
e
r
sval: u
p
date
check_db_inf
o
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sv
a
l
:
start change range
_
l
i
sts to use da
t
a_
r
an
g
e_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpen
t
er
ranges
:
function_hooks: move i
n
_list
_
exact() to function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Carpenter
sva
l
: upd
a
te smat
c
h_mat
h
.
c to u
s
e the new sval range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Carpenter
sval
:
create true/false_c
o
mparison_
r
ange_s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
val: c
u
t-an
d
-paste bug: using min in
s
tead of max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
v
al:
c
reate
temporary drange_sval_
t
o_drange()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
v
al: ranges:
introduce ranges_equiv_sva
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: creat
e
all
o
c
_range_perm_s
v
a
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Car
p
e
nter
s
v
al
:
add inte
r
i
m help
e
rs
ll_
t
o_sval()
a
n
d drange_to_dr
a
nge_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carp
e
nter
sval:
fix abso
l
ut
e
--
i
nfo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpent
e
r
sva
l
: introduce esta
t
e
_min/max_sval
(
)
and estate_get_singl
e
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carp
e
nter
s
v
al
:
upd
a
te smatch_absolut
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Carpenter
sval: ranges: introduce struct data_range_sval as a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
an C
a
r
p
enter
sval: introdu
c
e sva
l
_is_m
i
n/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Car
p
enter
sval: up
d
at
e
a few get_value() to get_value_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Ca
r
penter
sval: update
s
match
_
capped
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sv
a
l: update smatc
h
_flow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
v
al
:
upd
a
te sm
a
t
ch_help
e
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carpenter
sval: remove
type_min/ma
x
() which are
not
u
s
ed any
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: change typ
e
_min/max() => sval_type_m
i
n/max(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpe
n
t
er
sval: debug: fix reversed
i
f
condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update check
_
signed
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
an
C
arpente
r
sval:
a
dd sval_type_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpenter
sval: fix sva
l
_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpenter
sval: update check_
s
n
printf
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update check_ove
r
flow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update smatch_buf
_
s
i
ze
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carpen
t
er
sval:
i
mplement parse_call_math_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpe
n
ter
sval:
c
reate
a
couple s
v
al all
o
cators
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carpenter
sval
:
update chec
k
_unwind
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpenter
sval
:
update check_template
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: up
d
ate check_sizeof_point
e
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update
v
alid
a
tion/sm_pr
o
p
agate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpente
r
sval:
u
p
date
ch
e
ck_r
e
tur
n
_enome
m
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
en
t
er
sv
a
l: update c
h
ec
k
_retu
r
n_e
f
a
u
lt
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
rpenter
s
val:
u
pdat
e
c
heck_
p
r
opagat
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpen
t
er
sval:
u
pdate
c
h
e
c
k
_
p
r
o
c_create
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
sval: update check_preced
e
nce
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
sval: upd
a
te che
c
k_param_range
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sv
a
l
:
u
p
date check_or_
v
s
_
and
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
penter
sval: update ch
e
ck_mod_tim
e
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
v
al: up
d
ate check_m
e
mset
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpenter
sval: update check
_
logical_inste
a
d_of_bitwise
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update
check_kmall
o
c_wrong_siz
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
sval:
u
p
d
ate check_gfp
_
dm
a
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
pente
r
sval:
update check_get
_
user
_
o
verflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carpenter
sval:
u
pdate check_f
r
eei
n
g_null
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval:
u
p
date check_er
r
_pt
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sva
l
: update check_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
sval: updat
e
chec
k
_debug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
penter
s
v
al:
u
pda
t
e check_bool_i
m
plication
s
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carpente
r
sv
a
l: upda
t
e check
_
bog
u
s_lo
o
p
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpenter
sval: update check_bog
u
s_irqresto
r
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpe
n
ter
s
val: update check_bit_
s
hift
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carp
e
nter
sv
a
l: update c
h
eck_assign_vs_compare
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
C
a
rp
e
nter
sval: update check
_
allocation_funcs
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Ca
r
penter
sv
a
l:
update access_ok_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpenter
sval:
c
lean up some na
m
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpen
t
er
s
val: im
p
l
e
men
t
t
he _sval v
e
rsion
s
of a bunch of functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval
:
delete g
e
t_absolut
e
_
m
a
x()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval:
u
p
d
ate ge
t
_
absolute_max(
)
c
a
lls to
use svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpe
n
ter
math: move smatch_math
.
c to use svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
ty
p
e: sup
p
ort
s
ome more types in
g
et
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carp
e
nter
type
:
i
n
tro
d
uce sval_type_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpe
n
ter
sval:
c
rea
t
e a ne
w
basic storage for storing the value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
unwind: only
e
na
b
le with -
-
spammy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpenter
db: don't turn Ra
i
se
E
r
ror
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carp
e
n
t
er
dev_queue_xmit: tur
n
on by
d
e
fault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Car
p
enter
db:
a
dd a
comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
Carpenter
s
igned: tin
y
wh
i
tes
p
ace fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
Carpente
r
absolute: fix parameter info c
o
unting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
ar
p
e
nter
abs
o
lut
e
:
fix how modifi
c
ations are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
D
an Carpenter
debug
:
fi
x
c
u
t
an
d
pa
s
t
e
bug in
p
rin
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
type: fix get_bin
o
p_type() for bit
s
hift operat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
D
an Car
p
enter
w
hitespace: add a newline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
D
a
n
Carp
e
nter
absolu
t
e:
t
r
ack
the absolute
l
imits that vari
a
b
les
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
D
a
n Carpenter
m
ath
:
improve how get_absolute_min/max
(
) wo
r
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan
C
arpenter
math: improve how known l
o
gical operations are
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
D
a
n Carpent
e
r
t
y
pe: si
m
plify get_b
i
nop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Dan
C
arpenter
type: improve handling o
f
ty
p
e pro
m
otion on binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpen
t
er
extra: d
e
l
ete some debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next