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
unreachable: don't complain about static declarations
2017-05-10
Da
n
Carpenter
unreac
h
able: don't complai
n
about static d
e
clarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
index_ov
e
r
f
low: si
l
en
c
e some glibc
f
alse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carp
e
nter
proje
c
t: cre
a
te a
w
ay to generate smatch
_
da
t
a f
o
r a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carp
e
nter
core: improve F
u
n
ction too hair
y
cal
c
ulat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
e
n
ter
helper: don't crash so much on invalid
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
c
o
mpa
r
ison: fix
s
ome me
m
ory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/build_early_index: build anot
h
e
r
index on
p
ar
a
meter
_
name
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/kernel
.
return_f
i
xes:
a
tom
i
c_read
(
)
r
eturns the val
u
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
rpenter
de
b
ug
.
c:
a
dd some new (no
t
very useful) features
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
b
u
f_c
o
mparison: fix build and
add m
a
ke new
c
ode functional
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpente
r
free: fix b
u
ild error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
err_pt
r
_deref: make err_
p
t
r
_min/m
a
x
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
free: don't c
o
mplai
n
when people do fro
b
(
&
freed_variable
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
kernel_
p
ri
n
tf: f
i
x %pG test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpent
e
r
logical_in
s
tead_of
_
bit
w
ise: silence some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
rpenter
u
nused_ret: m
a
k
e w
a
rning message
s
consistent w
i
th every
o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an C
a
rpenter
user_data2: tag all union me
m
ber
s
as untrusted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
u
s
e
r_data2: if
users can on
l
y specify a single value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
e
nter
extr
a
: us
e
lo
n
g to sh
o
rt map
p
ings for PARAM_LIMIT and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
user_data
2
:
handl
e
"if (u
n
tr
u
sted !
=
trusted) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_co
m
paris
o
n: clea
r
arr
a
y <-> size lin
k
s
better on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_compa
r
ison: record if
w
e pass an
ARRAY_SIZE to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpente
r
re
t
u
rn_to_param (mappings): map
regular as
s
ignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
us
e
r_
d
at
a
2: ha
n
dle inlines
be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan
C
arpenter
math: prefer real abs
o
lutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
rpenter
modification_hooks:
us
e
l
o
ng to short m
a
ppings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Ca
r
penter
return_to_param: handle
"
return get
_
foo(b
a
r);"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
expres
s
ion: f
i
x expr
_
get_p
a
rent_stm
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
function_
h
ook
s
: only
a
dd compari
s
ons
w
hen nee
d
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: fix some parent transition fallou
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: set parent stat
e
men
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carp
e
nter
core: add expr_g
e
t/set
_
pa
r
e
nt_stmt() accessor functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n
Ca
r
penter
flow: create
an a
c
cessor method
e
xpr_get
_
parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: re
n
ame set_parent
_
stmt() =
>
stmt
_
set_par
e
nt_
s
tm
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
a
r
penter
fl
o
w: ren
a
me se
t
_parent_exp
r
()
=
>
expr_se
t
_parent_expr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
D
an
C
arpen
t
er
return_to
_
param: Use
t
h
e
DB return stri
n
gs like
"
[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
s
m
d
b
.
py:
t
ransl
a
te more param
e
t
e
r names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carp
e
nter
smdb
.
py: guess the parameter na
m
e
s eve
n
i
f
the file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpen
t
e
r
smdb: don't crash if the
p
a
r
a
meter nam
e
s aren't kn
o
wn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
D
an Carpenter
f
low: fix fake env
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Da
n
Ca
r
p
e
nter
b
a
lanced:
delete this
c
h
ec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Ca
r
p
e
nter
flow
:
add init_fake_e
n
v()/end_fa
k
e_e
n
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
stored_con
d
iti
o
ns:
store as expression point
e
r
s
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Car
p
enter
f
low
,
d
b
: fix how inline functi
o
n assignments are hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
flow: remove some buggy u
n
used code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpente
r
f
low: fix initialization
o
f neste
d
struct
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n
C
arpen
t
er
d
b
: build
a
n index on
t
he parameter names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
Carpenter
math: im
p
rove M
O
D ha
n
d
l
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmit
r
y Monak
h
ov
test
_
kernel
.
s
h: add confi
g
optio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
Makefile: I
n
stall sc
r
ipts to
/usr/shar
e
/smatch
/
smatch_script
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Mona
k
ho
v
Makefil
e
:
make insta
l
l prefix configurable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Ca
r
pe
n
ter
para
m
eter_names: store parameter n
a
mes i
n
the
DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Ca
r
pente
r
smdb
.
py: r
e
for
m
at c
a
ll
_
info output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
an Carp
e
n
ter
Make
f
i
l
e: use qui
e
t lin
k
to l
i
nk smat
c
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
s
t
ate
s
:
f
ix handling switches inside conditions (fake_cur_st
r
e
e)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arpenter
states: spl
i
t update_
f
ake_s
t
ree_
w
ith_merged()
a
nd a
d
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpenter
type_val: sma
l
l tweak for arrays and
c
o
mplicated lv
a
lue
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arpenter
e
x
tra: han
d
l
e indirecti
o
n
l
ik
e
"p = &
f
oo; *p =
4
2;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan
C
a
r
penter
extra: handle MOD conditions lik
e
"if (
a
% 4) {" bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Da
n
Ca
r
p
ente
r
mod
i
ficati
o
n_hooks: r
e
mo
v
e unused
i
ndirect mod
i
fication
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
D
a
n Carpen
t
e
r
va
l
idation/s
k
b3: de
l
ete some accidental
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2: don't se
t
p
arameter
s
t
o
user_da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
an Carpente
r
user_dat
a
2: handle skb-
>
d
a
ta math a
l
i
ttle better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Ca
r
penter
user_data2: re-work handlin
g
of
skb->data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
parse_call_m
a
th:
w
ork
a
round fo
r
loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
leaks: do
n
't com
p
lain
i
f we overwrite NU
L
L pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rp
e
nter
free: ig
n
ore
i
mp
o
ssib
l
e code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
shif
t
_to_zero: mak
e
t
he error mess
a
ge mo
r
e infor
m
ative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
a
r
p
e
nter
test_bit: add test_an
d
_clear
_
b
i
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
smdb
.
py:
p
rint the retur
n
_implies
v
a
lue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
d
b/fixup
_
k
ernel
.
s
h: ignor
e
do_loo
p
_readv
_
writev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
ex
t
ra: set hard m
a
x
if a function is called with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
e
xtra
:
fi
x
hand
l
ing of
known conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
pent
e
r
p
aram_
l
imit: d
o
n't se
t
som
e
unchange
d
limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
ent
e
r
db: prevent slow downs sp
l
it
t
ing retu
r
ns apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
er
db: set parse_er
r
or if the SQL fai
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpent
e
r
pa
r
am_set: handle if the parent wa
s
set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Ca
r
pente
r
b
u
f
_size: fix type_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpente
r
db: filter poi
n
ter
calls by
function signatures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
r
penter
impl
i
ed:
r
e
vert "tiny speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
assign_vs_compare: warn about "if (foo = &bar) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
type: f
i
x type_bi
t
s() for ar
r
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
shif
t
_
t
o_zero: do a
s
m
a
l
l
clea
n
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smatch
.
c: re
m
o
v
e a
b
lank lin
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
db
:
s
plit return states by nul
l
vs non-nu
l
l
parame
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
ter
e
xtra: filte
r
PARAM_VALUEs
with bo
t
h ex
t
ra and real_absol
u
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
enter
math: handle
-foo better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
h
el
p
er
:
i
ntroduce
g
et struct and me
m
ber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
implied: tiny
speed u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpen
t
er
impl
i
ed: small
cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
range
s
: handle bi
t
wise AND operations bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
t
e
r
real_abs
o
lute:
introduce
get_real_absol
u
te_v
a
r_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
a
v
l: add a short cut fo
r
when there are no states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
ty
p
e_val: han
d
l
e |= ty
p
e assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Dan Carpenter
db: rename "
f
unctio
n
_type_i
n
fo" table
t
o
"function_type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
e
n
t
er
us
e
r_d
a
ta2: if
a user
_
data is
equal to
non-user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Ca
r
pen
t
er
pr
e
-
p
rocess: tr
y
find a
n
y include
t
h
a
t
l
ooks like
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
comparis
o
n: remove s
o
me local_debug i
n
formation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
Ca
r
pe
n
ter
db
/
fi
x
u
p
_
k
ernel
.
sh: write to the temporary DB
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
extra:
f
ix type i
s
sue handling ++= and --=
o
p
erat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next