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
db: move return_states to raw SQL
2013-01-08
Dan C
a
rpenter
extra: creat
e
a
callb
a
ck
f
or when
smatch_extra changes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan C
a
rpen
t
er
e
x
tra
:
create set_ex
t
ra_nom
o
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
Dan Carpe
n
ter
db: fixup
p
rin
t
ing
ret
u
rn info for diff
i
c
ult
t
o sp
l
it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
Dan
C
arpente
r
math:
handle ORs better in
h
and
l
e
_
logi
c
al(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-19
D
an
Carpenter
extra:
c
a
ll set_extr
a
_
m
od() from set_extr_expr_mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carpente
r
db: handle
un
c
hange
d
r
e
tu
r
n_states better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carp
e
nter
param
_
limit: fix read beyo
n
d end
o
f ar
r
a
y (segfau
l
t)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carpenter
signed
:
handle it whe
n
th
e
type is unknown
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan
Carpe
n
t
er
db: m
a
ke some varchar deca
l
arations smaller
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpenter
si
g
ned: remove some debug cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpenter
db: make the size limit f
o
r
the database lar
g
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Ca
r
penter
param_l
i
mit:
do
n
't p
r
int unn
e
eded
i
n
f
o
r
m
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpe
n
ter
db: remove return
_
imp
l
i
es table and
rel
a
ted code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
smatch_param_
l
imit: extra: store para
m
eter
i
mplications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpen
t
er
d
b: print
r
eturn_states inform
a
t
ion i
n
a mor
e
detailed way
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
implied: i
n
troduc
e
overwrite_st
a
t
es_us
i
ng_pool
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpenter
stat
e
s: fix __set_sm()
wh
e
n
a
f
a
ke_cu
r
_sl
i
st is being
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an Ca
r
p
e
nter
function
_
hooks:
a
dd some calls to __
u
nnullif
y
_path()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
ranges
:
introdu
c
e
r
l_invert(), rl_filter(
)
a
nd
rl_
i
ntersection()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
penter
extra:
f
ix a bug in
h
ow pointers are set
inside called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
estate
:
introduce get_implied_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: estate: mo
v
e merge_estate() from extra
to estat
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: parse asm and unops after
e
v
er
y
one el
s
e is finished
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
poi
n
ter_m
a
th: c
h
eck
f
or (int *)p += sizeof(int)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpe
n
ter
treewi
d
e: fix som
e
memo
r
y
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
R
e
vert "c
o
ns
t
r
aints: fix
bug i
n
r
e
move_from_equ
i
v()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
a
rpent
e
r
slist: fix some deb
u
g co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
arpenter
slist: com
p
il
e
error in debug
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carp
e
nter
constraints: fix a me
m
ory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Car
p
en
t
e
r
constraints: fix bug in remove_f
r
o
m
_equiv
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
ar
p
enter
c
o
ns
t
raints: use cmp_relation() instea
d
of custom code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpenter
condi
t
io
n
s
: rework __is
_
condi
t
ion_assign() => is_
c
o
ndit
i
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
D
an Carpenter
db: remove get
_
ret
u
r
n
_id()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
parse_call_math: update
t
o new
r
et
u
rn_st
a
tes API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
use
r
_d
a
t
a
: move
to
t
he r
e
t
u
rn_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carp
e
n
t
e
r
e
x
tr
a
: move return_value_param to
th
e
new return
_
sta
t
es API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
stat
e
s
: introd
u
ce ge
t
_a
l
l_state_s
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
db: c
a
ll
return_
s
tat
e
s at the end
of the fu
n
ction if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
d
b
: fix
re
t
urn rang
e
s for the return_states callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Ca
r
penter
db:
c
hange print_returned_struct_memb
e
r
s
()
to new API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpenter
d
b: int
r
oduce add_return
e
d
_st
a
te_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpen
t
e
r
d
b
: pass the re
t
urn_
i
d to
t
he struct
m
ember
callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
m
o
d
if
i
c
a
tion_hook
s
: handle inlin
e
asse
m
bly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
inf
o
: derefe
r
ences_param:
pri
n
t the dereferences
even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan C
a
r
pe
n
ter
db
:
hand
l
e global function assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
D
a
n Carpenter
extra: info: don't
print empt
y
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpente
r
absolute: use get_implied
_
min
(
)
instead of get_impli
e
d_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
D
an Carpenter
extra: save more modi
f
ied pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Da
n
Carpent
e
r
db:
c
hang
e
smdb_
r
et
u
rn_info
.
sh to
s
mdb_r
e
t
u
rn_values
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
enter
ex
t
ra: db: record when people modify point
e
r
s
passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra: move --inf
o
hooks
l
ater
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Carpenter
db: move
f
r
ee_
s
list(
)
inside th
e
loop
and
f
ix a memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carpenter
helper: introduc
e
g
e
t_param_num_from_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
d
b: save struct member values across returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan C
a
rpe
n
t
e
r
type: rename get_param_type_fro
m
_key() =>
g
et_member_type
_
f
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpent
e
r
fl
o
w:
i
mpli
e
d: fi
x
how
s
w
it
c
h
s
t
atements are handle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
an Carpenter
ge
n
erisize
.
p
l: remo
v
e u16max and fr
i
e
nds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpenter
extra:
t
w
e
ak handling o
f
absolute min/max in comp
a
r
isons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpente
r
math: ig
n
ore fuzzy max
e
s
th
a
t are typ
e
_min
(
) +
1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpente
r
mat
h
: overflow impl
i
es th
a
t there is no
fuzzy m
a
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math:
o
verf
l
ows
i
n hard ma
x
a
r
e u
n
de
f
ined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpent
e
r
extra: handle
l
oops where witho
u
t a har
d
m
a
x that
don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an C
a
rpenter
extra: clear hard max if we are fal
l
ing back to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
p
enter
ext
r
a
:
get max correctl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
extra:
set
hard max correctl
y
in loop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ext
r
a
:
i
f
(unsi
g
ned >= unsigned)
{
:
Always true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
m
a
th: c
h
ec
k
for overflo
w
s
when calcul
a
t
i
ng the max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
Carpe
n
ter
c
onditions
:
pr
e
serve the
t
ype in se
l
ect assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
penter
type: cle
a
n
p get_member_symbol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpent
e
r
ex
t
ra: ty
p
e: get the
m
e
mb
e
r t
y
pe when loading values
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
debug: add _
_
sma
t
ch_debug_implied_on/of
f
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
d
e
bug: i
n
troduce lo
c
al
_
d
ebug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: reverse max()
/
min() test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
Carpente
r
sval: h
a
ndl
e
canonical
for loops d
i
f
ferent
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sval: convert
S
HRT
_
MAX
t
o s16max in
t
he output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
Carpenter
fu
n
c
tion_
h
ooks: consider the re
t
u
rn type o
f
the funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
extr
a
: remov
e
som
e
duplic
a
te code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
pen
t
er
math: change
h
ow MOD oper
a
tions are h
a
ndle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpenter
math: count s
o
me
m
ore thin
g
s as impli
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rp
e
nter
extra: type: mov
e
get_arge_ty
p
e()
t
o
s
matc
h
_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpe
n
ter
e
x
t
ra: math: move get_i
m
plied_range_list()
t
o smatch_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
an
Carpenter
sval:
extr
a
:
g
e
t
_implied_range_list() return wh
o
le
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpente
r
scripts
:
tr
a
ce
pa
r
ams us
e
4 space indents consistentl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpente
r
sval: m
a
th:
f
ix g
e
t_value() for !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpen
t
er
check_size
o
f_p
o
inter: complain
a
bout si
z
e
of(&fo
o
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nter
hooks:
add a SI
Z
EOF_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
a
r
penter
sval: make cast
_
rl() preserv
e
things b
e
t
t
er across
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
te
r
sval:
type: h
a
n
d
l
e
type_bit
s
() for addresse
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
sval: type: use type_bi
t
s
()
through out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpenter
sval:
fi
x
up calls
t
o sval_cm
p
_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpe
n
ter
sval
:
t
ype: hack se
l
ect ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nt
e
r
extr
a
: remov
e
debuggin
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: add sval
_
is_negative
(
)/po
s
i
tive(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpente
r
s
v
al: take the ty
p
e
i
n
to consideration wh
e
n doing an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
s
v
a
l
: cast
t
hings correctly in sval_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
B
art V
a
n
Assche
sval: unin
i
tializ
e
d variable
w
arni
n
g
commit
|
commitdiff
|
tree
2012-11-17
Da
n
Carpe
n
t
er
fl
o
w: hooks:
fix MACR
O
_
A
SSIGNMEN
T
_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
arpente
r
flo
w
: hooks:
introduce GLOBAL_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpe
n
ter
sval:
i
ntroduc
e
sval_bits_u
s
ed(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpe
n
ter
type
:
introduce type_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next