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
mtag: delete totally bogus get_deref_mtag()
2019-03-18
D
an Carpente
r
m
t
a
g: delete totally b
o
gu
s
g
e
t_deref_
m
ta
g
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Car
p
enter
mtag: delete uncalled remove_de
r
e
ference() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
Carpenter
mtag: t
w
eak
h
ow
get_
a
rray_mt
a
g_offset(
)
w
o
rks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
ar
p
ent
e
r
mtag:
d
e
l
ete uncalled
g
e
t_mtag_addr_
s
v
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mta
g
: delete some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
a
n Carpenter
mtag:
remove un
u
sed get_mtag_
o
ffset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan C
a
rpenter
math: rem
o
v
e
the
g
et_i
m
plied_
v
alue_low_overhead
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan C
a
rpenter
mtag_d
a
ta: re-write in terms of mtag
/
offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpente
r
mtag_dat
a
:
im
p
ro
v
e
l
o
oking u
p
the
mtag_dat
a
for "foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
Carpenter
mt
a
g:
r
emove d
u
plicative code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: push som
e
mtag seed co
d
e
(
bu
t
don't enable it)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpe
n
ter
mtag:
h
an
d
le function pointers
c
orrec
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Ca
r
penter
capped:
stop marking
everyt
h
ing as
capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carp
e
n
te
r
cap
p
ed: pointer
s
can'
t
be capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpenter
db:
m
a
r
k so
m
e states
a
s
i
g
nore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
mtag
:
f
i
x handli
n
g of arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
cont
a
i
n
er_of
:
fix the v
a
l
i
dation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Ca
r
penter
im
p
lied:
remo
v
e s
k
i
p_impl
i
cations again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpen
t
er
implied: make
a
timeout
u
se use
c
instead of
secon
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
in
t
eger_overflow: split
s
ome in
t
eger
overflow han
d
ling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
address: Use
rl_binop() to calculate the
o
f
fset into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan
C
a
r
p
e
n
te
r
a
ddre
s
s: handle anonymous unions better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
Carpenter
address: ca
l
culate
b
i
t types offsets better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Car
p
enter
math: h
a
n
dle __builtin_
o
ffsetof() bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpent
e
r
extra: handle un
m
atched global varia
b
l
e
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpen
t
er
extra: don't st
o
r
e HARD_MAX f
o
r kn
o
wn parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Dan Car
p
enter
p
aram
_
used:
d
on't
s
a
v
e
bogus data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Dan Carpenter
c
o
ntaine
r
_
o
f: re
-
w
r
ite conta
i
ne
r
_of()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpen
t
er
helper: chan
g
e
h
o
w derefs are displayed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Da
n
Carpent
e
r
math: allow some recursion in handle_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpen
t
er
containe
r
_o
f
: compare the symbols first of all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan C
a
rpenter
conta
i
n
e
r_o
f
: export th
e
get_container_name() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
D
a
n Carpenter
mtag: update
the mtag
when i
t
's s
e
t u
s
ing
a
po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
D
a
n Carpenter
m
a
th: ha
n
dle array
a
d
d
r
esses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan
C
arpe
n
ter
addr
e
ss
:
unify the code p
a
th
s
a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
D
an
C
a
r
p
enter
address: rename a var
i
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Ca
r
pente
r
free_strict: ignore untra
c
ked parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpen
t
er
db:
d
on't
p
rint comparisons
when a function retu
r
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
c
apped:
handle assignmen
t
s in
t
h
e comparison better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan
C
arp
e
nter
ex
t
ra:
h
a
ndle PARAM_
A
DD
/
SE
T
be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n
Carp
e
nter
implied
:
re
m
o
v
e an unused
v
a
riab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
type: debugging
:
d
i
sp
l
ay e
n
um types in type_to_
s
tr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carp
e
nter
m
a
th:
d
on't
bother cachin
g
EXPR_VALUE va
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carpenter
math: f
i
x RL_
A
BSOLUTE for u
n
known
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Car
p
enter
slist:
don't a
l
lo
c
ate so m
a
ny duplica
t
e ->possible
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan
Carpenter
m
t
ag: prev
e
nt a
c
ra
s
hing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan
Carp
e
nter
extr
a
: fix a b
u
g h
a
ndlin
g
decrementing for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan Car
p
e
n
ter
extra:
fix som
e
t
ype bugs handling l
o
ops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Da
n
Carpenter
return_cast: fix
t
his c
h
e
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
D
a
n Car
p
enter
implied:
fix a bug handlin
g
par
t
ial implicat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
D
a
n C
a
r
p
enter
i
m
p
l
ied: fix a bug handlin
g
parti
a
l imp
l
i
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpente
r
impli
e
d:
f
i
x a de
b
ug message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpenter
k
e
r
nel:
i
gnore l
o
ckdep i
n
f
ormat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpente
r
st
a
tes: prev
e
nt
s
ome no nam
e
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
D
a
n Carpenter
slis
t
:
tweak how
O
OM is han
d
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpenter
math: always t
r
y look up i
f
it's
a
fixed c
o
nstant value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpen
t
e
r
implied: add
-
>
skip_implic
a
tions bac
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
math: introduce get_rl_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
m
a
th: rename
g
et_rl_helper(
)
to get_rl_internal()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Ca
r
p
e
n
t
e
r
math: remove some debug
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
mat
h
: fix a
b
u
g
g
e
t
ting the "exa
c
t
" address
o
f a
string
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
im
p
l
ied
:
cle
a
n up filter_stack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpe
n
ter
implied:
r
e
name "inc
o
mplete" to
"
b
ail
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
implied: de
l
ete ->ski
p
_imp
l
ications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nte
r
implie
d
: delete ->nr_chil
d
ren
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
e
r
implied: very
m
essy re-write of how to bail if implic
a
t
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
a
r
p
e
nter
precede
n
ce: add a warni
n
g
f
o
r "foo
&
bar >
b
az"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
ker
n
el_u
s
e
r
_
d
ata: fix a ty
p
e issue i
n
set_points_to_user_da
t
a
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
kernel_
u
ser
_
data: h
a
n
d
l
e
fu
n
ctions t
h
at return
a
poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
kernel_user_da
t
a
: hand
l
e struct assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
valid
a
tion: update tests
t
o
reflect code changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
validation/sm_
s
elect
5
.
c
: update va
l
idation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
m
a
th: fix a type i
s
sue wi
t
h pointer subtra
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
db: fi
x
passing caller inf
o
for fr
o
b
(
&fo
o
);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Car
p
enter
parse_
c
a
ll_math
:
f
i
x inline validati
o
n tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
f
unc
t
ion_
h
ooks:
f
ix
a
ty
p
e issue in return_implies_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math:
r
emove
d
eb
u
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carpenter
buf
_
size: fix handlin
g
of
e
nd o
f
struct arrays
t
hat
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpenter
l
o
cki
n
g: mak
e
ret_non_z
e
ro r
a
nge
from 1-
s
32max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Ca
r
p
e
nter
l
o
c
k
ing: add some more
l
o
cks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
smatch: a
d
d some
s
tring li
t
e
r
als to snprintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
a
rpent
e
r
s
pec
t
re: check for second ha
l
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
r
penter
user_data:
f
ix a crash
i
ng bug on invalid co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
zer
o
_to_err_ptr: fix fall out from un
s
igned poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
user_d
a
ta: handl
e
cap
p
e
d
d
a
ta better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
d
b
/kernel
.
r
eturn_fixes: fi
x
__sock_c
r
eate() and wait_for_c
o
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
db/fixup
_
kernel
.
s
h
:
ignore RI
O
_
BA
D
_SIZE returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an
Ca
r
pente
r
sm
a
tch_d
a
ta/kernel:
add some mor
e
ign
o
re
d
s
t
u
ff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpen
t
er
sma
t
ch_d
a
ta/kerne
l
.
no
_
return_funcs
.
add Add Y
Y
_
FATAL_ERROR
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
db
/
de
l
e
t
e_too_comm
o
n_fn_pt
r
.
sh: d
e
let
e
s
ome common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
mem_
t
racker: use /proc/se
l
f/stat
m
fo
r
out_of_memor
y
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Car
p
ente
r
i
maginary
_
absolute: ignore loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
flow: fix valid_p
t
r_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
s
m
atch
:
a
l
ways print the time:
and mem:
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
s
list: do a sm
a
ll speedup in cmp_possi
b
le_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pent
e
r
slist: r
e
verse
t
he o
r
d
e
r of the st
r
ees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an
Carpenter
addre
s
s:
i
mprove get_address() for stru
c
t members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carpenter
address:
many
a
rra
y
addre
s
se
s
can
b
e
m
a
r
ked as
v
alid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
addr
e
ss: get_member_of
f
set_f
r
om_deref(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
p
enter
math
:
m
o
ve m
o
r
e
stuf
f
to get_rl_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next