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: remove unused get_mtag_offset()
2019-03-18
Dan Carpente
r
mtag: remove
un
u
sed get_m
t
ag
_
o
f
f
set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
C
a
rpenter
m
a
th: rem
o
v
e the get_implied_value_low_overhead()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
an Carpenter
mtag_data: re-write in t
e
rms of mtag/offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpen
t
e
r
mtag_da
t
a
: improve looki
n
g
up the mtag
_
data for "f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Ca
r
p
enter
mtag: remove dupli
c
ative code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
arpenter
mtag: pus
h
some mtag seed cod
e
(but don't enab
l
e it)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: h
a
n
dle fun
c
tion pointers cor
r
e
c
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
an
Carp
e
nter
capped
:
stop marking ever
y
thi
n
g as capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
capped: pointers can't be capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpe
n
ter
db: mark some states as ign
o
re
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan
C
a
rpenter
mtag:
fix handling of arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n Carpenter
cont
a
iner_
o
f: fix t
h
e valid
a
tion te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
implied
:
remo
v
e ski
p
_imp
l
ications aga
i
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
Car
p
enter
imp
l
ied:
ma
k
e a time
o
ut use usec i
n
stead o
f
seconds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan
C
a
r
penter
i
n
t
eger_overflow:
s
pl
i
t
s
ome integer ove
r
flow handl
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan C
a
rpenter
addres
s
: Use r
l
_bi
n
o
p() to calculate the offset into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan
C
arpenter
addre
s
s
:
handle anonymou
s
uni
o
ns be
t
te
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n Carpenter
address: calcul
a
t
e
bit t
y
pes offsets bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
math: handle
__builtin_offsetof() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpe
n
t
e
r
extra: handle un
m
atched
gl
o
b
a
l
variabl
e
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpente
r
extra: don't
store HARD_M
A
X for
kn
o
wn p
a
ram
e
t
er
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Dan Carpenter
param_used: don't save bogus data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Dan Ca
r
penter
contai
n
er_of: re-write container_of
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan
Car
p
enter
helper
:
change
how der
e
fs ar
e
displayed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Da
n
C
arpe
n
ter
math: allow so
m
e
r
ecu
r
sion in h
a
ndle_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpe
n
t
er
c
ont
a
iner_of:
c
ompare the symbols first of a
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
c
ontainer_of
:
export the get_container_name() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
D
a
n Carpenter
m
tag: update the mta
g
w
h
en it's set using a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan
Carpenter
math: handle array ad
d
re
s
ses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan
C
arpenter
address: uni
f
y
t
h
e
code
p
aths a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
D
a
n Car
p
enter
address:
r
ename a
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpente
r
free_strict: i
g
n
ore untracked parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carp
e
n
t
e
r
db: do
n
't print com
p
arison
s
whe
n
a
fu
n
c
t
ion returns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Car
p
enter
capped: h
a
ndle assignme
n
ts in the compariso
n
bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Da
n
Carpenter
extr
a
:
h
andle PA
R
AM_ADD
/
S
ET
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
i
m
p
l
ied: rem
o
ve an
u
nu
s
ed
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
type
:
debugging:
d
i
splay enum types in type_to_s
t
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carpen
t
er
math:
d
on't bother ca
c
hing
EXPR_VALUE values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
math: fix
RL
_
A
B
SOLUTE fo
r
unknowns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan
C
arpent
e
r
slist: don't all
o
cate so many duplic
a
te ->possible
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpent
e
r
mtag: prevent a
cras
h
ing
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpent
e
r
ex
t
r
a
: fix a b
u
g
h
a
ndling decremen
t
ing for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
D
a
n C
a
rpenter
extra: fix some typ
e
b
u
gs handling
l
o
o
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
return_cast: fix
t
his che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Da
n
Carpenter
implied:
fix a
b
ug handling p
a
rtial implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpente
r
implied:
f
i
x a
bug
h
andli
n
g
part
i
al implicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carp
e
nter
impl
i
ed: fix a debug
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
D
an
C
arp
e
nt
e
r
ke
r
nel: ign
o
re l
o
ckde
p
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan
Carpenter
stat
e
s: prevent
so
m
e
no name
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
D
a
n Carp
e
n
t
er
slist: tweak
h
o
w OOM
i
s
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan
Ca
r
p
e
n
t
er
m
a
th: always
try look up if it'
s
a fixe
d
co
n
stan
t
value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
D
a
n
Carpenter
implied: add ->skip_implications bac
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Car
p
enter
math: introduce g
e
t
_rl_
h
elper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carp
e
nter
math: renam
e
get_rl_helper()
to
g
et_rl_i
n
te
r
nal()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: remo
v
e
some
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
math: fix
a
bug
getti
n
g
t
he "e
x
act" address
of a string
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpen
t
er
implied: clean up
filter_stack
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
im
p
lied:
rename "i
n
complete" to "bail"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpent
e
r
implied
:
d
e
lete ->s
k
ip_impl
i
c
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
implied: delete ->nr_children
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpent
e
r
i
mpli
e
d
: very messy r
e
-
write of h
o
w
to bail
i
f i
m
plications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
p
recedence: add
a w
a
rning for
"
foo & ba
r
> baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
a
r
penter
ker
n
el_us
e
r_data: fix
a ty
p
e issue in
s
et
_
points_to_user_d
a
ta
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpente
r
k
ernel_user_data
:
handle fun
c
tions that return a po
i
nter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carp
e
nt
e
r
kernel_user_data: handle struct assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
C
a
r
penter
validation: update tests to refle
c
t
code ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an
Carp
e
n
t
er
validation/sm_se
l
e
c
t5
.
c
:
u
pdate
validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
math:
fix
a
type i
s
sue with pointer s
u
btractions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
db
:
fix
passing caller info for
f
rob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Car
p
enter
parse_call_math: fix inline validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
e
r
function_hooks:
fix a type issue i
n
retur
n
_
i
mplies_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: re
m
ov
e
debu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
buf_siz
e
: fix handling of en
d
of
s
truct arr
a
y
s
that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
locking: make
r
e
t
_non_
z
ero range from 1-
s
3
2max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an C
a
rpenter
lo
c
king: add some mor
e
locks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
smatch: add some st
r
ing literals to snpri
n
tf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
spectre:
check for second halves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
u
s
er_data: fix a crashing
b
u
g
o
n invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Ca
r
penter
zero_to_err_ptr: fix fall out from unsigned point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
arpenter
user_
d
at
a
:
h
andle
capped da
t
a
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
d
b/kernel
.
return_fi
x
e
s
: fix __soc
k
_cre
a
te() and
w
ait
_
for_com
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
db/fixup_kernel
.
sh
:
ig
n
ore RIO_BAD_SIZE returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
en
t
er
smatch
_
data/kernel: add
s
o
me more ignor
e
d stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
s
m
at
c
h
_
data/kernel
.
no_re
t
urn_funcs
.
add Add YY_FATAL_E
R
ROR
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
db/
d
elete_too_common_f
n
_
p
tr
.
sh:
d
elete
s
o
me
common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
mem_tracker: us
e
/proc/self/st
a
tm for
o
ut_of_memo
r
y()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
i
m
aginary_abs
o
lu
t
e: ignore l
o
ops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
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
at
c
h: alway
s
print the
time: and mem:
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
e
n
ter
slist: do a small speedup
i
n
cmp_p
o
s
si
b
le_
s
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
slist: re
v
e
r
s
e the orde
r
of th
e
strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carp
e
nter
addres
s
:
im
p
rov
e
get_address() for struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
address: many arr
a
y addresses can be
mark
e
d as valid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an
Carp
e
nter
addr
e
ss: ge
t
_
member_
o
ffset_from_deref()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math
:
move
more stuff t
o
get_rl_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Car
p
ent
e
r
string_list: ma
k
e ins
e
rt_string() r
e
turn false if it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
a
rpenter
string_
l
ist: call strcm
p
(
)
once
i
n
stead of t
w
ice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan
Carpenter
math: don't allocate the range_list
if
not
necessary
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Car
p
e
n
ter
math: rename
_g
e
t_rl(
)
=> get_rl_helper(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
i
mpl
i
ed: bail earlier o
n
parsing
param
e
ter limit
a
t
io
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next