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_data: re-write in terms of mtag/offset
2019-03-18
Dan C
a
rp
e
nter
mtag_data: re-wr
i
te in terms of
mt
a
g/offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag_dat
a
:
improve looking
up the mtag_data for "foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
a
rpenter
mtag: remove dupl
i
ca
t
i
v
e
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpen
t
er
mtag: push some mtag seed cod
e
(but
d
on't enable it)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
a
rpenter
mtag: handle function pointers c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpente
r
c
a
pped:
st
o
p marki
n
g
ev
e
ry
t
hing a
s
ca
p
ped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpent
e
r
capped:
pointers can't be capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
d
b
:
m
ark
s
ome st
a
tes a
s
ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan
C
arpenter
mtag: f
i
x
handling of arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
container_of:
f
ix
t
he
validati
o
n te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n Carpenter
implied:
remo
v
e skip_impli
c
a
t
i
o
ns
a
gain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Ca
r
pe
n
t
er
im
p
lie
d
: make a timeout use usec instead of seconds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n
Carpenter
integer_ov
e
rflow: sp
l
it some integer overflow handling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
address
:
Use r
l
_bi
n
op() to ca
l
c
u
late the offset into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
a
ddr
e
ss: handle anon
y
m
o
us unions better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
Carpenter
address: calcul
a
te
bit ty
p
e
s
offsets b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
math: handle __builtin_offsetof()
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
an Carpenter
extra: handle unma
t
ched glo
b
al
v
ar
i
a
b
les bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
Carpent
e
r
extra: don't store HARD_MAX for known
parame
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Dan Car
p
enter
param_use
d
: don't save bogus data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Dan Carpenter
container_of:
r
e-write
c
ontainer
_
of()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpe
n
ter
helper
:
chang
e
how derefs are
d
isplayed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Da
n
Car
p
ent
e
r
math: a
l
l
ow some recursion in handle_a
d
dress()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan
C
arp
e
nter
c
ontaine
r
_of:
c
ompare
t
he symbols fi
r
st of
al
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
containe
r
_of: export
t
h
e get_contain
e
r_name() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpente
r
mtag:
update th
e
mtag when it
'
s set us
i
ng a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
D
a
n Carpenter
m
ath:
h
andle
a
r
ray a
d
d
r
esses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carpent
e
r
addres
s
: uni
f
y the
code paths a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carpent
e
r
ad
d
ress:
r
ena
m
e a variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carpente
r
f
r
ee_st
r
ict: i
g
nore untracked parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Da
n
Carpenter
db:
d
on
'
t print
compar
i
so
n
s when a f
u
nction returns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
capped: h
a
ndl
e
assignmen
t
s in the comparison better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carpent
e
r
extra:
h
andle PARAM_ADD/SET better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
an C
a
rpente
r
im
p
lied: remove an unused variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
t
y
pe: de
b
ugging:
displ
a
y en
u
m
typ
e
s in
t
ype_
t
o_s
t
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
an Car
p
en
t
er
math: don't
bother caching EXPR_VALUE values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carpenter
math: fix RL_ABSOL
U
TE for unkno
w
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpe
n
ter
sli
s
t: don't allocate s
o
many
d
u
plicate
->possible
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan C
a
rpenter
mtag: p
r
event a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpenter
e
x
t
ra: f
i
x
a bug
handling decremen
t
i
n
g f
o
r loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpente
r
ext
r
a
:
fix some type
bugs handling loop
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
ret
u
rn_ca
s
t: fix this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
implied
:
f
i
x a bug handling partial
i
mp
l
ications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan
C
arpenter
implied:
f
i
x a bug
h
a
n
d
ling par
t
ial implica
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
i
mplied: fix a deb
u
g
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carp
e
nter
kernel: ign
o
re l
o
ckdep in
f
o
r
m
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Da
n
Car
p
enter
states:
prevent
some no nam
e
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Ca
r
penter
s
list
:
tweak how OOM
i
s
h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpenter
ma
t
h: always
try look up if it'
s
a fixe
d
constant value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpenter
implied: ad
d
->skip_implications bac
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
m
a
t
h
:
i
ntroduce ge
t
_rl_helper
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
m
ath: rename get_rl_helper() to g
e
t_
r
l_in
t
ernal()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
math:
r
emove so
m
e debug
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
C
a
rpenter
math
:
f
i
x a bu
g
gett
i
n
g the "exact" ad
d
ress of a
string
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
implied: clean up filte
r
_stack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Ca
r
penter
implied: rename "incomplete" t
o
"bail"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
imp
l
i
e
d
: delete -
>
s
k
ip_
i
mplica
t
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
ar
p
enter
implie
d
: delete ->nr_children
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
implied: very messy r
e
-write of how to bail i
f
implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
preceden
c
e:
add a warning
f
o
r "f
o
o & bar
>
b
az"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpent
e
r
kern
e
l_user_data:
fix a type issue
i
n
set_points_to_user
_
data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
kernel_
u
ser_da
t
a: h
a
ndle fu
n
ctions that
r
e
t
urn a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
kernel
_
use
r
_
data: h
a
ndle struct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
validation: update tests to r
e
flect code
c
ha
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
validati
o
n/sm_selec
t
5
.
c: upda
t
e validation tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: fix a
type iss
u
e w
i
th pointer subtract
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
db: fi
x
passing calle
r
info
for frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpe
n
ter
p
arse_call_math: fix inline
va
l
i
d
ation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
function
_
hooks:
fix a typ
e
is
s
ue
i
n
retu
r
n_implies_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
m
ath: remove
d
ebug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carpente
r
buf_
s
ize: fix handl
i
ng of end of struct arra
y
s tha
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
locking: make ret_non_zer
o
r
a
n
ge
f
rom
1-s32max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpenter
l
ocking: add
some more l
o
c
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
smatc
h
:
ad
d
so
m
e s
t
r
i
ng
liter
a
ls to snpri
n
tf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
s
p
ectre: check for second ha
l
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
user_
d
ata: fix a cra
s
h
i
ng bug on invalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpen
t
er
zero_to_
e
rr
_
ptr: fix fall out from unsi
g
ned poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
user
_
data:
han
d
le capped data bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
d
b
/kernel
.
return_fixes: fi
x
_
_sock_create
(
) an
d
wai
t
_for
_
co
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
db
/
fixu
p
_
k
ernel
.
sh: ignore RIO_BAD
_
SIZE
retu
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
sm
a
tc
h
_data/ke
r
nel: add s
o
me m
o
re
i
gnored stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
smatch_data/kernel
.
n
o
_return_
f
u
n
cs
.
add Add YY_FATAL
_
ER
R
OR
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
db/del
e
te_too_com
m
on_fn_ptr
.
s
h: de
l
ete some c
o
mmon
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpente
r
m
e
m
_tracker:
use /proc
/
s
e
lf/statm for
o
ut_of_memory()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
ente
r
ima
g
i
n
ary_absol
u
te: ignore l
o
ops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
flo
w
: f
i
x valid_ptr_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
smatch:
always print the
time: and m
e
m:
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
slist: do a s
m
a
ll sp
e
e
dup in cmp
_
possible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pe
n
te
r
slist: reverse
the ord
e
r of the stree
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
address: improve get_address(
)
for
st
r
uct
m
embers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
address: man
y
array addresses can
be m
a
rked as valid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
a
d
dress: get_member_
o
ffset_from
_
deref()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carp
e
n
t
e
r
mat
h
: move more stu
f
f
t
o ge
t
_rl_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
string_list:
make insert_string() retur
n
false if it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
s
t
r
ing_list: call strcmp() once inste
a
d o
f
twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Ca
r
penter
math: d
o
n't all
o
cate the rang
e
_list i
f
not nec
e
ssary
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan
Carpenter
math: re
n
ame _g
e
t_rl()
=> get_
r
l
_
h
elper
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Da
n
C
a
r
penter
i
m
p
lied: bail
e
a
r
l
i
e
r
o
n parsing parameter
l
imitat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
math
:
re-
w
rite _get_sva
l
() to pass the results as a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
D
a
n
C
arpenter
slist
:
speed up
ad
d
_
p
ossible
_
sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next