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
D
a
n
C
arpenter
mtag:
remove unu
s
e
d
get_
m
t
a
g_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
math: remove the get_implied_value_low_overhead
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Car
p
enter
mtag_data
:
re-write in terms
o
f mt
a
g/o
f
fset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
a
n Carpenter
mta
g
_data: impro
v
e looki
n
g
u
p
the m
t
ag_data for "foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mt
a
g: re
m
ove d
u
plicative
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpente
r
mtag:
push some m
t
a
g
seed code (but
d
on't enable it)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Car
p
enter
mtag:
handle funct
i
on p
o
inter
s
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
c
a
pped: stop marking everything as ca
p
ped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
arpente
r
capped:
p
o
i
n
ters can't
be
c
app
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
db: mark some states as igno
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
mtag: fix handling o
f
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n Carpenter
c
ont
a
iner_of:
fix the
v
ali
d
ation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
implied:
remove skip
_
i
mplication
s
again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
an Car
p
ente
r
implied:
make a timeout
use use
c
instead
o
f sec
o
nds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
an Carpenter
int
e
ger_ove
r
flow: split so
m
e i
n
t
e
ger overflow ha
n
dling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
Carpenter
address: Us
e
rl_
b
inop(
)
to calcul
a
te the
o
ffset in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Ca
r
penter
address: handle anonymo
u
s unions bet
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Ca
r
p
enter
a
d
dress
:
calculate bit types offsets better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpen
t
er
math: han
d
le __builtin_
o
ffsetof() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
ex
t
ra: handle un
m
atched global
variab
l
es better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan
C
arpenter
extra: don't store HAR
D
_MAX
f
or kn
o
wn parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Dan Carpenter
p
aram_used: don't sa
v
e bogus dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Dan
C
arpenter
container_of: re-
w
rite
c
ont
a
ine
r
_of()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Da
n
Carpenter
help
e
r:
c
h
a
n
g
e how
derefs are displayed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan C
a
r
p
e
nter
math
:
allow some recursion i
n
handle_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
D
an Carpenter
cont
a
in
e
r
_
of:
c
ompare the sym
b
o
l
s firs
t
of all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
c
ontainer
_
o
f
: export the g
e
t
_
con
t
ainer_name() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
D
an Carp
e
nter
m
t
a
g:
u
pdat
e
th
e
mtag when
i
t
'
s
s
et using
a
poi
n
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpente
r
math: handle array addre
s
se
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan Car
p
e
n
ter
address:
unify the code pa
t
h
s a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carpent
e
r
ad
d
ress
:
re
n
ame a variab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpe
n
ter
free
_
stri
c
t:
i
gno
r
e
u
ntracked parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
d
b: don't print comparisons when a function retur
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Car
p
enter
capp
e
d:
handle as
s
ignments
i
n the com
p
arison
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpent
e
r
ex
t
ra: handle
PARAM_ADD/SET bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
an
Car
p
en
t
er
implied: r
e
m
o
v
e
an u
n
used variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carpente
r
typ
e
:
d
e
bugging: disp
l
ay en
u
m
types in ty
p
e_to_
s
t
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Da
n
Carpenter
math: don't bo
t
her cach
i
ng EXP
R
_VALU
E
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
an Carpenter
math: fix RL_AB
S
OLUTE
f
or unkn
o
wns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpen
t
e
r
slist: don't allocate so
m
any duplicate ->possible
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
an Carpenter
m
t
ag: prevent a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpe
n
ter
ex
t
ra: f
i
x
a
b
ug handli
n
g d
e
crementi
n
g for l
o
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpenter
extra: fi
x
some type bugs ha
n
dling loop
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
ret
u
rn_cast:
fix
this chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan C
a
rpenter
i
m
p
l
ied:
fix
a
b
ug handling
parti
a
l im
p
lications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Ca
r
penter
impl
i
ed: fix
a
bug
h
a
n
d
l
ing partial impli
c
atio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpent
e
r
imp
l
ied
:
fix a debug message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
D
an Carpente
r
kernel: ignore lockdep
i
nformat
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpen
t
er
states: preve
n
t some no name states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Ca
r
penter
slist:
t
weak how OOM is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
D
a
n
C
ar
p
enter
math: always
t
ry look up if i
t
's
a
fi
x
ed consta
n
t value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpenter
implied: add ->skip_
i
mplicat
i
ons bac
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
ma
t
h: introduce get_rl_
h
el
p
e
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carpenter
math:
rename get_r
l
_
h
elper() t
o
get_rl_inte
r
nal()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
m
a
th: rem
o
ve s
o
me debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
n
t
er
math: fix a bug getting the "exact
"
a
d
dress of
a
s
tring
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
i
mpli
e
d: clean up filter_
s
ta
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carp
e
nter
implied:
r
ename "incomplet
e
"
to "
b
ail
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an
C
arpenter
impl
i
ed: d
e
lete ->skip_im
p
lications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
implied
:
d
e
l
e
te ->nr_children
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
imp
l
i
e
d: very mess
y
re
-
w
r
i
te of how to ba
i
l if implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
prec
e
dence: add a warn
i
ng for "foo &
b
a
r
> baz
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
n
t
er
ker
n
el_
u
se
r
_d
a
t
a
: fi
x
a type is
s
u
e
in
s
e
t_points_to_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
arpenter
kernel_use
r
_data: handle functions that return a po
i
n
t
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
k
ernel_u
s
er_
d
ata: h
a
ndle s
t
ruc
t
ass
i
gn
m
ent
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpent
e
r
validation: update
t
ests
t
o reflect code changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
valid
a
t
ion/sm_select5
.
c: u
p
date v
a
lid
a
tion test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
math: fix a type issue with pointer s
u
btr
a
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an
C
arpenter
db: fix
pass
i
ng
c
aller
i
nfo
f
or fro
b
(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
parse_ca
l
l_math
:
fix inline validation
t
est
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
function_
h
ooks: fi
x
a type issue in r
e
tu
r
n
_
im
p
lies_state
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
math: remove debu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
p
enter
buf_siz
e
: fix handlin
g
o
f end of
struct arrays that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
lock
i
ng: mak
e
ret_non_z
e
ro
r
ang
e
from 1-s32max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
e
r
l
oc
k
i
ng: add
s
ome more loc
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
smatch
:
add some st
r
ing litera
l
s to snprintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
spectre: check for second halves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
e
n
ter
us
e
r
_data: fix
a crashing bug
on inv
a
l
id co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
z
e
ro_to_err
_
ptr: fix fall
ou
t
from unsigned poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
user_
d
ata:
handle capp
e
d
d
ata better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
db/kerne
l
.
retu
r
n_f
i
xes: fix
__sock_create
(
) an
d
w
a
it_
f
or_com
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
db/fixup_k
e
rn
e
l
.
sh:
ignore R
I
O_B
A
D_SIZE returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
smatch
_
data/kern
e
l:
a
d
d some more ignore
d
stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carpente
r
s
m
a
tch_dat
a
/kernel
.
no_re
t
urn_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_f
n
_
ptr
.
sh: d
e
lete some common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
mem_
t
r
a
c
k
er
:
use
/pro
c
/self/statm for out_of_memory()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rp
e
nter
imaginary_absol
u
t
e
:
ignore loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
flow: fix v
a
lid
_
pt
r
_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nt
e
r
smatch: alwa
y
s print
the time: and mem
:
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
sli
s
t: do a small speedup in
cmp_possible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
slist: rever
s
e
th
e
order of the strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
address:
i
mprove get_address
(
) for struct me
m
be
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
e
r
a
ddress: many array addresses can be
m
arked as vali
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
a
ddres
s
: get
_
member
_
off
s
et_from_deref()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Car
p
enter
math:
m
ove more stuff to get_rl_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
st
r
ing_list: make insert_s
t
r
i
ng(
)
return false if it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
string_list: call str
c
m
p() once ins
t
e
a
d of twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan
Carpenter
math: don't al
l
ocate the range_list
i
f
n
o
t nec
e
ssary
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
math:
r
ename _ge
t
_
r
l
(
) => get_rl_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan
Carpenter
i
m
pli
e
d:
b
ail earlier o
n
parsing parameter limita
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next