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: tweak get_mtag_sval()
2019-03-18
D
a
n
Carpenter
mtag: twe
a
k get_
m
t
ag_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan C
a
r
pe
n
ter
mtag: delete to
t
ally
b
ogus get_deref_
m
t
a
g()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
an Carpenter
mtag: de
l
ete un
c
alled r
e
m
ove_dereferenc
e
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag
:
tweak how
ge
t
_array_mtag_of
f
set() w
o
r
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
an Carpenter
mtag:
d
elete uncalled get_mta
g
_addr_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Ca
r
penter
mt
a
g: delete
some
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpenter
mtag: re
m
o
ve
unused get_mt
a
g_offs
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
math: re
m
ove the
get_implied_value_low_ov
e
rhea
d
(
) functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
an Ca
r
penter
mtag_data
:
re-wr
i
te in terms of mtag/offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Ca
r
penter
mtag_
d
ata: improve looking up
t
he mtag_da
t
a
for "foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mta
g
: remov
e
duplicative code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: push
some mtag seed
c
ode (bu
t
don't enable it)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
an Carpenter
mtag:
h
andle function poin
t
e
rs
c
orrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
a
n Ca
r
penter
ca
p
pe
d
:
st
o
p marki
n
g everything as c
a
pped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Ca
r
penter
c
a
p
p
ed: pointers c
a
n't be ca
p
pe
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
a
n Ca
r
p
ente
r
db: mark some states as ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
m
tag: fix
h
a
ndling of arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
cont
a
iner_of: fix the
validatio
n
test
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
C
a
rpent
e
r
im
p
lied: remove skip_i
m
p
l
i
c
ation
s
a
g
ain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
implied: make a timeout
use use
c
instead of seconds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
in
t
eger_ove
r
flow: split some
i
nteg
e
r overflow h
a
ndling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
an
C
arpenter
ad
d
re
s
s:
Use rl_b
i
nop() to calculate the o
f
fset into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n Carpe
n
t
er
a
d
dress: handle anonymou
s
uni
o
ns better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan
Carpenter
addre
s
s: calcul
a
te bit
t
ypes offse
t
s bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan C
a
rpenter
mat
h
:
handle
__builtin_of
f
setof() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan
Carpenter
extra: handle unmatched
g
l
oba
l
varia
b
l
e
s b
e
tt
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
extra: don'
t
sto
r
e HA
R
D
_MAX for known p
a
rameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Dan
C
arpenter
pa
r
am_
u
se
d
: don't save bogus data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Da
n
Carpenter
container_of: re-w
r
ite
container_of()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan C
a
rpenter
h
elper: change how derefs are displa
y
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpent
e
r
m
ath: a
l
low so
m
e recursion
i
n
h
andle_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpe
n
ter
c
on
t
ain
e
r_of:
co
m
pare the symbols first of all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Ca
r
p
e
nte
r
contai
n
e
r
_of: export the get_
c
onta
i
ner_na
m
e(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpent
e
r
m
t
a
g
: u
p
date the
m
t
ag when
i
t
's set us
i
ng a
pointe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpe
n
t
e
r
math: handle array addre
s
ses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carp
e
nte
r
a
dd
r
ess: unify the code
p
aths
a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carpenter
address: rename a variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carp
e
nte
r
free_strict: i
g
nore untracked parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n
Carpente
r
db: don't print comparisons when
a
f
u
nction retur
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
capped: hand
l
e ass
i
g
n
ments
in t
h
e comp
a
ris
o
n bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n
Carpent
e
r
e
xt
r
a: handle PA
R
AM_ADD/SET b
e
tte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Da
n
Carp
e
nter
impli
e
d: r
e
move an unuse
d
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carpent
e
r
type:
d
ebugging: display enum types i
n
type_to_
s
t
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
an C
a
rpenter
math
:
don't bot
h
e
r
c
a
chi
n
g EXPR_VALUE va
l
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Ca
r
penter
math: fix RL_ABS
O
LU
T
E
for unkno
w
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan C
a
r
p
enter
slist: d
o
n't allocate so
many duplicate ->possi
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n
Carpen
t
er
mtag: pr
e
vent
a cr
a
shing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpen
t
er
extra: fix a bug handling decrementing for l
o
ops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan
C
arpenter
extra: fix some
typ
e
bugs handling loo
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan C
a
rpe
n
t
er
retu
r
n_cast: fix this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
im
p
lie
d
:
fix a bug handling partial implication
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan
Carpenter
implied: fix a bug
han
d
ling parti
a
l implication
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Ca
r
penter
implied: fix
a
debug mess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan
C
a
rpente
r
k
e
r
n
e
l
:
ignor
e
l
o
c
k
dep in
f
ormatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Car
p
e
n
ter
st
a
tes: prevent so
m
e no nam
e
st
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Car
p
enter
slist: tweak how O
O
M is h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan
Ca
r
pe
n
ter
math: al
w
ays try look up if it's a fix
e
d constant value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpenter
i
m
plied: add ->sk
i
p_im
p
licati
o
ns ba
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
m
ath: introduc
e
g
e
t_rl_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
mat
h
: rename g
e
t_rl_helper(
)
t
o
get_rl_i
n
terna
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
math:
remove so
m
e
de
b
u
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pen
t
er
math: fix a b
u
g getti
n
g the "exact" a
d
dress of a
stri
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
implied:
clea
n
u
p filter_s
t
ack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpen
t
er
implied:
rename "incomplete" t
o
"bail"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
i
mplied:
d
elete -
>
skip_i
m
p
lica
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
implied:
d
ele
t
e
-
>nr_children
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
t
er
i
m
plied: very m
e
s
sy re-w
r
ite
o
f how to bail if imp
l
ications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
precedence: add a warning for "foo & ba
r
>
b
az"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
kernel_
u
ser_d
a
ta:
f
ix a type iss
u
e
in set_
p
oints_to_u
s
e
r_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
kernel_user_data: handle func
t
ions that
r
e
t
urn a point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
e
r
ke
r
ne
l
_user_data:
handle struct assignm
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
val
i
d
ation:
u
p
d
a
t
e tests to reflec
t
c
ode chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
validation/sm_select5
.
c
:
update valid
a
tion test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
ma
t
h:
f
ix
a type is
s
u
e
with pointer
subtractions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
en
t
er
db: f
i
x pas
s
in
g
caller info for frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
t
e
r
parse_cal
l
_math: fix inline vali
d
ation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
r
p
enter
functio
n
_hooks:
f
ix a type issue in
return_
i
m
p
lie
s
_
stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: remove d
e
bug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
buf_size: fix ha
n
dling of end of st
r
uc
t
arrays that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
locking:
m
ake ret_non_zero
r
ange fr
o
m 1-s32max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
lo
c
king:
add some more loc
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
sma
t
c
h:
a
dd some string literals
t
o snprintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
spectre: ch
e
ck for second halv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
user_data:
f
i
x a crashing bug on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
zero_to_er
r
_
ptr: fi
x
f
a
ll ou
t
f
rom
unsig
n
ed poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
user_data:
handle capped d
a
ta better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpe
n
ter
db
/
k
e
r
n
el
.
r
e
turn_fixes
:
fix __sock
_
create()
a
nd
wait_for_com
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Car
p
enter
db/fixu
p
_kernel
.
sh: ignore RIO_BAD_SIZE returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
smatch
_
data/ke
r
nel:
a
d
d
some more ignored stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
s
m
a
t
ch_data/kernel
.
no_return_funcs
.
add Add
YY_FATAL_ERROR
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
db/delete_too_common_fn_pt
r
.
sh:
d
e
lete some com
m
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n C
a
r
penter
me
m
_tracker: use /proc/
s
elf/st
a
tm
for out
_
of_memory()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
imaginary_absolute: ignore loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
flow: fix valid_ptr_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
smatch: always print the time: a
n
d mem:
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carpenter
s
li
s
t: do a small
speedup in cmp_possi
b
l
e
_
s
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
slist:
reverse
t
he order
o
f
t
he strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
addr
e
ss: improve get
_
a
d
d
r
es
s
(
)
for str
u
ct me
m
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
addres
s
: many
array add
r
e
s
se
s
can be marked as vali
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
addre
s
s
: get_mem
b
e
r
_offs
e
t
_fro
m
_deref()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next