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
function_ptrs: track parameters as well
2013-03-06
D
an Car
p
e
n
ter
function_ptrs: track
p
aram
e
t
ers
as we
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
f
u
nc
t
ion_ptrs: separate into its own fil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpenter
d
ata: add
s
nprin
t
f
t
o kernel
.
sizeof_param
.
remove
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
D
a
n
Car
p
enter
buf
_
size: fix a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Ca
r
p
enter
k
ernel: r
e
mov
e
some unneeded code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
b
uf_size:
handle
e
m
p
ty a
r
rays on
t
he end of structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
D
a
n
C
a
r
p
e
nter
buf_
s
iz
e
: remove some dea
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpen
t
er
local_value
s
: sto
r
e possible
value
s
of stat
i
c data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan
Ca
r
pen
t
er
fl
o
w: more inline
fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
db: export
m
e
m
_sql(
)
so checks can use
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
no_re
t
urn: another problem
w
ith inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan
C
arpenter
ranges: fix casting of invalid range l
i
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan
Car
p
e
n
t
e
r
extra,
f
u
nc
t
ion_h
o
o
ks: fix handling o
f
casted funct
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
enter
R
e
vert "
d
b: do
n
't create u
n
used tables in the
i
n-memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Ca
r
penter
db: don't use fun
c
tion po
i
n
t
ers for caller info
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
enter
d
b: u
s
e
"distin
c
t
"
to avoid duplicate function po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n
Carpenter
d
b
:
load globa
l
function
pointers into the db
p
roperly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
:
r
emove du
p
licate
s
truct
pointers to
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carp
e
n
t
er
d
b
:
f
ix call_implies for the in-
m
e
mory da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n C
a
r
p
enter
db
,
function_
h
ooks: qu
e
ry
t
he db after
p
r
ocessing t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpente
r
db: store the value of "x"
wh
e
n you call frob(
&
x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
ent
e
r
d
b: pass po
i
nted at v
a
lues to
c
alled functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
penter
db
:
reset the in
-
memor
y
database after every
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpent
e
r
db
:
a
d
d some debu
g
statements
f
or ins
e
rts into th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db: us
e
call
_
i
d for the
i
n-m
e
mory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: add cal
l
_
i
d to call_i
m
plies, return_s
t
ates a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carp
e
nter
db:
r
ename function_id in the
c
al
l
er_info ta
b
l
e t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carpenter
db: d
o
n't
c
reate unused tables in the in-me
m
ory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: don't pri
n
t caller info for
__builtin functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpente
r
db: us
e
correct variable in mem_sql
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
extra:
i
mprove unsigned compariso
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
r
p
en
t
e
r
r
ang
e
s: don't do unneeded alloca
t
ions in ca
s
t_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Car
p
e
nt
e
r
r
anges: introduce rl_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carp
e
n
ter
db: use in-
m
emory
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
a
n Carpenter
db:
move a
n
op
t
i
o
n_n
o
_db check to
r
un_sql()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
rp
e
nter
flow, db: rename should_inline() t
o
inlinable(
)
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
an Carpenter
returns: add a check for __inline_fn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
rpenter
db, flow: make __inline
_
f
n a
pointer to the funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n Carpenter
db: SQL formatt
i
ng bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: save caller
_
info for inlin
e
function properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
d
b
:
silence a compile warn
i
ng on 32
bit (use %zd for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: introd
u
ce sql
_
select_call_implies()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n Carpenter
db: o
n
ly allow
f
unct
i
ons to be saved to one
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Ca
r
pe
n
ter
db: introduce sql_select
_
caller_in
f
o
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Da
n
Carpenter
db:
introduce sql_select_retu
r
n_va
l
ues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
D
an
C
arp
e
nt
e
r
d
b: intr
o
du
c
e sq
l
_select_
r
eturn_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Ca
r
penter
ranges: fi
x
"troubl
e
parsing
e
mpty" m
e
ssages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
param_limit, param_filter: silen
c
e
s
ome debug
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan
C
arpenter
s
m
atch: fix sm_debug() to
always p
r
int
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
db
,
flow: parse inlin
e
statements, loa
d
stuff into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
states:
i
ntroduce helper functions t
o
preserve and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan
Car
p
enter
v
alidation: fix bogu
s
t
e
st
s
so
they don
'
t
c
ause segfaults
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan
C
arpenter
parse_call_math: fix
s
e
gfa
u
lt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
Carpenter
db:
m
a
k
e
sql_
i
nsert_caller_info()
t
ake the
c
all expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
D
a
n
Carpen
t
er
d
b: initialize In-Memor
y
datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
d
b: move db stuff fro
m
smatch
_
scripts/db/ to
s
match_data/db/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
D
an Carpenter
db: everyone
mus
t
have libsqli
t
e
3
installed
(
not optio
n
al)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
files: make open_data_file() exported
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
flow: delete unus
e
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
helper: handl
e
ass
i
g
n
ments in expr
_
to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan C
a
rp
e
n
t
er
*new* che
c
k_
s
truct_type: if we allocate an unexpected
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
rosenberg: fix
c
rash parsin
g
diff
e
rent fu
n
c
tions with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpen
t
e
r
db: move cal
l
er_info as
close
a
s possible to raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan C
a
r
penter
db
:
make member_info callbacks
t
ake
1 or 0 instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpe
n
ter
db: m
o
ve type_size
t
o use raw S
Q
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: move cal
l
_
implies to use raw
S
QL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n
Ca
r
penter
d
b:
m
ov
e
return_value
s
to us
e
raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db:
d
elet
e
unused no_s
i
d
e_effects table (for
n
ow
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
C
a
rpenter
db: move function_ptr to raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpente
r
db: move re
t
ur
n
_state
s
to raw
S
QL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
an Carpe
n
ter
db: tools for printin
g
raw SQL inst
e
ad of human readable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-08
D
a
n Ca
r
p
enter
silence bo
g
us "u
n
re
a
chable code" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
param_limi
t
: handle functions where
t
h
e
par
a
meter is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Da
n
Ca
r
p
ente
r
db: take static vs globa
l
i
nto
c
onsi
d
e
rat
i
on
wit f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Car
p
enter
math: handle MOD operation better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Da
n
Carpent
e
r
*delet
e
*
bool_imp
l
icatio
n
s: this fil
e
is u
n
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Ca
r
penter
para
m
_(fil
t
er|lim
i
t|set): add so
m
e co
m
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan
Carpenter
buf_size: don't
c
ras
h
on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
pa
r
se_ca
l
l_math: silence "
i
n
ternal bug: pop_
v
al poppin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
B
a
rt
Van Assc
h
e
Avoid triggering a division by zero in the overflo
w
.
.
.
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
propagate:
f
all
o
ut f
r
om g
e
t_impl
i
ed_min() changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
D
a
n
C
ar
p
e
nt
e
r
extra: type bug
h
and
l
ing empty state
s
in reset_struc
t
_
m
em
b
e
r
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Car
p
enter
rang
e
s: don't allow in
v
erted
ra
n
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan C
a
rpente
r
db: do
n
't get
p
r
int info
i
f
the function has ov
e
r 1
0
000
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-05
Dan Carpente
r
mat
h
: don'
t
return
h
igh values in get_fuzzy_m
a
x
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan
C
arpenter
o
v
erflow: fix false positi
v
e
allocating a void poin
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Car
p
enter
buf_size: fix b
u
g caused
by ge
t
_implied_max()
returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan C
a
rpent
e
r
db: print less --info for a few pr
o
blemati
c
f
u
nc
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan C
a
rpenter
math: get_implied_max() should be able to return
s32max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
sval: o
n
l
y
print "s
3
2max" if
t
he value is actually
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
m
ath:
g
et_implie
d
_min() should be
a
b
l
e to
r
e
t
u
rn s32min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
D
a
n
Carpenter
math:
t
weak get
_
fuzzy_math()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
e
xtra
,
db
:
handl
e
passing c
h
ar
s
to
parameters which
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan
Carpen
t
er
math:
u
se
NOTIMPL
I
ED instead of
HARD_MIN in oppo
s
ite_implied()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpe
n
ter
m
a
th: set
t
he "undefine
d
" flag
o
n error in handle_mod
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpenter
or_vs_and: handle conditio
n
s inside par
e
nthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Emil
Tantilov
smatch:
f
i
x
b
u
ild erro
r
commit
|
commitdiff
|
tree
2013-02-01
Dan Carp
e
nter
t
y
pe: introduce is_void_p
o
inte
r
(
)
and is_
c
h
a
r_pointer()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-31
D
an Carpen
t
e
r
absolute: delete sm
a
tch
_
absolute
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-31
Dan Carpenter
*
new* check_
s
tring
_
le
n
.
c: look for sprintf() ove
r
flo
w
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next