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
D
a
n
Carpenter
mtag_map
:
use e
x
pr_to_mtag_o
f
fset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
D
a
n C
a
rp
e
n
ter
debug: use expr_to_mt
a
g_
o
ffse
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan
Carpenter
mtag: twea
k
g
et
_
m
tag
_
sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
C
a
rpente
r
mtag: del
e
te totally bogus
get_deref_mtag()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
a
rpenter
mtag: dele
t
e uncalled rem
o
v
e_der
e
ference() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: t
w
eak how get_array_mtag_offset(
)
works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpen
t
er
mtag: delete uncall
e
d
get_mtag_a
d
dr_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag:
d
el
e
te some dea
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
D
an Carpenter
m
tag: remove u
n
use
d
get_mtag_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Car
p
enter
math: re
m
ove the g
e
t
_
i
mpli
e
d_value
_
low_ov
e
rhead()
f
un
c
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
arpenter
mtag_data: re-w
r
ite
i
n terms of m
t
ag/offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpenter
mtag_
d
ata: improve looking u
p
the
mtag_data for "foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan
Ca
r
penter
m
tag: remove dupl
i
cative
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag:
p
ush some mtag
see
d
code (but
don't enable it)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
D
a
n
Carp
e
nter
mtag: handle function p
o
i
n
te
r
s corr
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpent
e
r
capped
:
s
top marking everything as
capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Car
p
enter
capp
e
d: pointers can
'
t be c
a
pped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
ar
p
enter
d
b
:
m
ark
some
states
a
s igno
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpen
t
er
m
t
ag: f
i
x handlin
g
of arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n
C
arpenter
container_
o
f: fix the validation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
implie
d
: remov
e
skip_impli
c
at
i
ons again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
implied: make a timeout
u
s
e usec
i
nstead of s
e
con
d
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
integer_o
v
erflow:
s
p
l
i
t
some integer overf
l
ow
h
a
ndling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n
Carpe
n
ter
address:
Use rl_binop() to calculate the offse
t
into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
Carp
e
nter
ad
d
r
e
ss: handle a
n
onymo
u
s unions b
e
tte
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpente
r
address
:
calculate bi
t
types off
s
ets better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan C
a
rpenter
m
a
t
h: handle __bu
i
ltin_offs
e
tof() bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpen
t
er
extra: h
a
nd
l
e unmatche
d
global var
i
ables better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
extra
:
don't store HARD_M
A
X fo
r
known parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-14
Dan C
a
r
p
e
nter
param_used: don'
t
save
b
o
g
us d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-14
Dan Carpe
n
ter
container_of: re-write con
t
a
iner_of
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Ca
r
pen
t
e
r
helper: change how derefs
a
re displayed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
D
a
n Carpent
e
r
math: allow s
o
me recurs
i
on in hand
l
e_addre
s
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpent
e
r
c
o
n
t
a
iner_of
:
compare
the symbols fi
r
st of all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan
C
arpenter
cont
a
ine
r
_
o
f:
e
xport the get
_
conta
i
ner_name() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan C
a
rpe
n
t
e
r
mtag: up
d
ate the
m
t
a
g when it's set u
s
ing a pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carp
e
n
t
er
math: h
a
ndle a
r
ray addresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carp
e
nter
address: unify the code pat
h
s a b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-11
Dan
C
a
rpenter
address:
renam
e
a v
a
ria
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
free_strict:
i
gnore untracked parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Da
n
Carpenter
db: don
'
t print co
m
par
i
sons
w
h
en a fu
n
ction ret
u
r
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Ca
r
p
e
nter
capped:
h
andle a
s
s
ignments in the comparison better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
D
an Carpenter
extra
:
handle PA
R
AM
_
AD
D
/SET better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan C
a
rpe
n
t
e
r
implied:
remov
e
an unused variabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n
C
a
rp
e
nter
type: debu
g
ging: displ
a
y enum ty
p
es in ty
p
e_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
mat
h
: don't bother caching EXPR_VALUE valu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan
C
a
rpe
n
t
e
r
math: fi
x
RL_ABSOL
U
T
E for unknowns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
sli
s
t: don't allocate so ma
n
y duplicate ->pos
s
i
b
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Da
n
Ca
r
p
ent
e
r
mtag: prevent a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpe
n
ter
e
xtra: fix a bug
h
a
n
dl
i
n
g decrem
e
nt
i
n
g for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpenter
extra: f
i
x so
m
e
type bugs handling l
o
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan C
a
rp
e
nter
return_ca
s
t: fix t
h
is
che
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
i
m
p
lied: fix
a
bug
h
a
ndling partial implic
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan Ca
r
penter
i
m
plied: fix
a
bug
h
andli
n
g partial implicat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
D
an Carpenter
implied: fix a
d
e
bug messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpente
r
kernel: ignore
l
ockdep i
n
form
a
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan
C
arpenter
s
t
ates: preven
t
s
ome no
n
ame states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carp
e
n
t
er
sl
i
st: t
w
eak how OO
M
is han
d
le
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-27
Dan Ca
r
p
enter
math: alway
s
try look up if it's a fixed cons
t
a
n
t value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-27
Dan
C
arp
e
nter
implie
d
:
a
dd -
>
skip
_
im
p
lications back
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
m
ath: introduce
g
e
t_rl_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
math: rename get_
r
l_helper()
t
o get_rl_inte
r
n
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
math: rem
o
ve some debug c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
math: fix a b
u
g getting th
e
"
exact" address of
a
str
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
implied:
clean up
f
ilter_
s
t
a
ck()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
imp
l
ied:
rename "incomplete" to "
b
a
i
l"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carp
e
n
t
er
implied: delete ->
s
kip_
i
mplications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpente
r
implied: d
e
lete ->n
r
_children
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
implied
:
very messy r
e
-write o
f
how to bail if
i
mplicatio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
preced
e
nce: add a warning for
"foo & bar > baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carp
e
nter
kern
e
l_user_data:
f
i
x
a typ
e
issue in se
t
_
p
oin
t
s_to_user_dat
a
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpe
n
ter
kerne
l
_
user_data: handle func
t
i
ons that return a pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
k
e
rnel_us
e
r_data: handle struct
a
ssign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
va
l
idation: update
t
ests to reflect code changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
validatio
n
/sm_select5
.
c: update val
i
dation
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
te
r
math:
f
ix a type i
s
s
ue with pointer subtraction
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
db: fix pas
s
i
ng call
e
r info
for frob(&fo
o
);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
arp
e
nter
p
a
rse_call_math: fix inline validation t
e
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
fu
n
ction_hooks: fix a t
y
pe i
s
su
e
in return_impl
i
e
s
_s
t
a
te()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
math: r
e
move debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
buf
_
siz
e
: fix handl
i
ng of end
of struct arrays
t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
lo
c
k
i
ng:
make ret_non_
z
ero range f
r
om
1-s32
m
a
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
lockin
g
: ad
d
so
m
e
more locks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carp
e
n
t
er
s
m
a
t
ch: add some
string literal
s
to snprintf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
spectre: check for second halv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpen
t
er
user_da
t
a: f
i
x a crashing b
u
g on i
n
valid
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
zero_to_err_pt
r
: fix fall out from u
n
sig
n
ed pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
user_dat
a
: hand
l
e capped data bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
db/ke
r
nel
.
return_
f
i
x
e
s
: fix
__sock_cre
a
te() and wa
i
t_f
o
r_
c
o
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Ca
r
pent
e
r
d
b
/fixup_kerne
l
.
sh: ig
n
or
e
RIO_BAD_SIZE re
t
u
rns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
s
m
atch_data/k
e
rnel:
ad
d
some more igno
r
ed stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carp
e
nte
r
sm
a
tch_data
/
ke
r
nel
.
n
o
_return_funcs
.
ad
d
Add YY
_
FATAL_ERROR
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Car
p
enter
d
b
/d
e
let
e
_
t
oo_common_fn_ptr
.
sh: delete som
e
co
m
mon
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
m
e
m_tracker: use /pro
c
/
se
l
f/statm
for out_of
_
memo
r
y()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
imagin
a
ry_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 Car
p
e
nter
sma
t
ch: always prin
t
t
h
e
t
ime: and m
e
m
:
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
r
p
enter
slist: do
a
small s
p
eed
u
p
i
n c
m
p_possibl
e
_sm(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
s
l
ist: r
e
verse the order of the strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
addre
s
s: improve get_
a
d
dress() for struct
m
embers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next