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, param_filter: silence some debug output
2013-02-18
Dan Carpen
t
er
param_limit, param_filter: silence some debug
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
s
match:
fix sm_d
e
bug()
to always print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan
Carpent
e
r
db, flow: par
s
e inline
statements,
l
oa
d
stuff
i
nto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan
Carpenter
stat
e
s: intro
d
uce
h
elper func
t
ions to pre
s
er
v
e and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Car
p
enter
validation:
fix
bogus test
s
so t
h
ey d
o
n't cause segf
a
ults
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
pa
r
se_call_math: fix s
e
gf
a
ult
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpente
r
db:
m
ake sq
l
_insert_cal
l
er_info()
t
ake th
e
call expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
C
arpenter
db: initialize In-Memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
Carpenter
db:
m
o
ve db
s
tuff
fr
o
m smatch_scripts/db/ to smatch_
d
a
t
a/db/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
D
an Carpenter
d
b: eve
r
yone must have libsqli
t
e3 i
n
s
t
alled (not o
p
tional)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpen
t
er
files: make open_data
_
file() expor
t
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpenter
flow: del
e
te unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
helper:
h
andle
assig
n
ments in expr_to_str(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpen
t
er
*new* check_struct_type
:
if we
allocate an une
x
pected
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
an Carpenter
ros
e
n
b
erg: fix c
r
ash parsing different func
t
ions with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
C
arpenter
db: move ca
l
l
er_info as close as possible to raw
SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: make membe
r
_info callback
s
t
a
ke 1 or 0 ins
t
ead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpente
r
db: move
t
ype
_
size to use raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpenter
db: move call_
i
mplies to use raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
C
a
rpenter
db: mov
e
return_
v
alues to use raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpen
t
er
db: de
l
ete unused no_side_effects table (for
now)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n Carpenter
db
:
move f
u
n
ction_
p
tr to raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpente
r
db: move return_states to raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n Carpenter
db: tool
s
fo
r
p
r
i
nti
n
g
raw S
Q
L instead of human read
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-08
Dan Carpe
n
ter
si
l
e
n
ce bogus "unreachab
l
e
c
ode" warning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
par
a
m
_
limit: handle
f
unctions
wher
e
the
parameter i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan C
a
rpenter
d
b
:
take static vs global into c
o
nside
r
ation wit function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
ma
t
h: handle
MOD operation bet
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
*de
l
e
t
e* bool_im
p
lications
:
this file is unuse
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Da
n
C
arp
e
nter
param_(filter|limit|s
e
t): a
d
d so
m
e comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan C
a
rpe
n
ter
buf
_
s
ize: don'
t
cra
s
h on invalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Ca
r
pent
e
r
pa
r
se_call_math:
s
ilence "interna
l
b
u
g: pop_val popping
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
B
a
rt Van Assche
Avoid triggering a
d
ivi
s
ion by zero in the
overflo
w
.
.
.
commit
|
commitdiff
|
tree
2013-02-06
D
a
n
Car
p
enter
pro
p
agate
:
fall
out from get_implied
_
min() ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Da
n
C
a
rpe
n
ter
extra: type bug handling
e
mp
t
y states in reset_struct_memb
e
rs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Ca
r
penter
r
a
ng
e
s: don't all
o
w in
v
erted ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
db: don
'
t
g
et pri
n
t info if the f
u
nction has over 10000
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-05
Dan Carpenter
math
:
don't
retu
r
n high values in
g
et_fuzzy_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan
C
arpent
e
r
overflow: fix false p
o
sitive alloca
t
ing a
v
oid
pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Car
p
enter
buf_
s
ize: fix bug caused by get_implie
d
_max() ret
u
rn
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
db: prin
t
less --info for a few problema
t
ic funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan C
a
rpenter
m
a
t
h
:
get_implied_max()
s
hould be able to return s32max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
s
v
al: only p
r
int
"
s32max" if
t
he value is
act
u
a
l
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carp
e
n
t
er
math: get_implied_min() should be ab
l
e to
r
etur
n
s32min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpe
n
ter
m
ath: tweak
get_fuzzy_math()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
D
a
n C
a
rpenter
extra, db
:
handle passing cha
r
s to param
e
ters
w
hich
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpenter
math: use
N
OTIMPLIED
inste
a
d of
H
ARD_MIN in opposite_implie
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-01
Da
n
Carpenter
mat
h
: set
t
he "undefin
e
d" flag on error
i
n
handle
_
mod(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpenter
or_vs_and: handle conditions inside
parenthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-01
E
mil T
a
ntilo
v
s
m
a
tch: fix bu
i
l
d
e
rror
commit
|
commitdiff
|
tree
2013-02-01
Dan Carp
e
n
t
er
type: introduce
is_
v
oid_poi
n
ter() and is_cha
r
_pointer()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-31
Dan Carpent
e
r
a
b
s
o
lute: delete smatch_absolute
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-31
Dan Carpenter
*new*
c
he
c
k_string_len
.
c: look for sprintf(
)
ov
e
rfl
o
w
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
e
xtra, modification_hooks,
d
b: move g
e
t
_variable_f
r
om_key
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
D
an Carpenter
expre
s
sion
s
: use more accurat
e
positions for fake dereferen
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
modific
a
t
i
on_
h
ooks: us
e
modif
i
cation info from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Da
n
Carpent
e
r
extra, equiv
:
m
ake cal
l
_e
x
t
ra_mod_
h
oo
k
s() global
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan Ca
r
p
e
nter
modi
f
i
cation_hooks: split
o
ut call_mod
i
fica
t
i
o
n_hook
s
_name_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan C
a
r
p
enter
type
:
handle strings better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
D
an Carpenter
e
q
u
i
v: call_extra_mod_hooks() inside
set_
e
quiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
buf_size: d
o
n
'
t call get
_
expression_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
D
an
Carpenter
smatch: crea
t
e a
l
ocal_
d
eb
u
g() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-24
Dan Ca
r
penter
smat
c
h
.
h, db: add nu
m
bers to the inf
o
_t
y
pe e
n
um
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-24
Dan Carpenter
deref: spelli
n
g:
d
erefencing =
>
derefer
e
ncing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpenter
math: cal
c
ulating the s
i
zeof() used to mo
d
if
y
the exp
r
ession
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-23
Dan C
a
rpenter
m
a
th: use smatch_comparison
.
c for handli
n
g subtraction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carp
e
nter
extr
a
,
modificat
i
on
_
hooks: se
t
"*p" to unknown if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpenter
smat
c
h_express
i
ons
:
introduce deref
_
expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpenter
smatch_exp
r
es
s
ions: rename d
e
ref_expression()
to member_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-22
Dan Carpenter
all: rename expr
_
t
o_str_
c
o
m
plex(
)
t
o
e
xp
r
_t
o
_s
t
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-22
D
a
n Car
p
enter
smatch: renam
e
e
x
pr_to_str() t
o
expr_to
_
v
a
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-22
Da
n
Carpenter
m
is
s
ing b
r
eak: only print
o
n
e messa
g
e per switch statement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-18
D
an
C
arpente
r
extra
:
ge
t
rid of data_type
enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-18
Dan Carpenter
d
e
b
ug:
a
dd
_
_smat
c
h_compare()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-17
Dan Carpenter
math: i
m
prove get_implied_rl()
if only
the ma
x
is kn
o
wn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-17
Dan Carpe
n
ter
sval
:
introd
u
ce sval_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-17
Dan Carpenter
smat
c
h_compariso
n
: stor
e
how two variables compare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpen
t
er
slist:
fix align
m
ent i
n
allo
c
_
sn
a
me()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpenter
val
i
dation: update
a
couple scripts with missing break
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpenter
Makefi
l
e
:
fix build error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpenter
equi
v
: get rid of
t
he
-
>op
m
ember
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpenter
eq
u
iv: u
p
date some commen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-14
Dan Car
p
e
n
ter
constraints: e
q
uiv
:
renam
e
smatch_co
n
stra
i
nts
.
c
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-14
D
an Carpe
n
t
er
ranges: rename sh
o
w_ranges() to show_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Carpenter
s
m
a
tch: introduce expr_to_str_complex()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
an Carpenter
smatch: intr
o
d
u
ce expr_to_st
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
s
m
atch: r
e
na
m
e get
_
variabl
e
_from_expr() t
o
exp
r
_to_str_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
sma
t
ch: rename g
e
t_variable_
f
rom_expr_complex()
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n C
a
rpente
r
extra: shuf
f
le smatch_ex
t
ra
.
h around some
more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
estate: rena
m
e filter_ra
n
ge() to estate_filte
r
_
r
ange()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
r
penter
e
s
tate: r
e
n
ame estate_ranges() to esta
t
e
_
rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
es
t
a
t
e
:
rename i
s
_
whole_rang
e
() to estate_is_
w
ho
l
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpe
n
t
er
est
a
te: rename ex
t
ra
_
und
e
f
i
ned()
to a
l
loc_estate_w
h
ole()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpe
n
t
er
es
t
ate: re
n
ame allo
c
_estate_range_list
(
) to
alloc_esta
t
e_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n
Carpente
r
estate:
r
e
n
ame alloc_est
a
te() to alloc_estate
_
sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpent
e
r
estate: shuffle stuff a
r
ound in the hea
d
er file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
an Ca
r
penter
ran
g
es
:
re
n
ame fre
e
_range_
l
ist() to fre
e
_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Car
p
enter
r
anges: rename ge
t
_i
m
p
lied_range_list() to
get_implied_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
ra
n
g
e
s
:
rena
m
e p
u
sh_range_list() and friends to push
_
rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
a
rpenter
ranges: rename ra
n
g
e_list
s
_e
q
uiv() to rl
_
equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next