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
flow: cleanup state backup for inline functions
2017-05-23
D
a
n Carpenter
flow: cleanup state backup fo
r
inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan C
a
rpente
r
m
a
t
h
:
twea
k
how impos
s
ible st
a
tes are h
a
ndl
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan Ca
r
pen
t
er
rang
e
s: ma
k
e sval_too
_
big() more ac
c
u
rate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan Carpenter
k
e
rnel: E
R
R_PTR() ba
s
ically only re
t
urns negatives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan Car
p
enter
extra: don't overwrite t
h
e implic
a
t
i
o
ns for useless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-19
Dan Carp
e
nter
db: fix a type issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-18
Dan Ca
r
penter
type_val: cast a
s
signments to the c
o
rr
e
ct typ
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carp
e
nter
helper: fix get_memb
e
r_name
(
) handling
of
u
n
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Car
p
enter
return_to_para
m
:
long to short shoul
d
never re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
D
an
C
a
r
penter
s
li
s
t: reverse t
h
e slis
t
order in a
w
ay
t
h
a
t no one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
extra:
m
ake set_extra_m
o
d_help
e
r() void
and st
a
t
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan
C
arpenter
extra: make set_extra_mod()
a void
f
u
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan
Carpen
t
er
extra
:
make se
t
_
e
xtr
a
_expr_mod() a void funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan
C
arpente
r
generic_data: fix u
p
s
o
m
e project re
l
ated thing
s
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan
C
arp
e
nte
r
smdb
.
py: fix summary (it
w
as to
t
ally brok
e
n before)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
D
an Carpenter
lin
k
s, var_sym: allocat
e
fewer
s
t
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Dan Carpenter
modi
f
ication_hook
s
: don't save so much data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
D
a
n C
a
rpenter
return_to_pa
r
a
m: don'
t
m
odify memory on the stack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan Ca
r
pen
t
er
extra: han
d
le inte
g
er
over
f
lo
w
s bette
r
for "int_fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n
C
ar
p
e
n
ter
build_ge
n
eric_data
:
several
improvement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
test_ge
n
eric
.
s
h
: lik
e
test_kernel
.
sh but for generic
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
ge
n
eric_data: r
e
name to matc
h
bu
i
ld
_
kerne
l
_data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n Carpenter
gener
i
c_info: allow people
to build a specif
i
c
di
r
ectory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpe
n
ter
unreachab
l
e
:
don't co
m
plain about static declaratio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpe
n
ter
i
n
dex_overflow: sil
e
nce some glibc fa
l
se positi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
an Ca
r
penter
project: create a
w
ay to generate smatch_data f
o
r a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan
C
arpen
t
er
c
ore:
i
mprove Func
t
ion
too hairy
calculation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
rpenter
he
l
per: don't cras
h
so
mu
c
h on invalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
comparison: fix some memory le
a
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/build_ea
r
ly_in
d
ex: b
u
il
d
a
n
other
in
d
ex on par
a
meter_name
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an C
a
rpenter
d
b/kernel
.
return_fix
e
s: a
t
omic_re
a
d() returns t
h
e val
u
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n C
a
rpenter
debug
.
c: add
s
ome new
(not very useful) fe
a
tures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpenter
buf_compa
r
ison: fix build
and add make
n
ew c
o
de functional
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Ca
r
pent
e
r
free: fix bui
l
d error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
pen
t
er
e
rr_ptr_deref: make er
r
_ptr_min/ma
x
s
t
at
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
ar
p
enter
fr
e
e: don't co
m
plain when people
d
o frob(&
f
reed_vari
a
ble)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
r
penter
kernel_printf: fix
%
pG test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an
C
arpente
r
logical_instead_
o
f
_b
i
t
wise: silence some
false posit
i
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
unused_ret:
m
ake warning messages consisten
t
with every
o
ne
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
u
s
e
r
_data2: t
a
g all uni
o
n membe
r
s as untr
u
sted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carp
e
nte
r
user_d
a
ta2:
if users can only
specify a single value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
extra: use long to sho
r
t mappings fo
r
PARAM_LIM
I
T and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
penter
user_da
t
a2: h
a
ndle
"if (untrusted != trusted)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
r
p
enter
buf_co
m
p
a
r
i
s
o
n: clear array <
-
>
s
ize
l
i
n
k
s be
t
t
e
r on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
buf_
c
o
mparison: r
e
cord if we pass an ARRAY_SIZE to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
p
enter
r
e
turn_to_param
(
m
a
p
p
i
ngs): map regular ass
i
g
n
ments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpente
r
user_data2
:
handle inlin
e
s bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
D
an
C
a
rpent
e
r
math: prefer
r
e
al absolutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carp
e
nter
m
o
dification_hooks: use long to short map
p
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n C
a
rpenter
return_to_
p
aram: hand
l
e "return
g
e
t_foo
(
ba
r
)
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan C
a
rpe
n
ter
expr
e
ssion: fix expr_get_parent_st
m
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
D
a
n
Car
p
enter
function_hoo
k
s: only add comparisons when ne
e
de
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
f
l
o
w
: fix
s
ome
pa
r
ent
t
ransitio
n
f
a
llout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpent
e
r
flow: set parent
s
tatement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
a
rpenter
cor
e
: add expr_get/set
_
parent_stmt() acc
e
sso
r
f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan C
a
rpe
n
ter
f
l
o
w
:
create an acce
s
s
or metho
d
ex
p
r
_get_
p
are
n
t_exp
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Da
n
Ca
r
pe
n
ter
flow:
r
ename
set_parent_
s
tmt() => st
m
t_set_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan C
a
rpenter
flow
:
r
e
name set_parent
_
expr() => expr_set_
p
ar
e
nt_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpente
r
return_
t
o
_param: Use the DB return st
r
ings
l
i
k
e
"
[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
s
m
d
b
.
py
:
translate more p
a
rameter names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Ca
r
penter
smd
b
.
py
:
g
u
ess the parame
t
er n
a
mes
e
v
e
n if the file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb: don't crash
i
f
the
para
m
e
t
er names
aren
'
t known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpen
t
er
f
l
ow: fix
f
ak
e
env
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
D
an Car
p
e
n
te
r
balanced: delete this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan C
a
rpenter
f
l
o
w
: add init_fake
_
env()/end_fa
k
e_env()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Car
p
enter
s
tored
_
conditions: store as expression p
o
inters instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
D
a
n Carpenter
flow, db
:
fix ho
w
i
nl
i
ne fun
c
tion a
s
s
ignments are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpent
e
r
flow:
r
emove
some bug
g
y un
u
sed code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan C
a
rpente
r
flow: fix initiali
z
ation of
n
ested structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
d
b: build an inde
x
on the parameter names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpe
n
te
r
math:
i
mpro
v
e MOD handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpe
n
ter
parameter_names: store
parame
t
er name
s
in the
D
B
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n
C
a
r
pe
n
t
e
r
smdb
.
py: refor
m
at call_info output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carpen
t
er
Mak
e
file: use quiet link to
l
ink
s
match
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carpenter
states: fix hand
l
ing swit
c
hes inside conditions (
f
ake_cur_stree)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
n
ter
states: split update_fak
e
_stree_with_merged() and add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
C
a
rp
e
nte
r
type_val: small
t
weak for arrays and co
m
plic
a
ted lvalues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
extra
:
handl
e
indirection
l
i
ke "p = &foo; *p = 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpent
e
r
extra: handle MOD conditions like "if (a % 4) {" better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modification_hooks: remove unused indirec
t
modif
i
cation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan Car
p
enter
v
alidation/s
k
b3: delete som
e
accidental de
b
ug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Carpen
t
er
user_data2:
d
on'
t
set parameters to user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Ca
r
p
e
n
te
r
user_data2: ha
n
dle sk
b
->
d
a
t
a math
a
little bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
an Carpente
r
u
ser_
d
ata2:
re-work handling of skb->da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpen
t
er
pa
r
se_ca
l
l
_math
:
work
around f
o
r loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carp
e
nter
leaks:
don'
t
complain if we
overwrite
N
ULL pointe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
free: ignore imp
o
ssible code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Ca
r
penter
s
hift_to_zero
:
make the
e
rro
r
message more in
f
orm
a
ti
v
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
t
e
s
t_bit
:
add
test_and
_
clea
r
_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpe
n
ter
smdb
.
py
:
print the return_implie
s
v
a
l
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
db/fixu
p
_kernel
.
sh: igno
r
e do_loop_
r
eadv_writ
e
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Ca
r
penter
extra: set hard max
if a functio
n
is ca
l
led with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
e
xtra:
f
ix handl
i
ng of known cond
i
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
p
aram_limit: don'
t
s
et som
e
unchanged limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db:
prevent
slow do
w
ns splitting re
t
urn
s
apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carp
e
nte
r
db: set parse_error
if the SQL
fails
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpenter
p
a
r
a
m_set: han
d
le if the pa
r
e
n
t was
set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
buf_si
z
e: f
i
x
ty
p
e_byt
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan
Car
p
enter
db: fil
t
er pointer calls
b
y
fun
c
tion sig
n
atures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Ca
r
p
e
nter
implied:
r
evert "tiny speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next