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
pointer_math: check for (int *)p += sizeof(int);
2012-12-14
Dan
C
a
r
penter
pointer_math: chec
k
for (i
n
t
*
)p +=
s
ize
o
f(int);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
t
reewide: fix som
e
memory
lea
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
D
a
n Car
p
e
n
t
e
r
Rev
e
rt "constraints: fix bug in r
e
move_fro
m
_equiv()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
slist: fix some debu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpent
e
r
slist: compi
l
e
error in d
e
bug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
Carpent
e
r
constraint
s
:
fix
a
m
e
mory lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
c
onstr
a
ints: fix bu
g
in remo
v
e_fr
o
m_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
rpenter
constra
i
nts: use
cmp_relation() instead of cus
t
om code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carp
e
nter
c
o
nditio
n
s
:
rework
__is_co
n
dition_
a
ssign()
=
> is
_
condition()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan Car
p
enter
db: re
m
ove get_return
_
id()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
ter
pars
e
_
call_
m
ath:
u
pdate
to new
r
etur
n
_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
C
a
rpenter
us
e
r_data: move to the
r
eturn_states
A
PI
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
e
xtra: move r
e
turn_valu
e
_param
to the new return_s
t
a
t
es API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpe
n
ter
states: introduce get_all_state_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: cal
l
re
t
urn
_
states at the end of the function if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: fix re
t
urn
r
anges for the
return_stat
e
s call
b
a
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
n
t
er
db
:
change print_returned
_
struct_members() to new API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db
:
introduce add_r
e
turned_state_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
ter
db: pa
s
s the
r
eturn_id to
t
he s
t
ruct membe
r
callba
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
modification_hooks:
handle inline assembl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Car
p
enter
inf
o
: dereferences
_
param:
p
rint
t
h
e dereferences even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
db: handle g
l
obal
fu
n
ction
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
extra:
i
n
f
o:
don't
p
rint empty sta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Da
n
Carpenter
absolute: use g
e
t_implied_mi
n
() in
s
tead
o
f
g
e
t
_implied_va
l
ue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
D
a
n Carpenter
extra: save more modif
i
ed
p
ointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan
C
arpen
t
er
db: change smdb_return_in
f
o
.
sh t
o
s
mdb
_
return_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 pointe
r
s
p
as
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpen
t
er
extra:
move --info hoo
k
s later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Da
n
Carp
e
nt
e
r
db: move f
r
ee_slist() in
s
ide the l
o
op and fi
x
a memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Da
n
Carpenter
helper: i
n
troduc
e
get_par
a
m_num
_
from_
s
y
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan
C
a
r
penter
db:
save struct member values acro
s
s ret
u
rns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
D
a
n Carpenter
type: rename get_param_ty
p
e_from_ke
y
() => g
e
t_me
m
ber_ty
p
e
_f
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
flow: implied: fix
h
o
w swit
c
h
st
a
teme
n
t
s
a
re handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
generisize
.
pl: remove
u16max and friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
extra: t
w
ea
k
ha
n
dling of absolute min/max in comp
a
r
i
son
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: ig
n
ore fuzzy maxes tha
t
are type_m
i
n() + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpenter
math: overflow implies that
th
e
re is
n
o
fuzzy
m
a
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an
C
arpenter
ma
t
h: overflows in hard max a
r
e undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
C
a
rp
e
nter
ext
r
a: handle loops whe
r
e witho
u
t a hard max that don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
t
e
r
ex
t
ra: clear ha
r
d max
i
f we are fall
i
n
g b
a
ck
to
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
penter
extra: get max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpen
t
er
extra: set h
a
r
d
max co
r
re
c
t
l
y in loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
extra: if (uns
i
g
n
e
d >= unsi
g
ned) {: Al
w
ays true if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpen
t
er
math: check f
o
r overflows wh
e
n calculating
t
he
max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Ca
r
penter
conditions
:
preserve the
type in select assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an
Carpent
e
r
typ
e
: c
l
eanp
get
_
member_sym
b
o
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extr
a
: type
:
g
et the member type whe
n
loading
v
a
lue
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpent
e
r
debug: add __sm
a
tch_debug_implied_on/off
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug: int
r
o
du
c
e local_debug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpe
n
ter
e
x
tra: rev
e
r
s
e
m
ax()/min() test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n Ca
r
pent
e
r
sval: handle cano
n
ic
a
l f
o
r loops di
f
ferently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan
Carpen
t
er
sval: convert SHRT_MAX
t
o s16max in the
o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan C
a
rpenter
f
u
nction_hooks: consi
d
er the r
e
turn type
o
f
the function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
extra:
r
e
m
ove
s
ome du
p
licate
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpenter
m
a
t
h
:
c
hange
how MOD operatio
n
s
a
re handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
math: count so
m
e m
o
re
t
hing
s
as i
m
plied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arp
e
nter
extra:
type:
m
ove
get
_
arge_
t
ype
(
)
t
o smatch_type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
e
x
t
r
a: m
a
t
h
: move
get_implied
_
range_li
s
t()
to smatch_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n
Carpenter
sva
l
: ex
t
ra: get_i
m
p
lied_range_l
i
s
t
(
)
re
t
urn
w
hole
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpenter
script
s
: trace params use 4
s
pace i
n
d
e
nts
con
s
isten
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nter
sva
l
:
math: f
i
x get_value() for !fo
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
check_s
i
zeof_pointer: complain
a
b
out sizeof(
&
foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpenter
hoo
k
s: add a SIZEOF_HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
sva
l
:
m
ake cast_rl() p
r
eserve thi
n
gs better ac
r
oss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: type: handle type_bits()
for addresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an
Carpenter
sval: typ
e
: use typ
e
_bits()
t
h
ro
u
gh
o
ut
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Car
p
enter
sval: fixup calls t
o
sval_cmp_val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: type: hack
s
e
l
ect types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
extra: r
e
move d
e
b
ugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
C
a
rpe
n
ter
s
v
al
:
add sval
_
is
_
negative
(
)/positive()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
Carpen
t
e
r
sval: take
t
he
type into considerat
i
on when doing an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
penter
s
v
al: cast th
i
ngs
c
or
r
ectly in sval_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpe
n
t
e
r
flow
:
hooks: fix MA
C
RO_ASSIG
N
MENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Car
p
e
nter
flow: hooks:
i
ntroduce GLOBAL
_
ASS
I
GNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
sval: i
n
troduce
s
val
_
b
i
ts_used()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
t
y
pe: intr
o
duce type_bi
t
s(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
an
C
arpenter
Me
r
ge
branch 'sval'
into merge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval:
r
a
nges: set co
r
r
ect max in ca
s
t_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpente
r
s
val: db: cast
p
arame
t
ers to
t
h
e corre
c
t
type before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpen
t
er
s
v
al: extra: handle assignm
e
nts be
t
te
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan C
a
rpenter
sval: cast the retur
n
types before enter
i
n
g
them into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpenter
s
v
a
l: ex
t
ra:
type in
f
ormation was being
l
o
st in
++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
t
e
r
s
val: fl
i
p
the switch
and don't use s32mi
n
-
s
32max in
s
tea
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
nter
s
v
al
:
sign
e
d:
f
ix validation test and update format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
nter
val
i
dat
i
on: signed: update
validation
t
e
s
t
to re
f
lect
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
D
an Carpen
t
er
math: cleanup some naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan
C
arpenter
math: add
fu
z
zy_max and
fuzzy_min to
i
mplie
d
_opposite()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan C
a
rp
e
n
t
er
sval: mat
h
: fix
how negate ope
r
ations are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carp
e
nt
e
r
sval:
a
bs
o
lu
t
e: fix reversed cond
i
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
C
a
r
pent
e
r
sval: you're not allowed to divide LLON
G
_MIN by -1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carpen
t
er
sval: fix pa
r
se_value_ran
g
es_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n
C
arp
e
nt
e
r
sval:
re-introduce s
v
al_
i
s
_
a_m
i
n()
s
val_is_a_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carp
e
nter
sval:
don't invent
bogus ran
g
e in all
o
c_ra
n
ge_helper_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sv
a
l: use
typed
v
e
rsion of par
s
e_value_ran
g
e
s
() throug
h
out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: move cast
_
r
l()
into
pars
e
_v
a
lue
_
ranges_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
cleanup:
make
t
ype
the firs
t
arg
u
ment of sva
l
_cast()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
Carp
e
n
ter
cleanup:
math: rename a va
r
i
a
ble from "tmp_ret" to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
cl
e
anu
p
: make type the first ar
g
um
e
n
t
for cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
Carpenter
cl
e
a
n
up:
r
ena
m
e possibly_false_range_lists_rl() t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
cleanup: rename ge
t
_value_ra
n
ges()
to par
s
e_value_ra
n
ges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next