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
extra: handle MOD_ASSIGN better
2013-03-06
Dan Carpenter
ex
t
ra: ha
n
dle MOD_ASSIGN bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
penter
d
b
: don't print infor
m
ation caller
i
nformation for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpente
r
funct
i
on_ptrs
:
track pa
r
ameters as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
r
p
e
nter
function_p
t
rs: separate into its own file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpen
t
er
data: add snprintf to ker
n
e
l
.
sizeo
f
_param
.
remove
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpenter
buf_size: fix a NU
L
L dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan
C
arp
e
nte
r
k
er
n
el:
remove some unneeded code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
D
an Carpenter
buf_size: handle em
p
ty array
s
on the end of struc
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carp
e
n
t
er
buf_size: remove some
d
ead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan
C
arpenter
l
ocal_valu
e
s
:
st
o
re possible values of stat
i
c data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
flow: mo
r
e
i
n
li
n
e f
a
ll ou
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Da
n
C
arpent
e
r
db: export m
e
m
_s
q
l
(
) so checks can use it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
no_return:
anothe
r
problem w
i
th inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan C
a
rpenter
ra
n
ges: fix casting of invalid range lists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpent
e
r
ext
r
a, function_hooks
:
f
i
x
handling of casted function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpente
r
Revert "db: don'
t
create unused tables i
n
the
in-memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n
Carpenter
db: do
n
't use functio
n
pointers
f
o
r caller info on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
enter
d
b
: use "distinct" to avoid duplicate fu
n
ction p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: load
g
lobal
fun
c
tion pointe
r
s into the
d
b proper
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carp
e
nter
db: re
m
ov
e
duplicate
s
t
ruct pointers to functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpen
t
er
d
b
:
f
ix cal
l
_implies for the
in
-
memory
d
a
tab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpe
n
ter
db,
f
u
nc
t
ion_
h
oo
k
s: query the
db after processi
n
g the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
t
er
db: store
th
e
value
o
f
"x" when you ca
l
l frob(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpen
t
e
r
db: pass pointed at values
to called functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
e
nter
db:
reset the in-memory database after
every
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carpenter
db: add so
m
e de
b
ug
s
tatements
for
inserts into
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpente
r
db: use call_id fo
r
the in
-
me
m
ory databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpent
e
r
db
:
add call_
i
d to call_implies, return_s
t
a
t
es an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db:
rename function_
i
d
in t
h
e
caller_info t
a
ble to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db
:
don't creat
e
un
u
sed tabl
e
s
in th
e
in-me
m
ory da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
ter
db: don't pr
i
nt caller info for __builtin
f
u
n
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpente
r
db: use cor
r
ect
var
i
able
i
n mem_sql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
rpenter
extra: improve
unsigne
d
co
m
parisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
C
arpenter
rang
e
s: don
'
t do unneeded allocat
i
ons in cast_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpen
t
e
r
rang
e
s: introduce
rl_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
db: u
s
e in-m
e
mory databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
rpente
r
d
b
: mo
v
e an op
t
ion
_
no_db
c
he
c
k to
ru
n
_sql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
f
low, db: r
e
name should_
i
nline() to in
l
inable
(
) and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
Carpenter
returns: ad
d
a chec
k
for __in
l
ine_
f
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
Carpenter
db
,
f
low:
make
_
_inline_fn a pointer to th
e
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan C
a
rp
e
n
t
e
r
db: SQL for
m
att
i
n
g
bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan C
a
rpenter
db:
s
ave ca
l
ler_info
for inline function prop
e
rly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan
C
a
r
penter
db: silen
c
e a compile warni
n
g on
3
2 bit
(use %z
d
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carp
e
nter
db
:
introduce sql_select_call_
i
mplies(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n Carpen
t
er
db:
o
nly
a
llow f
u
nctions to be s
a
ved to one function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpen
t
e
r
db: int
r
o
du
c
e
s
ql_sel
e
ct_caller_i
n
fo()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
an Ca
r
p
e
nt
e
r
db: in
t
roduce
s
q
l_sel
e
ct_return_v
a
lues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpen
t
er
d
b: in
t
roduce s
q
l_select_re
t
urn_state
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan
Car
p
enter
rang
e
s: fix "trouble
p
a
r
sing emp
t
y"
m
essage
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Ca
r
penter
par
a
m_limit
,
param_filter: s
i
lenc
e
some
d
e
bug ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Da
n
Carpen
t
er
smatch: fi
x
s
m_deb
u
g() 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 inline statements, load stuff into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan
Carpenter
states
:
in
t
r
o
d
uce he
l
per functions to preserve
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
Carp
e
nter
va
l
idation: fix b
o
gus tests so they don't
c
ause segfau
l
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan C
a
rpenter
parse_call
_
math: fix seg
f
ault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Car
p
ente
r
db: mak
e
sql_insert_caller_info(
)
take the call expressi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
Carpenter
db: initial
i
ze
In-M
e
m
ory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Ca
r
penter
db: move db stuf
f
from
s
m
atch_scripts/db
/
to smat
c
h_data/db/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan
C
arpenter
d
b
: everyone must h
a
ve libsqlit
e
3 installed (not optional)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
D
a
n Carpenter
files
:
make open_da
t
a
_
file()
exported
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpent
e
r
flo
w
:
de
l
ete unused
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
helpe
r
: handle
assignments in expr
_
t
o_
s
t
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpe
n
ter
*
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
Da
n
Car
p
e
n
ter
rosenberg: fix cr
a
sh pa
r
sing
dif
f
er
e
nt functions w
i
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
Carpenter
db: move cal
l
er_in
f
o as
c
lose as possible to raw S
Q
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
Carpent
e
r
db: make
member_inf
o
c
a
l
l
b
acks take 1 or
0
i
nstead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpen
t
er
db: move type_size to us
e
raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n Carpenter
d
b
: move
call_implies to use raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: move return
_
valu
e
s to use raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpe
n
t
e
r
db: delete unuse
d
no_side_
e
ffe
c
t
s table
(
for no
w
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan C
a
rpenter
db: move function_pt
r
to raw
S
Q
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n Carpenter
db: m
o
ve r
e
turn_states to raw S
Q
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n Carpenter
db:
t
ools for p
r
inting raw
SQL
i
n
stead of human
readable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-08
Dan
C
a
r
pent
e
r
silence bogus "unreachable code" warni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan Car
p
enter
p
a
ram_l
i
mit: handle fun
c
tions w
h
ere the par
a
meter is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan
Carpenter
db
:
take static vs global in
t
o con
s
ideration wit fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
mat
h
: handle MO
D
operation
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
*
del
e
te*
bool_imp
l
ica
t
ions
:
this
file
i
s unused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan
C
arpenter
param_(
f
ilter|limi
t
|set): add some co
m
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
D
a
n Carp
e
nte
r
buf_si
z
e: don
'
t crash o
n
i
n
v
a
li
d
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
D
a
n Carpenter
p
a
rse_call_ma
t
h: silenc
e
"internal bug: pop_v
a
l
popping
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Bart
V
an As
s
che
Av
o
id trig
g
ering
a divis
i
on b
y
zero in the overflow
.
.
.
commit
|
commitdiff
|
tree
2013-02-06
Dan Car
p
e
n
ter
propagate: fall out f
r
om get_implied_m
i
n() changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
extra: ty
p
e b
u
g
ha
n
dling em
p
t
y st
a
tes
i
n reset
_
s
t
ruct_membe
r
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Da
n
Carp
e
nte
r
ran
g
es
:
don
'
t allow inve
r
ted r
a
n
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
db: don't get print
in
f
o if
the function has over 10000
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-05
Dan Carpenter
m
ath: don't return
hig
h
values in get_fuzzy_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
overflow: fix false
p
ositi
v
e allocating
a
void pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
D
an Carpenter
buf_size:
fix bug caused by g
e
t
_
im
p
lied_max() returning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
db: print l
e
ss -
-
info for a few proble
m
atic functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
D
a
n
Car
p
ente
r
mat
h
: get_implied_ma
x
() should
b
e able
t
o
return s32max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
sval:
only print "s32
m
ax" if t
h
e
value
is actually
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan Car
p
ent
e
r
math: g
e
t_i
m
plied_
m
in() shoul
d
b
e
able to ret
u
rn s32min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
D
an
C
arpenter
math: tweak
g
et_
f
uzzy_math()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
e
xtra, d
b
: handle passing char
s
to parameters which
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-01
Da
n
Carpen
t
er
math: use NOTIMPLIED i
n
stead
o
f HARD_
M
IN in opposite_implied
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpen
t
e
r
mat
h
: set the "undefi
n
ed" flag
o
n er
r
o
r
i
n
handle_mod
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-01
Dan Ca
r
p
ente
r
or_vs
_
an
d
:
h
andl
e
condit
i
ons insi
d
e pa
r
enthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-01
Emil Ta
n
tilov
smat
c
h
:
fix build error
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpenter
t
ype: introduce
is_void_pointer() and is_char
_
pointer()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next