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
extra: don't over write cross function values from the database
2013-01-08
D
a
n Carp
e
nter
extra: don't ove
r
w
r
ite c
r
o
s
s
function v
a
l
u
es from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
db:
extr
a
: param_
l
i
m
it/fi
l
ter/se
t
: redo val
u
e tracing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpent
e
r
extra
:
cre
a
te a callback for when smatch_
e
xtra ch
a
nges
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
ex
t
ra:
c
r
e
ate set_extra_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-07
Dan
Carpenter
db
:
fixup printing return info fo
r
d
ifficult to split
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-07
D
an
Carpen
t
er
math: hand
l
e ORs better in handle_logical()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-19
D
a
n
Carpenter
extra: call set_ext
r
a
_
mod() from set_extr_expr_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-18
D
an Carpenter
db
:
handle unchanged return_stat
e
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-18
Dan Ca
r
pent
e
r
param_limit: fix read bey
o
nd end
of array (segfault)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-18
Dan
C
ar
p
enter
s
igned:
h
andle it when
t
h
e
t
y
pe is
u
nkn
o
wn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-16
Dan
Carp
e
nter
d
b
: make s
o
me varch
a
r dec
a
larations smaller
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-16
D
a
n Carpenter
signed: remove
s
ome debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Dan
C
arpent
e
r
db: make the size limit for the data
b
ase larger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpen
t
er
pa
r
a
m
_limit:
d
o
n
't print unn
e
eded informat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
p
enter
db: remo
v
e return_implies table a
n
d related code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
smatch_param_limit: extra: store
p
a
rameter im
p
lications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpen
t
er
d
b
: print
r
e
turn_sta
t
es inf
o
r
mation in a mo
r
e detailed way
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpe
n
ter
implied: int
r
oduce o
v
erwrite_st
a
tes_using_pool(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpen
t
er
states:
fix
__set_sm() when a fake_cur
_
sl
i
st is being
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
Ca
r
penter
f
unction_
h
ooks: add some ca
l
ls to __unnullify_path()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
nter
ranges: introduce
rl_inver
t
(), r
l
_f
i
lter
(
) and
rl_int
e
rse
c
tion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
Carpenter
e
x
tra:
f
ix a bug in how
po
i
nt
e
rs ar
e
set
i
n
side c
a
lled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
C
arp
e
nter
estate
:
introd
u
ce get_implied_es
t
a
t
e(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
e
x
tra
:
estate: mov
e
mer
g
e
_
estate() f
r
om extra to est
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
penter
extra: parse a
s
m
and unops a
f
ter
e
veryo
n
e else is fi
n
ished
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
C
arpenter
p
oin
t
er
_
math
:
check for
(i
n
t *
)
p +=
s
izeof(int);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
tr
e
ewide: f
i
x some memory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
Revert "constrain
t
s
:
fix bu
g
in remove_from_equiv()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
penter
slist
:
fix some d
e
b
ug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
arpenter
slist: c
o
m
p
i
le error in debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Da
n
Ca
r
pe
n
ter
constraint
s
: fix a me
m
ory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
cons
t
raints: f
i
x
bug in remove_from_
e
quiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints
:
use cmp_relation() in
s
t
e
ad
of cu
s
tom
code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan
C
a
rpenter
condit
i
o
n
s: rework __is_condi
t
ion_assi
g
n() =>
i
s_con
d
ition(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan Ca
r
penter
d
b
: rem
o
ve
get_return_id()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
parse_c
a
ll_math:
update to new return_stat
e
s
API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
u
s
er_data:
m
ove to the
r
eturn_s
t
ates A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
e
x
tra:
m
ove retu
r
n
_
value
_
param to
the new return_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpenter
s
tates: introduce g
e
t_al
l
_stat
e
_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
db: cal
l
return_states at the end of the function if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
db: fix return
rang
e
s fo
r
the re
t
urn_st
a
tes callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
d
b: chan
g
e pr
i
nt
_
ret
u
rned_st
r
u
c
t_members(
)
to ne
w
API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carp
e
nter
db: introduce add_returned_
s
tate_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
db: pa
s
s
the return_id
to the struct m
e
mber
cal
l
backs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpente
r
modification_hooks: han
d
l
e inline ass
e
m
bly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
C
arpenter
info: der
e
ferences_param: print the derefe
r
ence
s
e
v
en
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
db: han
d
l
e global function assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
extra: info: do
n
't pri
n
t
empty stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Da
n
C
arpe
n
t
e
r
absolute: use get_i
m
plie
d
_m
i
n() inste
a
d of get_implied_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan
C
arpenter
e
xt
r
a: save more modified
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
e
nter
db:
change
s
mdb_
r
eturn_info
.
s
h
to smdb_re
t
urn
_
values
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan
C
arp
e
n
t
er
extra:
db: reco
r
d when people modi
f
y poin
t
ers pas
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra: move --info hooks
la
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Ca
r
penter
db
:
move free_slist() i
n
side th
e
l
o
op and fix a
m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
an Carpenter
helper: introduce get_
p
a
ram_nu
m
_
f
rom
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
D
a
n Car
p
ente
r
db:
sav
e
s
t
ruct
member va
l
u
e
s across
r
e
tur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
type
:
r
ename get_param_type_fr
o
m_k
e
y()
=
> get_mem
b
er
_
type_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
pen
t
er
flow:
i
m
plied: fix h
o
w swi
t
ch s
t
a
t
ements are handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
pente
r
g
e
n
erisiz
e
.
pl: remove u16max and f
r
iends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
extr
a
:
t
w
eak handling
of absolute m
i
n/max in comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carp
e
nter
math: i
g
n
o
r
e fuzzy max
e
s tha
t
ar
e
type_min() + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
D
an Carpenter
mat
h
: overflow implies that
there
i
s no fu
z
zy max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
math: overf
l
ows in ha
r
d max are undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extr
a
: handle loops
w
here without a h
a
rd max
that d
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
extr
a
: clear
hard max if we are f
a
lling
b
ack to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: get
max c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: set hard max cor
r
e
c
t
ly in loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
extr
a
: if (unsigned >= unsigned) {:
Al
w
ays t
r
ue if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math: check for over
f
lows when calcula
t
in
g
the
m
a
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
conditions:
preserve
t
he
t
y
pe in select
a
ssig
n
men
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
typ
e
: c
l
eanp get_member_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpente
r
ext
r
a: type: get the member type when loading values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
enter
debug
:
add __smatc
h
_debug_implied_o
n
/off()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug:
int
r
oduce loc
a
l_de
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpe
n
ter
extra: reverse max()/
m
in() test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sv
a
l: handle canonical
fo
r
loops di
f
f
e
rently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan
Carpenter
sval:
convert SHRT_MAX to s16max in the out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpente
r
function_hook
s
: consider the
return
t
ype of
t
he functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
an C
a
rpen
t
er
extra: remo
v
e some duplicate
c
od
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpent
e
r
math: chan
g
e how MOD operations
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
an
C
arp
e
nter
math
:
count some more thi
n
gs as implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpe
n
ter
ex
t
ra: ty
p
e
:
mov
e
g
e
t_a
r
ge_type(
)
to
sma
t
ch_type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
ex
t
ra: math
:
move get
_
impli
e
d
_
rang
e
_list() to sm
a
t
ch_ma
t
h
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpenter
sval: extr
a
: get_
i
mplied_range_l
i
s
t() r
e
turn whole
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
an
Carpent
e
r
scripts:
trace
p
a
rams use 4
s
pa
c
e i
n
dent
s
con
s
istent
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an Ca
r
penter
sv
a
l: math: fix get_va
l
ue() fo
r
!foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpenter
che
c
k_sizeof_pointer: comp
l
ain
a
bout sizeof(&f
o
o
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpenter
hooks:
a
d
d a S
I
ZEOF_HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval
:
make c
a
st_rl
(
) preserve things better across
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
t
ype: h
a
ndle type_bits() fo
r
a
d
dr
e
sses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
sval: type:
u
se
t
ype_bits() thro
u
gh out
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpe
n
ter
sva
l
: fi
x
u
p calls to sval_cmp_val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
sval: type: hack select t
y
pes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
extra: remove debugging outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Car
p
ent
e
r
sval: a
d
d sval_is_negative()/po
s
itive()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sva
l
: take the
type in
t
o
co
n
side
r
atio
n
when doing an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sv
a
l: ca
s
t things correctly in sval
_
cmp
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpente
r
f
low: hooks: fix
M
ACRO_AS
S
IGN
M
ENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
arpente
r
f
l
ow: hooks: int
r
oduce
G
LOBAL_ASSIGNMENT_HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
D
an Carpenter
sval: int
r
oduce sval_bits_used()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next