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: fixup_kernel.sh: only track the main read/write() functions
2013-03-06
Dan
Ca
r
penter
db: fixup_kernel
.
sh: only
t
r
ack the main read/write
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n
C
arpent
e
r
user_data: t
r
ack user data across assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
s
m
atch_c
a
pped:
g
et_i
m
p
lied_ma
x
() doe
s
no
t
i
m
pli
e
d ca
p
ped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
a
r
penter
buf_size: export get_r
e
al_array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extr
a
: handle MOD_ASSIGN bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db
:
don't prin
t
info
r
mation caller information for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
p
e
n
t
er
fun
c
tion_ptrs:
t
rack pa
r
amet
e
rs as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carpenter
function_p
t
r
s
: separa
t
e into its own file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Dan
C
arpenter
da
t
a:
a
d
d snprintf to kern
e
l
.
sizeof_p
a
ram
.
remove
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
D
a
n
Carpenter
buf_s
i
z
e: fix a NU
L
L dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Car
p
enter
k
e
r
nel: re
m
ove
s
ome unneede
d
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
buf_s
i
ze: h
a
ndl
e
empty arrays on the
e
n
d of structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpent
e
r
b
uf_size: remove some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpen
t
er
l
oca
l
_values: s
t
o
re pos
s
i
ble values of s
t
atic data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan
Carpenter
flow: more inline fal
l
out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpent
e
r
db: export mem_sql() so
c
hecks can
u
se it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan
C
arpenter
no_return: another problem wi
t
h in
l
ine functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
ranges: fix
c
asting of inva
l
id range list
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
D
a
n
Carpenter
ext
r
a, funct
i
on_hooks: fix handling of cas
t
e
d
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
an Car
p
ente
r
Revert "db: don't c
r
e
a
t
e unused tabl
e
s in
t
h
e
i
n-memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
penter
db
:
d
on't use function pointe
r
s f
o
r c
a
l
l
e
r info on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carp
e
nter
d
b
: u
s
e "distinct" to avoid duplicate
functi
o
n pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carpenter
db: load global functi
o
n
po
i
nters
i
n
to the db
p
roperly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b: remove duplicate struct pointers to functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpente
r
db:
f
ix
call
_
implies for
t
h
e
i
n-
m
emo
r
y database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db, function_hooks
:
q
u
ery the db after
p
roce
s
si
n
g the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: store the va
l
ue of
"x" when you ca
l
l
f
rob(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
penter
db: p
a
ss pointed
a
t values to c
a
lled functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpen
t
e
r
db
:
reset the
in-memo
r
y database
a
fter every f
u
nct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carp
e
nter
db: add some debug stateme
n
ts for inserts into the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpen
t
e
r
d
b:
u
se
c
all_id for
t
h
e in-memo
r
y d
a
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpe
n
t
e
r
db: ad
d
cal
l
_id to call_
i
mp
l
ies
,
r
eturn_sta
t
es
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
pent
e
r
db: ren
a
me
function_id in the calle
r
_info table
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
an Ca
r
pen
t
er
d
b
: don't
cre
a
te u
n
used tabl
e
s
i
n
t
he in-me
m
o
r
y database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carpenter
db: don'
t
print
call
e
r info
for __builtin functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db
:
use correct variable in m
e
m_sql()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
extra:
improve un
s
igned comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
ra
n
ges: do
n
't do un
n
eeded allocations in cast_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
C
arpen
t
e
r
r
a
nges: introduce rl_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
Carpenter
db: use in-mem
o
ry d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
db: mov
e
an option_no_db check to run_sql()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
flow, db: renam
e
should_inline
(
) to inlin
a
bl
e
() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
r
e
t
urns: add a check for __inline_fn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
an
Carpenter
db, fl
o
w:
m
ake __i
n
line_fn a
p
o
i
nter to the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n Carpenter
db: SQ
L
formatting bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan
C
arpenter
db: sav
e
caller_info
for in
l
i
ne fu
n
ction prop
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan
Carpenter
db: silence
a compile warning on 32 bit (us
e
%
z
d for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: introduce sq
l
_
s
ele
c
t
_call_implies()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
d
b: on
l
y allow functions to be sa
v
ed to one
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
d
b
:
in
t
roduce sql_select_caller_inf
o
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: int
r
oduce sql_select_re
t
urn_
v
al
u
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan
Carpenter
db:
introduce
s
ql_select_return_
s
t
ates()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan
C
a
r
penter
ranges
:
fix "trouble
parsing empty"
m
e
s
sages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan
C
arpenter
param_li
m
it, param_filter: silence some
d
e
bug
o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
smatch: fix sm_debug() to alwa
y
s print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpen
t
er
db, flow: pa
r
se
i
nline stat
e
ments, load stuf
f
into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpe
n
ter
states: introdu
c
e
h
elper function
s
to preserv
e
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
validation: fix
bog
u
s tests so they
don't cause segfaults
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan
Carpenter
parse_call
_
ma
t
h: fix se
g
fault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
db: make sql_insert_caller_info()
t
a
ke the call ex
p
ression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
D
a
n Carpenter
db
:
initialize In-
M
emory data
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan
C
arpenter
db:
m
ove
db stuff from s
m
a
tc
h
_scripts/db/ t
o
smatch_
d
ata/db/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan C
a
rpenter
db:
eve
r
yone must have libsqlite3 installed (not option
a
l)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
D
a
n Ca
r
penter
f
i
l
es: make open_dat
a
_file() exported
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan
C
a
rpenter
f
low
:
delete unused c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carp
e
nt
e
r
helper:
h
andle assignmen
t
s
i
n
expr_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
*new
*
c
h
eck_struct_type: i
f
we allocate an unexpected
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
Carp
e
nter
rosenb
e
rg
:
fix
crash pars
i
n
g
different functions w
i
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpente
r
db: mo
v
e caller_info as cl
o
se as possible to
raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
an Carpenter
db: make mem
b
e
r_i
n
fo cal
l
backs ta
k
e
1
or
0 instea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n Carpen
t
er
db: m
o
v
e
type_si
z
e
t
o use
r
aw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Ca
r
penter
db: move
call_imp
l
ies to use raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpen
t
er
db
:
move retu
r
n_values to
u
se raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan C
a
rpenter
db: delete unu
s
ed no_side
_
e
f
f
ects tab
l
e
(fo
r
n
o
w
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpenter
db: move function_ptr to raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpe
n
ter
db
:
move return_states
t
o
raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
an
C
ar
p
ent
e
r
db: tools
f
or printing raw SQL instea
d
of
human
r
eadable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-08
Dan
Carpente
r
silence
b
ogus "u
n
reachable code" warn
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan
C
arpent
e
r
para
m
_
l
imi
t
: handle functions
w
here the parameter is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan C
a
rpenter
db: take static vs global into consideration wit function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
D
an Carpenter
math: handl
e
MOD oper
a
tion better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan C
a
rpenter
*delet
e
*
b
ool_imp
l
i
c
at
i
ons:
t
h
i
s file is
u
nus
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
D
a
n
Carpent
e
r
pa
r
am_(
f
ilter|li
m
it
|
se
t
): a
d
d some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Da
n
Carpenter
buf
_
size
:
don't crash on inval
i
d
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
D
an Carpent
e
r
pars
e
_call_math:
s
ilence "i
n
ternal bug: pop_val popp
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Da
n
Carpenter
propagate: fall out f
r
om g
e
t_impli
e
d_mi
n
(
)
c
hanges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Ca
r
penter
extra:
type bug ha
n
dlin
g
e
m
p
t
y sta
t
es i
n
r
e
set_struct_members()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpent
e
r
range
s
: don
'
t allow inverted
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carp
e
nter
db: don't get print i
n
fo
i
f
the function h
a
s ove
r
100
0
0
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-05
Dan
Carpe
n
ter
math: don
'
t
return
high values
in
g
et
_
fuzzy_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Car
p
enter
ove
r
fl
o
w:
f
ix false positive allocating a void pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
D
an Carpen
t
er
buf_siz
e
: fix bug
c
ause
d
by ge
t
_implied_max() returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Da
n
C
a
r
pe
n
t
e
r
db
:
prin
t
less
-
-inf
o
for a few p
r
oble
m
atic
fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Da
n
Car
p
enter
math:
g
et_implied_max()
s
h
ould be
able to return s
3
2max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Ca
r
penter
sv
a
l
:
only print
"
s
32max" if the val
u
e is
a
ctually
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
math: get
_
impli
e
d_min() should be ab
l
e to return s32min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
math: tweak get_fuzzy_mat
h
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan C
a
rpenter
ex
t
ra, db: h
a
ndle p
a
ssing
c
hars
t
o parameter
s
which
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan
Carpenter
ma
t
h:
u
se
NOTI
M
PLI
E
D instead of
HARD_M
I
N in
o
pposit
e
_implied(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpenter
math: set th
e
"
u
ndefined" flag on error
i
n
h
andle_mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next