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: extra: param_limit/filter/set: redo value tracing across functions
2013-01-08
Da
n
C
a
r
penter
d
b: ex
t
ra: param_limit/fi
l
ter/set:
r
ed
o
value
tracing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
extra
:
creat
e
a
callba
c
k
f
or when sm
a
tch_extr
a
changes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpen
t
er
extra:
cr
e
ate set
_
extra_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
D
a
n Car
p
enter
db: fixu
p
printing re
t
urn in
f
o for difficult to
split
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
D
a
n
C
a
r
p
enter
math: handle ORs
better in
h
andle_lo
g
i
ca
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-19
Dan Carpenter
extra: cal
l
s
e
t
_extra_mo
d
()
f
rom se
t
_
extr_expr_mod
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Ca
r
penter
db: handl
e
unchanged
r
e
t
urn_states better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carpenter
pa
r
am_limit: fix read beyond e
n
d of array (s
e
gfaul
t
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carpenter
s
igned: ha
n
dle it
when t
h
e ty
p
e
is un
k
nown
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan Car
p
e
n
ter
db: make
some varchar
dec
a
laration
s
smal
l
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpenter
signed
:
remove some d
e
bug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
D
a
n Carpenter
d
b
: mak
e
t
he size
l
imit
for the database lar
g
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpenter
par
a
m_lim
i
t
: don
'
t
pr
i
n
t u
n
needed
i
n
formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpenter
db: remove re
t
ur
n
_
i
m
plies t
a
ble and related code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpenter
smatch_param_limit: ex
t
ra: store parameter implication
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
a
rpenter
db: print return
_
states informati
o
n in a more detai
l
ed w
a
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
implied:
i
ntroduce overwri
t
e_states_using_poo
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpenter
states: fix __set_sm() when a fake_cur_slist
is be
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpente
r
function_hooks
:
a
d
d some ca
l
ls
t
o
_
_un
n
ullify_path()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
Carpenter
r
anges: introdu
c
e rl_in
v
e
r
t(), rl_filt
e
r() and rl_intersecti
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpent
e
r
e
xtra: fix a bug i
n
h
o
w poin
t
e
r
s
are set
i
nside called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpent
e
r
estate: intr
o
duce get_implied_estat
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
ext
r
a: estate: move mer
g
e_es
t
at
e
() from extr
a
to estate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: parse asm and unops after everyone els
e
i
s
fi
n
ished
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpenter
pointer_math: che
c
k for
(int *)p += size
o
f(int);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
treewide: 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 Carpe
n
t
e
r
Revert "
c
onstraints
:
fix bug in remo
v
e_f
r
om
_
eq
u
i
v
()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpen
t
er
slis
t
: fix some de
b
u
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Car
p
enter
slist: compile err
o
r
in debug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints: fix a
me
m
or
y
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carp
e
nter
constraints: fix bug in rem
o
ve_from_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
cons
t
rai
n
ts: use
c
mp_r
e
la
t
ion() inst
e
ad
of custo
m
code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpenter
conditions: rew
o
rk __is_condit
i
on_assign() => is_condition(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Dan Carpenter
db
:
remov
e
get_return_
i
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rpe
n
ter
p
a
rse_call_math: updat
e
t
o new
ret
u
rn_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an
C
arpenter
us
e
r_data:
m
o
ve
t
o the
return_s
t
ates API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
C
a
rpenter
extra: move retu
r
n_value_par
a
m to
th
e
new
r
e
t
urn_
s
tates API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
s
t
ates: introd
u
ce get
_
a
ll_state_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db:
cal
l
return_stat
e
s
a
t
the end
o
f
the functi
o
n if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
nt
e
r
db: fix
r
e
tur
n
r
anges for
t
h
e
ret
u
rn_s
t
a
tes cal
l
backs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
ter
db: change p
r
int_returned_st
r
uct_me
m
ber
s
() to
n
ew
API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: introduce
a
dd_returne
d
_state_c
a
llback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
te
r
db: pass
t
he re
t
ur
n
_id to the
s
t
r
uct member ca
l
lbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
modific
a
tion_hoo
k
s: hand
l
e inline
a
s
sem
b
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
info: dereferenc
e
s_para
m
:
print the dereferences even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
D
a
n Carpenter
db: handle glob
a
l funct
i
o
n
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
D
an Carpenter
extra: info: don't print empty
s
tate
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
ab
s
o
l
ute: use get_implied_
m
in(
)
in
s
te
a
d
o
f get_implied_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpen
t
er
extra: sa
v
e more modified pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: change smdb_return_info
.
sh to sm
d
b_return_values
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpen
t
er
ex
t
ra
:
db:
r
ecord
w
h
en peopl
e
mo
d
ify
p
oint
e
rs passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan C
a
rpente
r
e
x
tr
a
: move --info
hooks
later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
C
arpenter
db: m
o
ve free_s
l
ist() insid
e
th
e
loop and fix a memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n C
a
rpent
e
r
helper: intr
o
du
c
e get_param_num_from_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan C
a
rpe
n
ter
db
:
save struct member values across returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Da
n
Carpenter
t
y
p
e: rename get_param_type_from_key() => get_memb
e
r_
t
ype_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpe
n
ter
flow:
i
mplied: fix h
o
w sw
i
tch stateme
n
t
s
are hand
l
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
gene
r
i
s
ize
.
p
l
: re
m
o
ve u16max and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
extr
a
:
tweak
handling of absolu
t
e min/max in
comparis
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
penter
m
a
th:
ignore
f
u
z
zy ma
x
es
t
h
a
t a
r
e
typ
e
_min(
)
+ 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
C
arpen
t
e
r
mat
h
: ove
r
flow
i
mplies that there is no fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math: o
v
er
f
lows
in hard m
a
x are undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
Carpenter
ex
t
r
a
: handle
l
o
ops where without
a
hard
m
ax that don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpen
t
er
extra: clear hard max
if we are falling back t
o
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra:
g
et max correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
e
n
te
r
extra: set ha
r
d m
a
x correctl
y
in loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpe
n
te
r
e
x
tra: if (unsigned >=
unsigned) {: Alwa
y
s
tr
u
e
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math: c
h
eck for
o
verflows when calcul
a
ting the max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpent
e
r
conditio
n
s: preserv
e
the type in select assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ty
p
e:
cleanp get_mem
b
er_
s
y
m
bol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
extr
a
: type: get the mem
b
er ty
p
e when lo
a
ding val
u
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rp
e
n
t
er
debug: ad
d
_
_
smatch_debug_
i
m
pli
e
d_
o
n/off()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug
:
i
n
troduce loc
a
l
_
debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
r
pent
e
r
extra: reverse max(
)
/min() test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpent
e
r
s
v
a
l: handle canonical for loops d
i
f
f
erently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
C
a
rp
e
nter
sva
l
: convert SHRT_MAX to
s1
6
max
in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpen
t
er
function_hooks:
c
onsider the return type of the func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carp
e
nter
extra:
remo
v
e som
e
duplica
t
e
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
ma
t
h:
c
h
a
nge how MOD op
e
rations are handle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carp
e
nter
math: count some m
o
re
t
hings as im
p
lied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n
C
a
rpenter
ext
r
a
:
t
ype: 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
ex
t
ra: math: move get_implied_range_list() to
s
m
a
t
ch_
m
ath
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
sval: extra: get_implied_range_
l
ist() return
w
hole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpenter
scripts
:
tra
c
e
p
a
r
ams use 4 spa
c
e in
d
ents co
n
sistentl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: math: fix g
e
t_v
a
lue() for !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
che
c
k_siz
e
of_poi
n
t
e
r
: complain about
s
i
z
eof(&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpenter
hoo
k
s: add
a
SIZEOF
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: make c
a
s
t
_
r
l
(
)
p
reserv
e
things better acr
o
ss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
sva
l
: type: ha
n
dle type_bits() fo
r
addresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: t
y
pe
:
use
t
ype_
b
i
t
s(
)
throug
h
out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpente
r
sv
a
l
:
fix
u
p calls to sva
l
_cmp_v
a
l(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
sv
a
l: type: hack se
l
ect types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
extra: remove
d
ebuggi
n
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an
C
arpenter
sval: add sval_is_negative()/positive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpent
e
r
s
v
al: take the type in
t
o con
s
id
e
ration w
h
en doing
a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
C
a
rpen
t
er
sval: cast things correctl
y
in s
v
al_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
arpenter
flow: hooks: fix MAC
R
O
_
ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
D
a
n
Carpente
r
flow: hooks: introd
u
ce GL
O
BAL_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
sval: introduce sval_bit
s
_u
s
ed
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
t
y
p
e
:
introduce type_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next