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: only allow functions to be saved to one function pointer
2013-01-11
Da
n
Carpenter
estate: shuffle stuff
aro
u
nd in the hea
d
er
f
ile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
rpenter
ranges: rename free_range_list() to fr
e
e_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Car
p
enter
ranges: rename get_imp
l
ied_range_list() to get_implied_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
a
rpenter
ranges: rename push_range_list() and fri
e
nds to push_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
rpen
t
e
r
r
a
nges: re
n
ame range_lists_equ
i
v() to rl_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Carp
e
n
ter
ranges:
r
ena
m
e possi
b
ly_true
_
range_lists(
)
to possibly_true_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
an Ca
r
penter
ran
g
e
s: shuffle smat
c
h_extra
.
h around some
m
o
re
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpen
t
er
r
a
nges: rename
true_comp
a
rison_ra
n
ge_l
r
() to tr
u
e
_
compariso
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Carpen
t
er
r
anges: rena
m
e parse_v
a
lue_ranges_ty
p
e()
t
o str_to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n
C
a
r
pent
e
r
r
a
n
ges:
rename alloc_range_l
i
st(
)
and friends to a
l
loc_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
ranges: shuffle stuff
a
ro
u
nd i
n
t
he hea
d
er file a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
r
a
nges: r
e
n
ame range_li
s
t_u
n
i
o
n() to
rl_union()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
C
a
rpenter
missing_brea
k
: fix a seg
f
ault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
an Ca
r
penter
s
izeof: sizeof(ptr * nr_p
t
rs)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
an
C
arpenter
sizeof: check for sizeof(sizeof())
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
an
C
arpenter
sizeof
:
finish r
e
naming process
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
sizeof: mv check_sizeof_pointer
.
c
c
h
eck_sizeo
f
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpent
e
r
toke
n
_store: spli
t
o
u
t
fir
s
t_toke
n
_fro
m
_line() into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Ca
r
pent
e
r
*
new* check_mis
s
i
ng_break
.
c: check for fall th
r
ough
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-10
Dan Ca
r
penter
type:
get_member_type_from
_
key() should take a
n
expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-09
Dan Carpenter
para
m
_limi
t
: don't print empty
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpent
e
r
parse: add
"
__rest
r
ict__" keyword
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
ranges
:
small speed up i
n
r
ange
_
lists
_
equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
D
a
n
C
a
r
p
enter
db: m
a
ke type_schema
a bit smalle
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Ca
r
penter
g
e
n
_pa
h
oles
.
sh:
D
on't do any
t
hing if the necessar
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
ext
r
a: don't over write cross func
t
i
o
n values from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Da
n
Carpent
e
r
db: extra: param_limi
t
/filter/set: redo value tracing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carp
e
nter
extra:
c
reate
a callback
f
or when
smatch_extra change
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan C
a
rpenter
extra: create set_
e
xtra_n
o
mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-07
Dan Carpe
n
t
er
db:
f
i
x
u
p printing return info for difficult to split
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-07
Dan Ca
r
penter
mat
h
: ha
n
dle O
R
s better in
hand
l
e_logical()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-19
Da
n
Carpenter
ex
t
ra: call set_ext
r
a_mod() from set_extr_expr_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carpenter
d
b
: handle unchang
e
d return_states
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-18
Dan
C
arpenter
param_limit: fix re
a
d beyond
end of
a
rray (segfau
l
t)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carpe
n
t
e
r
signed: h
a
ndle it when th
e
type
is unknown
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-16
Dan C
a
r
p
enter
db
:
m
ake so
m
e varchar decalar
a
tions smaller
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-16
D
a
n Carpenter
s
i
gned: remov
e
som
e
debug
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Dan
C
a
r
penter
db:
make the size limit for the dat
a
base larger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
D
a
n Carpenter
par
a
m_limit:
don't p
r
i
nt
u
nneed
e
d
info
r
mation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
penter
db: remove return_
i
mplie
s
ta
b
le and relat
e
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carp
e
nter
smatch_para
m
_
l
imit: ext
r
a
:
store parameter impl
i
cat
i
o
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
db:
print ret
u
rn_stat
e
s information in
a
more detailed way
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Ca
r
penter
i
m
plied:
introduce overwrite_states_using_poo
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arp
e
nter
states: fix
__set_sm() wh
e
n a fake_cu
r
_
s
list is
being
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpenter
function_hooks: a
d
d some calls to __unn
u
l
l
ify
_
p
a
th()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Car
p
ente
r
r
anges: in
t
roduc
e
r
l
_in
v
ert(), r
l
_filter() and rl_intersection()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra
:
fix
a bug in how pointers are set inside
cal
l
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpenter
estate: introduce get_
i
mplied_es
t
ate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpe
n
ter
extra:
e
stat
e
: m
o
ve
m
erge_es
t
ate() from ext
r
a t
o
estate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
C
arpent
e
r
e
x
tra: parse as
m
and u
n
ops
af
t
er e
v
e
r
y
o
ne else is
f
inished
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Car
p
enter
pointer_m
a
th
:
check for (in
t
*)p +=
sizeof(int);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
treewide: fix some m
e
m
ory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpen
t
e
r
Revert "con
s
traints: fix bug
i
n remo
v
e
_
from_e
q
u
iv
(
)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n
C
arpenter
slist: fix
some debug c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Ca
r
penter
s
l
ist: c
o
mpile error
in d
e
bug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
r
p
enter
constraints: fix a memory le
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
Carpente
r
constr
a
ints:
fix bug in remove
_
from
_
equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints: u
s
e c
m
p_relation() inste
a
d of
c
us
t
om
code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpenter
conditions
:
rework _
_
is
_
condition_as
s
ign() => is_condition()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Da
n
Carpe
n
ter
db: remove
g
et_return_id()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
a
r
p
e
n
ter
p
arse_
c
all
_
math: up
d
ate to new return
_
states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n C
a
rpe
n
t
e
r
user_data
:
move to the return_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
extra
:
move
return_
v
alue_
p
aram to the new return_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
states: introduce ge
t
_all_st
a
te_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an
C
a
rpenter
db:
c
a
l
l return_states at the end of t
h
e
fun
c
tion i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
a
r
p
enter
db: fi
x
r
e
turn ranges for the
r
eturn_s
t
ates
c
allb
a
cks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpenter
db: ch
a
nge print_
r
et
u
rned
_
struct_members() to new A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
db: introduce add_retu
r
ned_state_call
b
ack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
db: pas
s
t
h
e
ret
u
rn_id to th
e
s
t
ruc
t
m
ember c
a
llbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpenter
modi
f
ication_hooks: handl
e
inl
i
ne assembly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
C
arpente
r
info: dereferenc
e
s_par
a
m: pri
n
t th
e
dereferences even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
db: handle globa
l
f
u
nction ass
i
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
extra: inf
o
: don't pr
i
nt
empty states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
D
a
n Carpenter
a
b
s
o
l
u
te: use g
e
t_implied_min() instead of get
_
imp
l
ied_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
extra: save
more modified pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpente
r
db
:
change smdb_return_in
f
o
.
s
h
to smdb
_
r
e
turn_val
u
es
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpe
n
ter
extra:
db:
r
ec
o
rd when peop
l
e modify pointers
p
a
ssed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
enter
e
x
tra: move --info
ho
o
ks
la
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carpenter
d
b
:
move free
_
slist(
)
inside th
e
lo
o
p
and fix a memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
helper
:
i
n
troduce get_param_num_from_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
db: save st
r
uct m
e
m
b
er
v
alues
a
cross returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
D
an Carpenter
t
ype: rename g
e
t_param_
t
ype_
f
rom_key() => get_member_type
_
f
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Da
n
C
a
rpen
t
er
flow: implied
:
f
i
x
how switch statements are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpe
n
ter
generisiz
e
.
pl
:
remove u16max and friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
extra:
tweak
h
andl
i
ng of absol
u
te min/max in com
p
arisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math
:
ignore
fuzzy ma
x
e
s
that
a
re ty
p
e_mi
n
() +
1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
C
arpenter
math: ove
r
flow implies th
a
t there is no
fuzzy m
a
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpenter
math: overflows
in
hard
m
ax are undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra:
h
andle loops
where wit
h
ou
t
a hard max th
a
t
don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Ca
r
pent
e
r
extra: cle
a
r hard max
i
f we are
f
alling back to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
e
xtra:
g
et max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Car
p
enter
extra: set hard
max corr
e
ctly i
n
lo
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
extra: if
(uns
i
gned
>
= unsig
n
ed) {:
A
lways
t
r
ue i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpent
e
r
m
ath: check for over
f
lows
when calculating the m
a
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpe
n
ter
c
o
n
d
ition
s
: preserve the type i
n
sel
e
ct assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
type
:
cleanp get_member_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: type: get the memb
e
r type when
l
oading
v
a
l
u
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpenter
de
b
ug: add __sm
a
tch_debug_im
p
lie
d
_on/off()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
p
e
nter
debug: in
t
roduce lo
c
al
_
debug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: reverse max()/min() test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next