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_map: use expr_to_mtag_offset()
2019-03-18
Dan Carpenter
mtag_m
a
p: use expr_
t
o_mtag_off
s
et
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
debug: u
s
e
expr_to_mtag_offse
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpenter
m
t
ag: tweak
g
et_mtag
_
sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpenter
mtag:
d
elete to
t
ally bogus get_
d
eref_mt
a
g(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpen
t
er
mtag:
delete uncalled remove_deref
e
rence() fu
n
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
an
C
arpenter
mtag:
tweak how get_array_mtag_offset() wor
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
Carpe
n
t
er
mtag: delet
e
uncal
l
e
d
g
e
t
_mtag_addr_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: delete so
m
e de
a
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Car
p
enter
mtag:
remove u
n
u
s
ed
get_
m
t
a
g_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpe
n
t
er
math: remove th
e
get_
i
m
p
l
ied_value
_
low_overhe
a
d() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag_data:
re-write
i
n t
e
rms o
f
mtag/offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag_data: im
p
rove looking
u
p the mtag
_
data for "foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
an Carpenter
mtag: remove d
u
plicative code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
an Carpent
e
r
mtag: push s
o
me mta
g
s
e
ed code
(but don't enable it)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpenter
mt
a
g:
h
a
n
d
l
e
f
unction
p
ointers
cor
r
e
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
ca
p
ped: stop marking every
t
hing as capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carp
e
nter
capped: pointers c
a
n't
be capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
db: mark some states as ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan
Carpenter
mtag: fix handling of arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan C
a
rpenter
co
n
tain
e
r_of
:
fix the
validation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
implied: remove skip
_
implications
a
gain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
implied:
m
ake a timeo
u
t
u
se use
c
ins
t
ead of seconds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
integer_o
v
erflow: split so
m
e integer o
v
e
rflow han
d
ling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
add
r
ess: Use r
l
_binop() to
c
a
l
culate the offset in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
Carpenter
a
d
dres
s
: handle anonymous unions better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
a
d
d
r
e
s
s: cal
c
ulat
e
bit types o
f
fset
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan C
a
rpenter
math: han
d
le __
b
uil
t
in_offset
o
f() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
C
a
rpente
r
extra:
ha
n
dle un
m
atc
h
ed global var
i
ables better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpen
t
er
extra: d
o
n't store HA
R
D_MAX f
o
r
known parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Da
n
Carpenter
param
_
u
s
ed: don't save bogu
s
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Dan Carpenter
containe
r
_of: re-write c
o
ntainer_of()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Da
n
Carpe
n
ter
helpe
r
:
c
hange h
o
w d
e
refs are displayed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan
Carpenter
math
:
al
l
ow
s
ome re
c
ursion in handle_a
d
dress()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
c
o
ntainer_of: c
o
m
p
are th
e
symbols first of all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Da
n
Car
p
enter
container_o
f
: ex
p
ort the get_container_name() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpe
n
t
er
mtag: update th
e
mtag whe
n
it's set
u
sing a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpente
r
math: handle array addresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carpenter
addres
s
: unif
y
t
h
e
code p
a
t
hs a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Da
n
Carpenter
ad
d
ress: re
n
ame
a
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan C
a
rpent
e
r
free_stri
c
t: i
g
nore untracke
d
param
e
t
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Da
n
Carpenter
db: don'
t
print c
o
mparisons wh
e
n a function re
t
u
rns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
an Ca
r
penter
c
a
pp
e
d
:
handle assign
m
ents in
the
c
o
mparison
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carpent
e
r
extra: handle PA
R
AM_AD
D
/SET better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Ca
r
penter
implied:
r
em
o
v
e
a
n unused
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carpenter
ty
p
e: d
e
bugging: di
s
play
e
num
t
yp
e
s
in type_to_st
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Car
p
enter
m
a
th: do
n
't bother caching
E
XPR_VA
L
UE
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n
C
a
r
p
e
n
ter
math: fix
RL_A
B
S
O
LUTE for unknowns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan
Carpenter
slist: don't allocate so ma
n
y
du
p
licate ->possi
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Ca
r
pe
n
ter
m
t
a
g: p
r
eve
n
t a crashi
n
g
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
D
an Carpenter
extra: fi
x
a bug hand
l
in
g
d
e
cr
e
m
enting fo
r
l
o
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan
Carp
e
nter
extra: fix some type bugs handling loop
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
D
a
n Carpenter
retu
r
n_cast:
f
ix this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Car
p
ente
r
implied: fix a bu
g
ha
n
dling partial impl
i
c
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
imp
l
ied:
f
ix a b
u
g han
d
ling
p
artial
i
m
plication
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Ca
r
penter
implie
d
: fix a debug message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpenter
kernel: ignore lockde
p
infor
m
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpenter
s
t
ates: pr
e
vent
s
o
m
e no name s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan
C
a
rpe
n
t
e
r
slis
t
: tweak how OOM is h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpente
r
math: always try look up if it's a fix
e
d co
n
stant value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Da
n
Carpen
t
er
implied
:
add ->skip_implica
t
ions back
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: introduce get_rl_helpe
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpen
t
er
m
a
th: rename ge
t
_rl_helper() to get
_
rl_internal()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
math: rem
o
ve some
d
ebug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpen
t
er
math: fix a bug g
e
t
t
i
n
g the "exact" address of a st
r
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carp
e
nter
implied
:
clean
u
p filter_st
a
ck()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpente
r
impli
e
d: rename "in
c
o
m
plete" to "ba
i
l"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
t
er
im
p
l
i
e
d: delete ->skip_impl
i
cati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
implied: de
l
ete ->
n
r
_childre
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
implied: very messy re-write o
f
how to ba
i
l i
f
im
p
licat
i
on
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
precedence: add a
w
a
rning for "foo
&
bar > baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
r
penter
ker
n
el_user_dat
a
:
f
i
x a
type issue in
se
t
_
points_to_us
e
r_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
k
er
n
el
_
us
e
r_data: handle function
s
that retur
n
a
poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
kern
e
l_
u
ser
_
data: hand
l
e struct
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
val
i
da
t
ion:
u
p
date te
s
ts to r
e
flect c
o
de ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
vali
d
atio
n
/sm_select
5
.
c: u
p
dat
e
validati
o
n tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Ca
r
pe
n
ter
math: fix a
t
y
p
e
is
s
ue with po
i
nte
r
subtractions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
db:
fix passing caller info
f
or
f
rob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpenter
p
a
r
se_call_math:
fix in
l
i
ne validat
i
on test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
ent
e
r
f
unction_hooks: fix a type is
s
ue
i
n retu
r
n_impl
i
e
s_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
ar
p
enter
math: remove debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
buf_size: f
i
x handling of end
of struc
t
arrays
t
ha
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
lock
i
n
g: mak
e
ret
_
non_zero range from
1-s3
2
m
a
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an C
a
rpente
r
locking: add some mo
r
e
locks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
arpente
r
sm
a
tc
h
: add some
strin
g
lite
r
a
l
s to
snprint
f
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
spec
t
re: c
h
eck for second halves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpente
r
use
r
_data: fix a crashing
b
ug on inv
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
zero_to_e
r
r
_
p
t
r
:
f
i
x
fal
l
out from unsig
n
ed poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
a
rpenter
user_data
:
handle capped data better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpen
t
er
db/kernel
.
retu
r
n_fixes:
f
i
x __sock_create()
a
nd wait_for_com
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
d
b
/
fixup_ker
n
el
.
sh:
i
gnore RIO_B
A
D_S
I
ZE returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
smatch_data/kern
e
l: add some mo
r
e ignored
s
tuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
smatch_dat
a
/
k
ern
e
l
.
n
o_retur
n
_fun
c
s
.
ad
d
Add Y
Y
_
F
ATA
L
_ER
R
OR
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carp
e
nter
db
/
delete_too_comm
o
n
_
fn
_
p
tr
.
s
h: d
e
let
e
s
om
e
common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
C
arpenter
mem_tracker: use /proc/self/st
a
tm for ou
t
_
of_memory()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
ima
g
inary
_
absolute: ig
n
ore
l
oop
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
flow: fix v
a
li
d
_ptr_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
C
ar
p
e
nte
r
smatch: al
w
ays print th
e
time: and mem:
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
arpenter
slist: do a small
s
peedup in cmp_p
o
ssible_sm
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
a
rpenter
s
l
i
st: reverse the order of t
h
e st
r
ees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
address: im
p
ro
v
e
g
et_address() fo
r
str
u
ct mem
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next