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
ranges: make sval_too_big() more accurate
2017-05-23
Dan Ca
r
p
enter
ra
n
g
e
s: make sval_too_big()
more accur
a
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-23
Dan Carpent
e
r
ker
n
el: ERR_PTR()
basic
a
l
l
y only ret
u
rn
s
negatives
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-23
Dan Carpenter
extra: don't overwrit
e
the implicat
i
on
s
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 Carpenter
type_val:
c
ast assignments to the correct type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
Dan Car
p
enter
helper:
fix g
e
t_m
e
m
b
er_name() handli
n
g
of
u
nions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
Dan Ca
r
p
enter
retu
r
n_to_param: long
to sho
r
t should never ret
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpenter
s
l
i
st: rev
e
rse the
s
l
ist o
r
der in a way that no on
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Da
n
Carpent
e
r
extra: make set_extra
_
mod_help
e
r() void
a
nd
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan
Carpenter
ex
t
ra: make set_e
x
t
r
a_mod()
a v
o
id
f
u
nc
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Da
n
Carpenter
e
x
tra: make set_extra_e
x
pr_mod() a void func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
D
a
n
Carpenter
generic_data
:
fix up
s
ome project
r
elat
e
d
th
i
ngs for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
D
a
n Carpente
r
smdb
.
p
y: fix summary
(
it
w
a
s totally broken be
f
ore)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Dan Carpenter
links, var
_
sym: allocate fewer s
t
at
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Dan Carpenter
modification_hooks: don'
t
sa
v
e s
o
much data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Dan Car
p
enter
return_to
_
param: don't mo
d
i
fy memory on the stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Dan
C
arpenter
extra: handle intege
r
ove
r
flows
bette
r
for "int_foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
build_generi
c
_data: several improvements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
Carpe
n
ter
test_gene
r
ic
.
sh: like
t
est_ker
n
el
.
sh
but for ge
n
eric
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
Carpe
n
ter
g
eneric_data:
rename to m
a
tch build_kern
e
l_data
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n
Carpenter
generic_i
n
fo: all
o
w people
to build a specific directory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
Carpente
r
unreachable: don't c
o
mp
l
ain
about static declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpente
r
i
n
dex_ove
r
flow: s
i
lenc
e
some gl
i
bc false posit
i
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
p
r
oject: create a way to generate smatch_data for a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
core: improve Functi
o
n too hairy calc
u
latio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpe
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
C
arp
e
nter
com
p
ari
s
o
n: fix
some
memory l
e
aks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/bui
l
d_early_index: b
u
ild an
o
ther i
n
dex
o
n para
m
ete
r
_name
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/kernel
.
return_f
i
x
es: a
t
omic_read() ret
u
r
ns the value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
debug
.
c:
a
dd
some new (
n
ot ve
r
y useful
)
fea
t
u
r
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
buf_comparison: fix bu
i
ld a
n
d add make
n
ew code functional
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
free: fi
x
build err
o
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
err_ptr_deref: mak
e
err
_
ptr_min/max
s
tatic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
penter
free:
d
on't complain
w
hen
p
eople do frob(
&
freed_variab
l
e)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
kernel_printf: fix %pG tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
logical
_
ins
t
e
a
d_of_bi
t
wise:
silence
s
ome false pos
i
tive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
unused_ret: make warning mes
s
ages consistent with every
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
u
s
er_da
t
a2: tag all union members as untruste
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n C
a
rpenter
user_dat
a
2: if user
s
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
e
x
tra: use long to
s
h
ort mappings for PARAM
_
LI
M
I
T
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carpe
n
ter
user_data2:
h
a
ndle "if (untrus
t
ed != trusted) {
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
b
uf_comparison: clear
array
<
-> size links bett
e
r
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
buf_comp
a
ri
s
o
n: reco
r
d if we
p
ass an ARRAY_S
I
ZE t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
return_
t
o_param (mappings): map regul
a
r assignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
user
_
data2: h
a
nd
l
e inlines bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Carpenter
mat
h
: pre
f
er real a
b
solutes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpente
r
m
odific
a
tion_hooks: u
s
e long to s
h
ort mappin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Carpenter
r
etu
r
n
_to_param: handle "return get_foo(bar);
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Da
n
Carpenter
expres
s
i
o
n: f
i
x ex
p
r_get_parent_st
m
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpen
t
er
function_hoo
k
s
:
only
a
d
d
c
o
m
p
arisons w
h
e
n
neede
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpente
r
flow: fix some parent transiti
o
n fa
l
lo
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpente
r
flo
w
: se
t
parent
s
tatemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
an C
a
r
penter
core: add expr_g
e
t/s
e
t_parent_s
t
mt() accesso
r
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
flow: cre
a
te an acce
s
sor
m
etho
d
expr_get_parent_expr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: rename s
e
t_par
e
nt_stmt() => s
t
mt
_
set_p
a
rent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow
:
rename set_
p
are
n
t_expr() =
>
expr
_
s
et_
p
arent_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Dan C
a
rpenter
retu
r
n_to_param: Use the DB retur
n
strings like "[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
s
m
db
.
py: tran
s
late mo
r
e parameter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
D
an Carpenter
smdb
.
py: gu
e
ss
t
h
e parame
t
e
r
names ev
e
n
if the fil
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb: d
o
n't cra
s
h
if
t
he
p
aramet
e
r names ar
e
n't
known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpent
e
r
flow:
fix fake env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
balanced:
d
elete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carp
e
n
t
er
flow:
add init_fak
e
_env()
/
end_fake_en
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
D
an Carpen
t
er
stored
_
condi
t
ions:
store as
expr
e
ssion pointers inst
e
ad
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
flow, db: fi
x
how inline function assignments are
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n Carpenter
flow
:
r
emove some bugg
y
unused
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpe
n
ter
flow:
f
ix initi
a
lizatio
n
of n
e
sted structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
an Carpe
n
ter
db: build an index on the pa
r
ameter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
Carpente
r
math: improve
MOD hand
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arpe
n
ter
para
m
eter_names: store para
m
eter names in the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arpent
e
r
smdb
.
py: reformat call_info out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpent
e
r
Makefile: use qui
e
t li
n
k
to
l
i
nk smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states
:
fi
x
han
d
l
i
ng
s
witches in
s
ide conditions
(
fake_cur_
s
tre
e
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
n
t
er
state
s
:
split update_f
a
ke_s
t
ree_with_
m
erged() a
n
d
add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
C
arpenter
type_val: small
t
w
eak for arrays
a
nd complicated lvalues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpenter
extr
a
: handle ind
i
rection
l
i
k
e "p = &foo; *p =
4
2
;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan
C
arpenter
ext
r
a: handl
e
MOD
c
onditions like "if
(a % 4) {" better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan
C
arp
e
nter
m
o
di
f
ic
a
t
ion_ho
o
k
s
: re
m
o
v
e
unused indirect modificati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Da
n
Carpe
n
ter
valid
a
t
i
o
n/skb3: delete some accident
a
l
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n C
a
rpenter
u
s
er
_
data2: don't set parameters to u
s
er_
d
a
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan
C
arpenter
user_data2: handle skb-
>
data math a little
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Car
p
ent
e
r
use
r
_data2: re-work handling of s
k
b->data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
e
r
par
s
e
_
call_math: work around for loop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpe
n
ter
l
e
a
ks: d
o
n't complain
if we
over
w
rite N
U
LL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpenter
f
r
ee: ig
n
ore impossible
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
shift_to
_
z
ero: make the error
message more informativ
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carp
e
nt
e
r
test_bi
t
: add test
_
and_clear_bit
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
smd
b
.
p
y: pri
n
t the
r
eturn_implies value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
db/fi
x
up_kernel
.
s
h
: ig
n
o
r
e
do
_
loop_readv_writev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
extra:
set hard
m
ax if a function is c
a
ll
e
d w
i
t
h
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
extra:
fix hand
l
ing
of
known cond
i
t
io
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
param_lim
i
t: don't s
e
t
some unchanged limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
db: prevent
s
low downs
spl
i
t
ting
retu
r
ns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpent
e
r
db:
s
et parse_e
r
ror if the SQ
L
fails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpen
t
e
r
param_se
t
:
hand
l
e if the parent was set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Da
n
Carpenter
b
u
f_size
:
fix type_by
t
e
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
d
b:
filter pointer call
s
by function
signatures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpenter
implied:
r
eve
r
t "tiny speed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
assign
_
vs_compare: warn ab
o
ut "if (
f
oo = &
b
ar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
type: fix
t
yp
e
_bits() for a
r
rays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next