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
type_val: cast assignments to the correct type
2017-05-18
Da
n
Carpenter
type_v
a
l
: ca
s
t
ass
i
gnments to the cor
r
ect type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
D
a
n
C
a
rpenter
helper: fi
x
get_m
e
mber_name(
)
handling of u
n
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
D
a
n Carpenter
return
_
to_
p
ara
m
:
long to short sho
u
ld ne
v
e
r
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpenter
slis
t
: reverse the sl
i
st
order in a
w
a
y
t
h
at no one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Da
n
C
arpenter
extra: make set_extr
a
_mod_helper() vo
i
d and static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
D
a
n Carpenter
e
x
tra: m
a
ke set_extra_mod
(
) a void funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpen
t
er
extra:
m
ake
set_extra_expr_mod(
)
a void
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpente
r
gene
r
ic_data: fix up some p
r
oje
c
t rel
a
ted things for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpen
t
er
smdb
.
p
y: fix summ
a
r
y
(it was totally broken
b
ef
o
re)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Dan
Carpenter
l
inks, var_sym: allocate
fewer states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Dan Ca
r
penter
m
o
d
ificat
i
on_
h
ooks: don't
save
s
o much data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Dan Carpenter
return_to_param: d
o
n'
t
m
o
d
i
fy me
m
ory
o
n
t
h
e stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Dan
C
a
r
penter
extra: handle inte
g
er overflows better for "int_
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpent
e
r
bu
i
l
d
_ge
n
eric_data:
s
everal improvements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
Carpenter
te
s
t
_
generi
c
.
sh
:
like test_kernel
.
sh but for gene
r
ic
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n Carpe
n
ter
generic_data
:
r
e
na
m
e to match
b
uil
d
_ker
n
el_data
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan C
a
rpente
r
generic_info:
a
l
l
o
w
p
e
ople to build a specific directory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Ca
r
pe
n
ter
u
n
reachable: don't co
m
plain abou
t
stat
i
c decl
a
ration
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
C
a
rpenter
index_o
v
erflow:
silence som
e
glibc false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpen
t
er
project: c
r
eat
e
a way
t
o generate smatch
_
data for a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpe
n
ter
c
ore:
i
mprove Func
t
io
n
too hairy
calculation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
helper: don'
t
crash so much on invalid
c
od
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Ca
r
p
e
nter
comparison: f
i
x some me
m
ory l
e
aks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpente
r
db/build_early_index: bui
l
d anot
h
e
r index on paramete
r
_name
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
r
penter
db/kernel
.
retur
n
_fixes: atomic_read() returns the va
l
ue
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rp
e
nter
debug
.
c: add so
m
e new
(
not very useful) f
e
atures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comparison: fix build
a
nd add make new
code
f
unctional
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
f
r
ee: f
i
x build e
r
r
o
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n C
a
rpente
r
err_pt
r
_deref
:
make err_ptr_min/max static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
free: don't complain when people d
o
fro
b
(
&fre
e
d_va
r
iab
l
e)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
kernel_printf: fi
x
%pG test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpent
e
r
l
ogica
l
_ins
t
ead_of_bitw
i
s
e: s
i
l
e
n
ce s
o
m
e fals
e
pos
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
unused_ret: m
a
k
e warning
m
essages
c
onsistent with everyone
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Car
p
en
t
er
user_
d
ata
2
: tag all union mem
b
ers as untr
u
sted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
use
r
_
data2: if users c
a
n only
s
pecify a
s
ingle value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
extra: use
long to short m
a
ppings for PA
R
AM
_
LIMIT and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpen
t
er
user_data2: handle "if (untruste
d
!= trusted) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpenter
b
uf_c
o
m
p
arison: c
l
ear array
<->
size
l
i
n
ks b
e
tter o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
r
penter
buf_c
o
mparison: recor
d
if we pass an ARRAY_SIZE to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
r
p
enter
return_to
_
pa
r
am
(
mappings): map regular assi
g
nments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
rpenter
user_data2: h
a
nd
l
e
i
nl
i
nes bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
r
p
enter
ma
t
h
: prefer real absolutes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n Carpent
e
r
mod
i
fi
c
a
t
i
on_hooks:
use long t
o
short m
a
ppings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpent
e
r
return_
t
o_param: handle "return ge
t
_foo(ba
r
)
;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
e
x
pression:
f
i
x
e
x
p
r
_
g
et_
p
ar
e
n
t
_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Da
n
Carpenter
fun
c
tion_hooks: only add compari
s
ons when nee
d
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpe
n
ter
flo
w
: fi
x
some p
a
rent transition fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpente
r
f
low: set parent
s
tate
m
e
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpen
t
e
r
core
:
add
e
xpr_ge
t
/s
e
t_parent_st
m
t() accessor functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: create an accessor method e
x
p
r
_get_parent_exp
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
an Carp
e
n
t
e
r
flow: r
e
n
ame set_p
a
re
n
t_
s
tmt() => st
m
t
_set_parent
_
stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
an Car
p
enter
flow
:
rename set_parent_
e
xpr() => e
x
pr_set_
p
arent
_
expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpe
n
ter
return_t
o
_param: Use the DB r
e
turn
s
t
r
i
ngs lik
e
"[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Da
n
Car
p
e
n
t
er
smdb
.
py: translat
e
more
parameter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpen
t
er
smdb
.
py: guess the paramete
r
na
m
es even if the file
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Ca
r
p
enter
smdb: d
o
n't cras
h
if the para
m
e
t
er
n
ames aren't k
n
own
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
D
an Carp
e
nte
r
flow: fix fake
env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
balan
c
ed
:
delete this chec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpente
r
flow: ad
d
init_fake_e
n
v()/end_fake
_
env()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
stored_conditions: store as expres
s
ion
p
ointers
i
nstead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
D
a
n Carpenter
flo
w
, db: fix
h
ow inline functio
n
a
ssignmen
t
s a
r
e handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Ca
r
p
e
n
ter
flow: r
e
move some b
u
gg
y
un
u
s
ed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpen
t
er
flow:
f
ix initialization
of
nested struc
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
db:
b
uild
a
n
index
o
n
t
he parameter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
Carpenter
m
ath: improv
e
MOD handl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
parame
t
e
r_names: store
p
a
rameter nam
e
s in the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carp
e
nter
sm
d
b
.
py: reformat call_inf
o
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpente
r
Ma
k
efil
e
:
u
s
e quie
t
link
t
o
l
i
nk smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states:
fix handling switches i
n
side conditions (fake_c
u
r_
s
tree
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpen
t
er
st
a
t
e
s: split up
d
ate_fa
k
e_stree_with_merged() and add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
t
y
pe_val: smal
l
tweak f
o
r
a
rrays an
d
compli
c
a
t
ed l
v
alues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpen
t
er
extra: handl
e
i
n
dir
e
ction like "p
=
&foo; *p
=
42;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
D
a
n Carpent
e
r
extra: handle MOD condi
t
ions lik
e
"if (a %
4
)
{" better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modifi
c
a
tion
_
hooks: remove unused indirect mo
d
ification
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpen
t
er
v
a
lidat
i
on/skb3:
d
elete s
o
me accidental debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_
d
ata2: don't set parameters to u
s
er_d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Car
p
enter
user_da
t
a2: han
d
le skb->data math a lit
t
le better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Carpenter
user_
d
ata2: re-wo
r
k handling of skb->
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
parse_call_math: work around for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Ca
r
penter
leaks: don't complain if
we overwrite N
U
LL poin
t
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Ca
r
penter
free:
i
gnore impos
s
ible c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
er
shift_to_
z
ero: make
t
he erro
r
message more
informa
t
ive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Ca
r
penter
te
s
t_
b
it
:
add tes
t
_and_c
l
ear_bit(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
e
r
s
m
db
.
py: pr
i
nt the return_
i
mp
l
ies va
l
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
d
b/fi
x
up_kernel
.
s
h
: ignore do_loop_readv_w
r
itev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
e
xtra: se
t
h
a
r
d
max if
a fun
c
tion is c
a
lled w
i
th a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
extra
:
fix handling of known
c
onditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpenter
p
aram
_
limit: don't
s
et
s
ome unchanged lim
i
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
d
b
: prevent slow d
o
wns sp
l
itting re
t
urns
a
part
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: s
e
t par
s
e_
e
rror if th
e
SQL f
a
ils
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpenter
pa
r
am_set:
h
andle if the parent was set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
D
a
n
Carpenter
buf_size:
f
ix type_byt
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
D
an Carpenter
db: filter pointe
r
calls by function
s
ignatures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
implied:
r
e
vert "
t
iny speed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
t
er
assign_vs_c
o
m
p
are: warn
a
bout "if (f
o
o = &
b
ar
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
type: f
i
x
t
ype_bits() f
o
r
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
shift_to_zero: do a small
c
lean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smatch
.
c:
r
e
move a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpente
r
db: split return s
t
ates by
n
ull
v
s non-null parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpe
n
ter
extra: filter PARAM_VALUEs wit
h
both extra an
d
real_absolute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next