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
param_limit: don't print empty states
2013-01-09
D
a
n
C
a
rpenter
p
a
r
a
m
_
limit
:
don't pr
i
n
t e
m
p
t
y
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Car
p
e
n
ter
parse: add "_
_
restric
t
__" keyword
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Da
n
C
arpent
e
r
ranges: sma
l
l speed up in range_lists_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
D
an Carpe
n
te
r
db: make ty
p
e_
s
ch
e
ma a
b
it
smaller
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
g
e
n_paholes
.
sh: D
o
n
'
t do
a
nything if
t
he nece
s
s
ary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
extra
:
don'
t
over wr
i
te cross function values from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Da
n
Carpenter
db: extra: param_limit/
f
ilter/set
:
redo
v
alue trac
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
extra: creat
e
a
callback for when smatch_extr
a
change
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Ca
r
pen
t
er
extra: create set_extra_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
Dan Carpenter
d
b
: fixup printing return inf
o
fo
r
difficult
to
s
plit
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
Dan
Carpente
r
mat
h
:
handle ORs better in ha
n
d
l
e_logical
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-19
Dan C
a
r
penter
extra: c
a
ll s
e
t_extra_mod() fro
m
s
et_extr_e
x
p
r
_mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carp
e
nter
db:
h
a
n
dle unchange
d
return_s
t
ates bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Car
p
enter
par
a
m
_limit: f
i
x
re
a
d beyo
n
d
end
of array
(segf
a
ult)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
D
an Carpenter
signed
:
ha
n
dle it
w
hen the typ
e
is unknown
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carp
e
n
t
er
db: mak
e
som
e
varchar decalarations sm
a
l
l
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan
C
a
r
p
enter
signed
:
remove some debug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpente
r
db:
m
ake the size
l
imi
t
fo
r
the
database larger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpenter
param_lim
i
t:
don'
t
pri
n
t unneeded in
f
orma
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
d
b
: remove re
t
urn_imp
l
ies tabl
e
and related code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an C
a
rpenter
smatch_pa
r
am_limit
:
extr
a
: store parameter
implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpente
r
db: print
r
eturn_st
a
tes informati
o
n
in
a
more detailed
w
ay
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpente
r
implied
:
intro
d
uc
e
ove
r
write_
s
tates_u
s
ing_po
o
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
states: fix __set_sm() w
h
en a fa
k
e
_
cur_sl
i
st is being
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
func
t
i
o
n
_hooks: add s
o
me cal
l
s to
__unnullify_path()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Car
p
enter
range
s
: i
n
trodu
c
e rl_inve
r
t(), rl_
f
ilter() a
n
d rl_intersectio
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpen
t
er
extra: fix a bu
g
in how point
e
rs
a
re set
insi
d
e called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
est
a
te: i
n
tro
d
u
c
e get_implied_estat
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
e
x
t
r
a:
estate: move merge_esta
t
e(
)
fr
o
m extra to estate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Car
p
enter
extra: parse asm and unops afte
r
everyone else is fin
i
shed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpe
n
ter
pointer_math
:
check f
o
r
(int *)p += s
i
zeof(int);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
treewide: fix some memor
y
l
e
aks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carp
e
nt
e
r
Revert "
c
onst
r
aints: fix bug i
n
remove_
f
rom_equi
v
()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
slist: fi
x
so
m
e
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Da
n
C
ar
p
enter
s
lis
t
: comp
i
le error in
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
pen
t
er
co
n
straint
s
: fix a
m
em
o
ry leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n
Carp
e
nter
constraints:
f
ix bug i
n
remove_from
_
equiv(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n
C
arpenter
co
n
straints: use cmp_relat
i
on() instead o
f
c
u
sto
m
code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpenter
co
n
d
i
tion
s
: rework __is_
c
ondi
t
i
o
n_ass
i
gn(
)
=> i
s
_condition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
D
a
n Carpe
n
ter
db: remove get_return_
i
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
parse_call_
m
ath: updat
e
t
o new return
_
state
s
API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpente
r
u
s
er
_
data
:
move to the
return_
s
t
ates A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
extra
:
move return_value_para
m
to
the n
e
w retu
r
n_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Car
p
enter
states: introduc
e
get_all_state_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an
Car
p
enter
db:
cal
l
retu
r
n_states at
t
he
e
nd of the function if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
db: f
i
x return ranges f
o
r the return_stat
e
s c
a
llbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Car
p
enter
db:
c
hange prin
t
_r
e
turned_struct_membe
r
s() to
n
ew API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Carpenter
d
b:
introduce
add_returned_state_callback
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
en
t
er
d
b: pass the
r
e
t
urn_id to the struct member ca
l
lbac
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpente
r
m
o
dific
a
tion_hooks: handle in
l
ine assembly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
nter
i
nfo: deref
e
re
n
ces_pa
r
am:
print the dereferences
e
ven
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
d
b: handl
e
g
l
obal function
a
ssignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan
C
arpen
t
er
extra:
inf
o
: don't
print empty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carp
e
nter
absolute:
use get_impl
i
ed_min() instead of get_
i
mplied_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
D
a
n
Carpenter
e
x
tra:
sa
v
e more modified poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carpenter
db:
c
hange smdb_
r
et
u
rn
_
info
.
sh to sm
d
b_r
e
turn_v
a
lu
e
s
.
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carpe
n
ter
extra:
db: record when people modify pointers pas
s
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
e
nter
e
x
tra: move --i
n
f
o ho
o
k
s later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
C
a
r
pen
t
er
d
b: move
fr
e
e_slist()
ins
i
de the loop
a
n
d fix a memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
helper:
introduce get_
p
aram_
n
um_from_
s
ym(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan
Carpe
n
t
e
r
db: save struct member
v
alues across returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
type:
r
e
name
g
et_param_type_from_ke
y
() => get_member_type
_
fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpe
n
ter
fl
o
w: implied: fix
h
ow switch statements are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
g
enerisize
.
pl: r
e
move u16ma
x
and fr
i
ends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpenter
extra:
t
weak handling of absolute min/
m
ax in compariso
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Car
p
ente
r
m
a
t
h: ignore
fuzz
y
maxes
t
hat
are type_min() + 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carpenter
ma
t
h: overflow implies that
t
here
is no fuzzy
m
ax
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
math: o
v
erflows in h
a
rd max a
r
e undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
e
x
t
r
a:
h
andle loops
where w
i
t
hout a ha
r
d max th
a
t don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
pen
t
er
extra: clear hard max i
f
w
e
are
falling ba
c
k to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: get max correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
pen
t
er
e
x
t
r
a: set hard max
c
o
rrectly
i
n loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
Ca
r
pen
t
er
extra: if (u
n
signed >= unsigned) {: Alwa
y
s true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
m
a
th
:
check for overflows when calculati
n
g the max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
condit
i
ons:
pr
e
se
r
ve t
h
e typ
e
in select assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpente
r
t
y
p
e
:
c
leanp get_member_symb
o
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
Carpenter
extra
:
type: get the member type wh
e
n loa
d
ing v
a
lues
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
d
ebug: a
d
d __
s
ma
t
c
h
_debug_
i
mplied_on/of
f
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an
C
arpenter
debug: in
t
rodu
c
e local_debu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpente
r
ex
t
ra: r
e
ve
r
s
e
max()/min() test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
C
arpenter
sval: handle
canonical f
o
r loops differentl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sval:
convert SHRT_M
A
X
to s16max i
n
the outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
Car
p
ent
e
r
f
u
n
c
tion_hooks:
consider the return type
of th
e
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
C
arpenter
extra: rem
o
ve some duplicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
an Carpenter
ma
t
h: change ho
w
MOD operation
s
are ha
n
dl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpent
e
r
math: co
u
n
t
some more
t
hings a
s
i
m
plied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
ex
t
ra: type
:
move get_arge_type() to smatch_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Car
p
enter
e
xtra: mat
h
: move get_implied_range
_
list
(
) to s
m
a
t
ch_ma
t
h
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
sval: e
x
tr
a
: ge
t
_
implied_r
a
nge_lis
t
() return w
h
ole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carp
e
nter
s
c
ripts:
trace params
u
se 4 space
i
ndents con
s
iste
n
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
s
v
al: math: fix get_value() for
!
foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
c
heck_s
i
zeof_pointer: complain ab
o
u
t sizeof(&
f
o
o
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
hooks: add a SIZEOF_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: m
a
ke cast_rl() p
r
eserve
things
better across
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
sv
a
l: type: handle ty
p
e_bits()
f
or add
r
esses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpente
r
sval
:
type: u
s
e type_bits() t
h
r
o
ugh
o
ut
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: fixup call
s
to
sval_cmp_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
Carpenter
sval: type: hac
k
select types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arp
e
nter
extra: rem
o
ve debugging ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
e
n
ter
sval
:
add sval_is_negati
v
e()/
p
os
i
t
iv
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next