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: replace database info scripts with smdb.py
2013-03-06
Dan Carpe
n
ter
func
t
i
o
n
_ptr:
m
o
ve get_
f
nptr_name() to
smatch_function_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
ter
db: fi
x
up_kernel
.
sh: discard caller
_
info from ->notifier_call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
n
t
er
db: fixup_k
e
rnel
.
sh: only
t
rack
the m
a
in rea
d
/w
r
i
te
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpenter
user_data: t
r
ac
k
user data across a
s
si
g
nm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
a
rpenter
smatch_capped: g
e
t_im
p
lied_max()
does not implied capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
buf_siz
e
: export get_real
_
array_
s
ize()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an C
a
rp
e
nter
extra:
h
andle MOD_ASSIGN
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
db: don't
print
informati
o
n call
e
r infor
m
ation for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpen
t
e
r
function_ptrs: trac
k
parameters as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an C
a
rpenter
function_p
t
r
s: separate into its own file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpen
t
er
d
a
ta: add snprintf to
k
ernel
.
size
o
f
_
param
.
remove
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
D
a
n Carpenter
buf_size: fix a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan C
a
rp
e
nter
kern
e
l: remove so
m
e unneeded code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpente
r
buf
_
size: hand
l
e
empty arrays o
n
th
e
e
n
d of
s
tructs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
D
a
n Carpenter
buf_siz
e
:
remove some dead
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
local_value
s
:
s
tore po
s
sible
values of static d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Da
n
Carp
e
nter
flow: more inline fall
out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan
C
ar
p
enter
db: export mem_sql()
s
o checks can us
e
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpente
r
no_return: another proble
m
with inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan
Carpenter
rang
e
s: fix c
a
sting of inv
a
lid
r
ange
l
ists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
D
a
n Ca
r
p
enter
extra, functi
o
n
_
hooks
:
fix handling o
f
casted
fu
n
cti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
penter
Revert "db: d
o
n't c
r
eate u
n
used tables in the in-memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db
:
don'
t
use function pointers
f
o
r ca
l
le
r
info on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
penter
db: use "di
s
tin
c
t" to avoid duplica
t
e
f
un
c
t
i
on poin
t
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: load global function
pointe
r
s int
o
th
e
d
b proper
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Car
p
enter
db: remove duplicate struct pointers to func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
r
penter
db: fix call_implies fo
r
t
h
e in-mem
o
r
y
data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carp
e
nter
db, func
t
ion_hooks: query
the db after p
r
ocessing the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: store the value of "x" whe
n
you cal
l
frob(&
x
)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpenter
db: pass pointed at values to
c
all
e
d func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arp
e
nte
r
db: reset
t
he in-
m
e
mory database after ev
e
ry
fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n
Carpen
t
er
db: add some debug statements for
inserts into the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n
Carpenter
db: u
s
e call_id
f
o
r the in-memor
y
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpenter
d
b
: add
call_i
d
to
c
all
_
implies, r
e
t
urn_state
s
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: ren
a
me function
_
i
d
i
n the caller_info
t
a
b
le
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
: do
n
't create u
n
use
d
tab
l
es in the in-
m
emory databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpent
e
r
db: don't
pr
i
nt
caller in
f
o for __builtin functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpenter
db: use correct variabl
e
in mem_sql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
ex
t
ra
:
i
m
p
r
ove
uns
i
gne
d
com
p
aris
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
ranges: don't do
un
n
eed
e
d allo
c
a
t
i
o
n
s in cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
rang
e
s
: introduce rl_ty
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
db: use
in-memory databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpent
e
r
db: move
a
n op
t
ion_no_db check to run_sql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Ca
r
penter
flow, d
b
:
rename s
h
ould_inline()
to
inlin
a
bl
e
() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Car
p
ente
r
r
e
t
urns: add
a
che
c
k
for __inline_fn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Car
p
enter
d
b,
f
low
:
mak
e
__inl
i
n
e
_f
n
a
p
ointer to the
functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: SQL
f
o
rm
a
tting bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpent
e
r
db: s
a
ve caller_i
n
fo for inline function properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan
Carp
e
nt
e
r
db:
s
ilence a c
o
mp
i
le w
a
rning on
3
2 bit
(use %z
d
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n Carpen
t
er
db: introd
u
ce sql_
s
elect_
c
all_implies()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: o
n
ly
allow functions to be saved to one
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
an Carpenter
db: intr
o
duce sql_s
e
lec
t
_caller_i
n
fo()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpe
n
ter
db:
introduce sql
_
select_
r
etur
n
_
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: introduce sql_select_return_st
a
t
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan
C
a
rpenter
ranges:
fix
"
t
rouble
par
s
ing empty" messages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan
Ca
r
p
enter
p
a
ram_li
m
it, param_f
i
lter: si
l
e
nce some debu
g
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
smatch:
fix sm_debug() to a
l
ways print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
D
an Carpenter
db, flow:
p
arse inline statements, lo
a
d st
u
ff
i
n
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
D
an C
a
r
penter
st
a
te
s
: in
t
r
oduce helper fu
n
cti
o
ns to pre
s
erve a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
D
a
n
Carpenter
v
alidat
i
on:
fix bogus t
e
sts so they do
n
't cause
segfaults
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan
C
a
r
p
enter
parse_call_
m
a
th
:
fix segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpen
t
er
db: make
sql_insert_caller_info() take the call expre
s
sion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Ca
r
penter
d
b: in
i
tialize In-M
e
mory data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan
Car
p
enter
db: move
db
s
tuff from
smatch_
s
cripts/d
b
/ to smatch_d
a
ta/
d
b
/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
D
a
n
C
a
rpent
e
r
db: ev
e
ryone m
u
st have libsq
l
ite3 installed (
n
ot optional)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
Carpent
e
r
files:
make o
p
en_dat
a
_file() expo
r
ted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
Carpenter
f
low: del
e
te
unused
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n
Ca
r
p
e
nter
h
elper: handle assignmen
t
s in ex
p
r_to_str
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
*new* check_s
t
ruct_type:
if we
allocate an
u
nexpected
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
r
o
senbe
r
g: fix
c
ra
s
h parsing different functions wit
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
d
b
: move c
a
l
ler_
i
n
f
o as clos
e
as p
o
ssible t
o
raw S
Q
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: m
a
ke mem
b
er_info callb
a
cks
ta
k
e 1 or 0 instea
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Car
p
e
n
t
e
r
db: move type_
s
ize t
o
use raw
S
QL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
an Carpen
t
er
db: move call_imp
l
ie
s
to u
s
e raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpe
n
ter
db: mo
v
e
r
eturn
_
values to use ra
w
SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: delete 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: m
o
v
e functi
o
n_ptr
t
o raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpenter
db: move
r
etu
r
n_states to r
a
w SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpen
t
e
r
db: tool
s
for printing r
a
w SQL
i
n
stead of hum
a
n readab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-08
Dan Carpenter
silence bogus "unrea
c
ha
b
le code" warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carp
e
nter
param_limit: handle functions where th
e
parameter is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan
C
arpente
r
db: tak
e
static vs globa
l
into conside
r
ation wit function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
mat
h
:
h
andle
M
OD operation b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
*delete* bool_i
m
plications:
t
his file
i
s
unused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan
C
a
r
penter
param_(filter|
l
imit|set): a
d
d s
o
m
e comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
buf
_
size: don't cras
h
on
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
D
an C
a
rpente
r
p
arse_call_math: silence "i
n
te
r
nal
b
ug
:
pop_val poppin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Bart Van
A
ssche
Avoid trigg
e
ring
a
division by zer
o
i
n
the o
v
e
rflo
w
.
.
.
commit
|
commitdiff
|
tree
2013-02-06
Dan C
a
rpenter
propagat
e
:
f
a
ll ou
t
from g
e
t_implied_mi
n
() changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
D
an Carpenter
extra: ty
p
e bu
g
handli
n
g em
p
ty
s
tates in r
e
s
e
t_s
t
ruct
_
memb
e
r
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan
Car
p
enter
ranges: don't allow invert
e
d
range
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
D
a
n Carp
e
nter
db: don't g
e
t
prin
t
info i
f
the funct
i
on has over 10
0
00
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-05
Da
n
Carpenter
ma
t
h
: don't
return hig
h
values in g
e
t_fuzzy
_
ma
x
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
D
an
Carpenter
overflow: fix false pos
i
tive allocat
i
n
g a void pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan
Ca
r
pente
r
buf_size: f
i
x bug
c
au
s
ed by ge
t
_im
p
lied_max() returning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan
Car
p
ente
r
db: print less --inf
o
for a few problematic f
u
nction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
m
a
t
h: get_impl
i
e
d
_max()
s
hould be able to
r
e
t
u
r
n
s32max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
D
an
C
arp
e
nter
sval: onl
y
p
rint "s32max" if the valu
e
is actual
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan C
a
rpenter
math: get_
i
mpl
i
ed_m
i
n() should be ab
l
e to
r
et
u
rn
s
32min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
D
an Carpent
e
r
mat
h
: tweak get_fuzzy
_
mat
h
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next