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: handle unchanged return_states better
2012-12-18
D
a
n Carpen
t
er
db: handle unchanged return_s
t
ates better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Ca
r
penter
param_l
i
mit: f
i
x
read
beyond end of array (segfault)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan
C
arpen
t
e
r
signed: h
a
ndle
it when th
e
type is
unkn
o
wn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpent
e
r
db:
make some va
r
ch
a
r
d
ecalaration
s
smaller
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpenter
signed: remo
v
e
some debu
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
D
an C
a
r
p
enter
db
:
make the size limit
f
or the
d
atabase
l
a
rger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
D
a
n
Carpenter
param_l
i
m
it: don't print unneeded infor
m
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
a
r
pent
e
r
d
b
:
r
e
m
ove return_im
p
lies table a
n
d related
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpen
t
er
smatch_param_limi
t
: extr
a
:
s
t
o
r
e p
a
rame
t
er impli
c
ations
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
d
b: print return_states
i
n
f
ormat
i
on in
a
m
ore detai
l
ed way
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Car
p
enter
implied:
i
ntroduc
e
overwrite
_
states_us
i
ng_pool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an
C
arpe
n
ter
states: fi
x
__set_sm() when a fake_cu
r
_slist i
s
being
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
function_hooks: a
d
d
s
ome
c
alls to __unnul
l
ify_path
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
nter
ranges: in
t
roduce rl_invert()
,
rl_fi
l
t
e
r() and r
l
_intersec
t
ion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
nter
extra: fix a bug
in how p
o
inters
are set
inside called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
nte
r
es
t
ate:
i
ntroduce
get_impli
e
d_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: estate
:
move me
r
ge_estate() from e
x
tra to e
s
tate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
a
r
p
enter
e
xtra
:
parse asm and unops
a
fte
r
eve
r
y
o
ne else i
s
finished
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
pointer_math: check for (int
*
)p +=
s
iz
e
of(int);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
D
an Carpe
n
ter
treewide
:
fix some memo
r
y
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
D
an
C
ar
p
enter
Re
v
ert
"
co
n
st
r
a
in
t
s
: fix
bug in remove_from_equi
v
()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
Carp
e
nter
slist: fix some debug c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
a
rp
e
n
t
e
r
slist: compile error in debu
g
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
rpenter
constraints: fix a memory
l
e
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpent
e
r
constrain
t
s: fix bug
i
n rem
o
ve_from_equ
i
v
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Da
n
Carpenter
c
o
ns
t
ra
i
nt
s
: use cmp_
r
elation() inste
a
d
of custom code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carp
e
nter
c
on
d
iti
o
ns: rework
_
_
i
s_condition_assign
(
)
=> is_condition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Dan C
a
rpenter
db:
r
e
move get
_
return_id()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Ca
r
penter
pars
e
_call_mat
h
:
up
d
ate t
o
ne
w
return_states
A
PI
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpe
n
ter
u
s
er_data: m
o
v
e
t
o
the ret
u
r
n
_
s
tates
A
PI
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Car
p
enter
extra: move return_value_param to the
n
ew return_
s
tat
e
s
API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpen
t
er
s
t
a
tes: introduce ge
t
_all_state_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: call return_s
t
ates at t
h
e 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 return ranges for th
e
return_
s
tates cal
l
backs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: change print
_
retu
r
ned
_
s
truct_members() to new AP
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpe
n
ter
db: introduce
add_returned_sta
t
e
_cal
l
ba
c
k()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
db: pass the
ret
u
rn_id to the s
t
ruct membe
r
c
a
llbac
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an
Carpente
r
modification_ho
o
ks: ha
n
d
l
e inl
i
ne ass
e
mb
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
en
t
er
info:
d
ereferences_param: print the dereferences ev
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpent
e
r
db: handle global function assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Car
p
ente
r
extra: info: don't print em
p
t
y states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan C
a
rpente
r
absol
u
te: use
get_implied_mi
n
() instead of get_implie
d
_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
D
an Carp
e
nt
e
r
extra: save more modifie
d
p
ointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: c
h
a
n
ge
s
mdb
_
return_info
.
sh t
o
smdb_
r
eturn_values
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan C
a
r
p
e
n
ter
e
x
t
r
a: db: reco
r
d when
people m
o
dify pointers passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
e
x
t
ra: mov
e
--info hooks later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db
:
m
ove free
_
slist() insid
e
t
h
e
loop and fix a me
m
ory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
an
C
arp
e
nter
helper: introduce
g
e
t_param_
n
um_
f
rom_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan C
a
rpenter
db: save struct member v
a
lue
s
across
r
e
t
u
rns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
D
a
n Carpenter
type: rename get_par
a
m_type_
f
rom_ke
y
(
)
=
> get_member
_
type_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Da
n
C
arpe
n
te
r
flo
w
:
i
mplied: fix how s
w
itch s
t
atements a
r
e ha
n
d
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
gen
e
risize
.
p
l
: remove
u
16max and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
C
arpenter
extra
:
t
weak handling
of ab
s
olute min/max in
co
m
parison
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carpenter
math: i
g
nore
fuzzy max
e
s that are
t
yp
e
_min() + 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpente
r
math: o
v
erflow impl
i
es that the
r
e
is no fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
m
a
t
h:
overflows in hard
max are undefine
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
ar
p
enter
ex
t
ra: ha
n
dle
lo
o
ps where
w
i
t
hout a hard max t
h
at don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: cl
e
ar hard max
i
f
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: get m
a
x
c
o
rrectl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
e
xtra: s
e
t hard
max correctly
i
n loo
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
C
a
rpent
e
r
e
x
tra
:
if (unsigned >= unsigned) {:
Always
t
rue if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
math: c
h
e
c
k for over
f
low
s
when c
a
lculating t
h
e max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
conditio
n
s
: pr
e
serve th
e
type in select assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
type:
cleanp get
_
mem
b
e
r
_
symbol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nter
extra: type: get the member
ty
p
e when l
o
ading va
l
u
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
penter
de
b
u
g
:
add
_
_smatch_debug_i
m
plied
_
o
n
/of
f
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
d
e
bug: introd
u
ce loca
l
_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpe
n
ter
extra: r
e
v
erse max()/min
(
) test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sval: handle
ca
n
onical for loops d
i
fferent
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
Car
p
enter
sval: convert SHRT_MAX t
o
s16max in the ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpen
t
e
r
func
t
ion_hooks: co
n
side
r
the retu
r
n type
of the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
e
xtra:
r
em
o
ve s
o
m
e
dup
l
ic
a
te
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
math:
chan
g
e
h
o
w MOD oper
a
tions
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpenter
math: count
s
ome more things as impli
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpenter
extra: type: mo
v
e g
e
t_arge_type()
t
o
smatc
h
_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpenter
extr
a
: math: mo
v
e get_implied_range_list() to smatch_
m
ath
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpenter
sval: extra: g
e
t
_i
m
plied_rang
e
_
l
ist()
retur
n
whole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carp
e
nter
scr
i
p
ts: trace params use 4 space indents consistentl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: math: fix get_va
l
ue()
for
!foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpe
n
t
e
r
ch
e
ck_sizeof_
p
ointer: complain abou
t
si
z
eo
f
(&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
hook
s
: ad
d
a SIZEOF_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpente
r
sval:
make cast
_
rl()
p
re
s
er
v
e things b
e
tter a
c
r
oss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
sval
:
type:
handle typ
e
_bits() for
a
d
dresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpent
e
r
sval: type:
use type
_
bits() t
h
rough out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Ca
r
penter
sval: fi
x
up calls
to sval_cmp_val
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: t
y
pe: hack selec
t
types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nte
r
extra:
remove de
b
ugging o
u
tpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: add
s
v
al_is
_
negative()/pos
i
t
i
ve()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
sval: take the type into considerati
o
n when doi
n
g
a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
penter
s
val: cast things correctly in
s
v
a
l_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Bart Van
Ass
c
he
sval: uniniti
a
l
i
zed va
r
iable warni
n
g
commit
|
commitdiff
|
tree
2012-11-17
Dan Car
p
enter
flow: ho
o
ks: fix MACRO_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
arpe
n
ter
flow:
h
ooks:
int
r
oduce GLOB
A
L_
A
S
S
IGNMENT_H
O
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan
Carpenter
sval: int
r
o
d
u
c
e
sval
_
bits_used()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpenter
t
y
pe: introduce type_b
i
t
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
Merge branch 'sv
a
l' i
n
to merge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
penter
sval: ran
g
es: set corr
e
ct max i
n
cas
t
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sv
a
l: db:
c
ast parameter
s
to the correct type be
f
o
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Car
p
e
nter
sval: extra:
h
andle as
s
ignments be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
pente
r
sval: cast the return
types
b
efore entering the
m
int
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next