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
buf_size: don't crash on invalid code
2012-12-16
Dan Carpente
r
db:
m
ake
s
ome varchar decalarations
s
m
a
ller
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpenter
signe
d
: remove
so
m
e de
b
ug cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
D
an Carpent
e
r
db: make the size limit for t
h
e
d
atabase larger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpenter
par
a
m
_
limi
t
: don't print unneeded information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpe
n
t
er
db: remove return_implies table and related code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpe
n
ter
smatch_param_l
i
mit: ext
r
a: s
t
or
e
param
e
ter implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpe
n
t
e
r
d
b
: print retur
n
_
states inform
a
tion in a
m
ore detailed w
a
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carp
e
nter
im
p
lied: i
n
troduce ove
r
wr
i
te_states_using_pool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
states: f
i
x
__s
e
t_sm() when a fake_cur_slist i
s
bein
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpenter
function_hooks: add so
m
e ca
l
ls to
_
_unn
u
llify_path()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpen
t
er
rang
e
s
:
i
ntrod
u
c
e
rl
_
invert(
)
,
rl_fil
t
er()
a
n
d
rl_
i
nterse
c
t
i
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extr
a
:
f
ix a bug in ho
w
pointers are set i
n
si
d
e called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpe
n
t
er
estate: intro
d
u
c
e get_impl
i
ed_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Ca
r
pe
n
ter
extra: esta
t
e
:
move
m
erge_estate() from
e
xtra
to estat
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
e
xtra: parse asm and
u
nops af
t
er ev
e
r
yone els
e
i
s
finishe
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpe
n
t
e
r
pointe
r
_math: chec
k
for (int *)p += sizeo
f
(int);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
treewid
e
: fix some memory leak
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpente
r
Revert "constraints: fix bug in
r
e
move_from_e
q
uiv(
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpent
e
r
s
l
ist:
fix so
m
e debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
Ca
r
pent
e
r
slist
:
c
ompile error in
d
ebug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Carpenter
constraints: fi
x
a memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
an Carp
e
n
t
e
r
constraints: fix
bug in
remove_from_e
q
uiv
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
penter
cons
t
ra
i
nts: use cmp_relation() instead
of custom
c
od
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan C
a
rpenter
conditions
:
r
e
work
_
_is
_
condition_
a
ss
i
g
n
(
) => is_c
o
ndition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Dan Carpenter
db: remove get_retur
n
_id()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
p
a
rse_call_math: upd
a
t
e to new
r
eturn_
s
t
ates API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
ter
user_d
a
ta: mov
e
to the ret
u
rn_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
ext
r
a:
move return
_
valu
e
_param to the new ret
u
rn_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Carpenter
states: in
t
roduce
get_al
l
_
state_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
db: call ret
u
r
n_states at the end of
the function
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db:
f
i
x
return ranges for th
e
return
_
state
s
callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carp
e
nter
db: change
print
_
returne
d
_struct_memb
e
rs() to
n
ew API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
db: int
r
oduce add_ret
u
rned_state_callbac
k
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
pent
e
r
db: p
a
ss
t
he
return_id to the
s
truct mem
b
er callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpent
e
r
mo
d
ificatio
n
_h
o
oks: handle i
n
line as
s
em
b
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
t
e
r
info:
dereferences_par
a
m: print the de
r
efer
e
nces even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Car
p
e
nt
e
r
db: handle
g
lobal function assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
e
xtra: inf
o
: don't pr
i
nt em
p
ty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
D
a
n
Carp
e
nter
abso
l
ute: use ge
t
_im
p
lied_min
(
) ins
t
ead of
g
et
_
imp
l
i
ed_
v
alue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Da
n
C
a
rpenter
e
xtra: save more m
o
difi
e
d point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Ca
r
penter
db: change s
m
db
_
ret
u
rn_
i
nfo
.
s
h
t
o
s
mdb_return_values
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
e
xtra: d
b
: record when
people
modi
f
y pointe
r
s passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
e
x
tra: move --info hooks later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Da
n
Carpenter
db: mov
e
fr
e
e_sl
i
s
t
() inside
t
he loop and
f
ix a memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n
Carpent
e
r
helper: intr
o
d
uce
g
et_param_nu
m
_f
r
om_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan C
a
r
penter
db: sa
v
e struct
m
ember
v
al
u
es across returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
D
an
C
a
r
p
enter
type
:
re
n
ame g
e
t_p
a
ram_t
y
pe_from_key(
)
=> get_member_ty
p
e_f
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
an Carpenter
fl
o
w:
implied:
fi
x
h
o
w switc
h
statement
s
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
g
enerisize
.
pl: re
m
ove
u
16max and frie
n
ds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
e
xtra:
tweak
h
a
ndling of absol
u
te mi
n
/max
in co
m
parisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n
Carp
e
nter
math
:
i
gnore fuzzy
max
e
s t
h
a
t are type_min(
)
+ 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
C
arpenter
m
ath: overflow implies t
h
at
there
is no fuzz
y
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Ca
r
penter
math: overflows in hard max are un
d
efined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra:
h
andle loops whe
r
e without a
hard max that d
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
extra: cl
e
ar
h
a
rd max if we are falli
n
g back to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
enter
e
x
t
ra: get max correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Car
p
enter
extra:
set hard max correctly
i
n loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: if (un
s
igned >= unsigned) {: A
l
ways true
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpente
r
math:
check for ove
r
flow
s
wh
e
n calculatin
g
th
e
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
conditions: preserve the type in select assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
pen
t
er
type: cleanp
get_member_symbol(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
enter
extra: type
:
get th
e
member type whe
n
loadi
n
g val
u
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
debug:
a
d
d
__s
m
atch_d
e
bug_implied
_
on/
o
ff()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug: int
r
o
d
uce local_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
en
t
er
extra: rever
s
e max()/min()
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
C
a
rpenter
s
v
al: h
a
ndle canonical fo
r
loops dif
f
erently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
C
arpenter
sval: con
v
ert SHRT_MAX to
s16m
a
x in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
C
arpenter
function_hooks: consi
d
er the return type of
the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
extr
a
: remo
v
e so
m
e dupl
i
cate c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
a
r
penter
m
ath: change
how
M
O
D
op
e
rations are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Carpenter
math:
c
o
unt some more things as impl
i
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
extra: type:
m
ove g
e
t_arg
e
_type() to smatch_
t
ype
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Car
p
e
nter
extra
:
mat
h
: mo
v
e get_impli
e
d_range
_
l
i
st
(
) to smatch_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
sval: extra: get_imp
l
ied_ran
g
e_
l
ist() return who
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Carp
e
nter
script
s
:
trace
params use 4 space inde
n
ts consistently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
sval: math: f
i
x get_value() f
o
r !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpenter
check_siz
e
o
f
_
p
ointer: complain about sizeof(
&
foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
r
pe
n
ter
hooks: ad
d
a SIZEOF_HOO
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
sval:
m
a
k
e cast_rl()
p
reserve things
better
a
cross
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpente
r
sval: type: handl
e
typ
e
_
bits() f
o
r addre
s
ses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
enter
sv
a
l:
t
yp
e
: us
e
type
_
bits()
through out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sv
a
l: fix
u
p cal
l
s to sval_cmp_
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sva
l
: type: hack
select types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpent
e
r
extr
a
: remove debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
Carpe
n
ter
sval:
ad
d
sval_is_negative()/positiv
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
ente
r
sval
:
t
a
ke the type into con
s
ideratio
n
whe
n
doing an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sva
l
: cast things correct
l
y
in
sval
_
cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Bart Van
Assc
h
e
sval: uninit
i
alized variab
l
e warni
n
g
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpente
r
flow
:
hooks:
f
ix MACRO_ASSIGNMENT_H
O
OK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow:
ho
o
ks: intro
d
uce GLOBAL_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
D
a
n
Carpen
t
er
sval:
i
ntr
o
d
u
ce sval_bits_used
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Ca
r
penter
type: introduce type_
b
its()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
an C
a
rpenter
M
erge b
r
anch
's
v
al
'
i
nto merge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
nter
sval: ranges: se
t
c
o
rrect
m
a
x in
cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpente
r
s
v
al: db: cast parameters to the cor
r
ect type
b
ef
o
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
C
arp
e
nter
sva
l
:
extra:
h
andl
e
assignme
n
ts better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
sval: cast t
h
e ret
u
r
n types b
e
fore entering th
e
m int
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Car
p
enter
sval: ext
r
a: type
i
nformation was being lost in ++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
en
t
er
sv
a
l
:
flip the switch and don't use
s32min-s32max instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpenter
sval: signed: fix validation t
e
st an
d
update
form
a
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next