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
compare: handle some assignments
2013-03-07
Dan Carpenter
co
m
p
are: handle some ass
i
gnme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
e
xtra: sh
u
ffle match_a
s
s
i
gn a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Car
p
enter
extra: only get the
types one time in
match_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpente
r
function_ptr:
m
o
v
e get_fnptr_name() to smatch_functio
n
_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: fixup_k
e
r
n
e
l
.
sh: discard caller_info from
-
>noti
f
i
e
r
_
c
all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
db: fix
u
p_kernel
.
s
h: on
l
y trac
k
the main
read/write
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpent
e
r
user_data
:
track use
r
data acro
s
s
assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
penter
smatch_
c
apped:
get_
i
m
plied_max() do
e
s
not im
p
l
ied capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
buf_si
z
e
: export g
e
t_real
_
array_s
i
ze(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpenter
extr
a
: h
a
ndle MOD_ASSIGN bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Ca
r
penter
db: don'
t
print infor
m
ation
c
aller information for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
t
e
r
f
unction_ptr
s
: t
r
ack p
a
ramet
e
rs as we
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
functi
o
n_ptrs:
s
eparate into its own file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
D
an Ca
r
pent
e
r
data
:
a
d
d snprintf to kernel
.
size
o
f
_param
.
remove
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpen
t
e
r
buf_size
:
f
ix a NULL de
r
efer
e
nce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Da
n
Carpenter
ker
n
el: rem
o
ve some unneeded code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan
Carpenter
bu
f
_size: handle empt
y
arrays on
t
he en
d
o
f
s
tructs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan
Ca
r
pente
r
bu
f
_size:
remove some dead c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpen
t
er
l
ocal_valu
e
s:
s
tore possible values of sta
t
ic data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
D
a
n
Carpenter
flo
w
: mo
r
e inline fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
db:
expor
t
mem_sql
(
) so c
h
ecks
c
an use it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
D
an Carpent
e
r
no
_
re
t
ur
n
: an
o
ther problem w
i
t
h
inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpen
t
er
ran
g
e
s
:
fix casting of invali
d
range l
i
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Ca
r
p
e
n
ter
e
xtra, fun
c
tion_hook
s
: fix handling of casted function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carp
e
nter
Revert "d
b
: don't create unused t
a
ble
s
in
the in-memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
a
rpent
e
r
db: do
n
'
t use
f
u
nction pointers for caller info on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: us
e
"
d
isti
n
ct" to a
v
oid duplicate function poin
t
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
a
rpenter
db: load gl
o
bal f
u
n
c
tion p
o
i
nter
s
into the
d
b
p
roperl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
en
t
er
db: r
e
move duplicat
e
str
u
c
t pointe
r
s t
o
functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpenter
db
:
fix call_implies fo
r
the in-memory
da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b, function_hooks
:
query th
e
db after processing the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: store the
v
alue of "
x
"
w
hen you
c
all frob
(
&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
ter
d
b
:
p
a
s
s
p
ointed at
values to called funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db
:
rese
t
the in-
m
emory datab
a
se after ever
y
fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db: add
s
ome debug statements for
i
n
s
erts into
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
enter
d
b
: use cal
l
_id
for the i
n
-memory
d
a
tabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
ter
db
:
a
dd call_id to c
a
l
l
_implies, retu
r
n_
s
tates and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
enter
db:
r
ena
m
e
function_id
i
n the caller_inf
o
table to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpenter
d
b: don't create unused
t
ables
i
n the
in-memory
d
at
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpenter
db: don't p
r
int caller info for _
_
builtin functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpenter
db: use correct variable i
n
mem_sql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpen
t
e
r
extra: improve u
n
s
i
gned comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpe
n
ter
ranges: don't do
u
nn
e
eded alloca
t
ions
i
n
cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
rpenter
r
anges: introduce rl_ty
p
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
D
a
n Carpenter
d
b
: use
i
n-me
m
ory datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan
Carpen
t
e
r
db: move an opti
o
n_no
_
db check to run_s
q
l(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
Carpe
n
ter
flow,
d
b: rename shou
l
d_
i
nline() to inlinable() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan
C
arpenter
r
e
t
urns: add a check fo
r
__inline_fn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
db, flo
w
:
m
ake __inli
n
e_fn a p
o
inter to the
f
unct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: SQL for
m
atting bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carp
e
nt
e
r
db: sa
v
e caller_info for i
n
line function
p
roperly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan C
a
r
p
e
nter
db: silence a compile
war
n
ing on 32 bit
(use
%
zd for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
d
b: introduce
s
ql_select_call_i
m
p
l
ies()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n
Carpenter
db: only
allow func
t
ions to b
e
sa
v
ed
to
one func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db
:
introduce sql
_
se
l
ect_caller_info()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db
:
int
r
oduce sql_select_
r
eturn_values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpente
r
db: introduce sql_select_r
e
turn_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
range
s
: fix "trouble p
a
rsi
n
g emp
t
y
"
messages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
pa
r
am_limit, param_filter:
silence s
o
me debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Da
n
Carpenter
smatch: fix sm_debug()
t
o
al
w
ays print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
db, flow: parse
i
n
line
s
t
atements, load
s
tuff in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
D
a
n
C
arpen
t
er
states:
i
ntrodu
c
e
h
e
lp
e
r func
t
ions
to preserve and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
valida
t
ion: f
i
x bogus test
s
so they don'
t
caus
e
segfaults
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
parse_call_math: fix segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan C
a
rpenter
db: make sql_insert_ca
l
ler_inf
o
() take the call expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
db: ini
t
ialize In-Memory
d
a
tabas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpe
n
ter
db: move db stuff from s
m
atch_scripts/db/ to smatch_data/db/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
db: ever
y
one must hav
e
libsqli
t
e3
i
nstalled (not optional
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
files: mak
e
open_data_fil
e
(
) exported
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpente
r
flo
w
: delete unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
an Carpente
r
helper
:
h
a
n
dle assignments i
n
e
x
pr_to
_
str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Car
p
enter
*ne
w
*
check_st
r
uct
_
type: if we a
l
locate an unexpected
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
rosenberg: fix cra
s
h parsi
n
g
d
i
fferent functions
w
ith
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan C
a
rpenter
db: move caller_info as
c
l
o
se as possible to raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpen
t
er
db: make member_info callba
c
ks take 1 or 0 inste
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
Carpe
n
ter
db
:
move type_size to use raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: m
o
ve cal
l
_
impli
e
s
to use
raw
S
QL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: move re
t
urn_valu
e
s
to
u
se raw SQ
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
d
b: delete unused
n
o
_sid
e
_effect
s
table
(f
o
r
n
ow
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpe
n
ter
db: move function_ptr
t
o raw SQ
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
Carpenter
db: move return_sta
t
es to raw
SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
C
ar
p
enter
db:
too
l
s for
printing raw S
Q
L instead of human
r
e
adable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-08
Dan Carpenter
s
ilence b
o
gus "unrea
c
hable code"
w
arnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan
C
arpenter
p
aram
_
limit: handle f
u
n
c
tion
s
wh
e
r
e the paramet
e
r is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
D
a
n
C
arpenter
db: take s
t
atic vs glo
b
al into co
n
sidera
t
ion wit fu
n
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan
C
a
r
p
en
t
er
mat
h
: handle M
O
D
operation
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
*delet
e
*
b
ool_i
m
plications: th
i
s file is unused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
para
m
_(
f
ilter|limi
t
|set):
a
dd some comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan
Carpenter
buf_s
i
ze: don't crash on invalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
D
a
n Car
p
enter
par
s
e_call
_
ma
t
h: s
i
lence
"
in
t
ern
a
l bug: po
p
_val poppin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan
Carpenter
pr
o
pagate: f
a
ll out
from
get_im
p
li
e
d_min()
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan C
a
rpent
e
r
extr
a
:
type b
u
g handling e
m
p
t
y stat
e
s in res
e
t
_
struct_members()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Da
n
Carpenter
ranges: don't allow inver
t
ed ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
d
b
: don't get prin
t
info if the function has o
v
er 10000
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-05
Da
n
Carpenter
math: d
o
n'
t
ret
u
rn high values in get
_
fuzzy_max
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
D
a
n
Car
p
ent
e
r
o
verflow:
fix false p
o
sitive allocating a
void pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan
Carpenter
buf_size: fix bug
c
a
used b
y
get
_
impl
i
ed_max() returning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Car
p
enter
db: print less --info f
o
r a few prob
l
ematic functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpe
n
ter
math: get_implied_max() should be
a
b
le 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
32max"
if the valu
e
is actually
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next