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
an Carpenter
mtag_map:
u
se expr_to_mta
g
_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpente
r
d
e
bug: use
expr_to_
m
tag_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: tweak get_mtag
_
s
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
D
a
n C
a
rpenter
mtag: delete
t
otally bo
g
us get_deref_mtag()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag:
d
e
lete unca
l
l
e
d
remov
e
_dereference()
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mt
a
g: tweak how get_
a
rray_mtag_offset() works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: delete uncal
l
ed
get_mtag_
a
ddr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carp
e
nter
mtag: delete some
dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Ca
r
pe
n
ter
mtag: remove un
u
sed get_
m
tag_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
math: remove the
g
et_i
m
pli
e
d
_
value_low_overhead() f
u
n
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan
Car
p
enter
mtag_data:
r
e-write in terms of mta
g
/offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mt
a
g_
d
ata
:
improve
looking up the
m
t
ag
_
da
t
a for "foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag:
re
m
ove duplicative code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
arpenter
mtag: push s
o
me mtag
see
d
code (but don
'
t
e
n
able it)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mt
a
g: ha
n
dle
f
unction
p
oint
e
rs corr
e
ctl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan C
a
r
pen
t
er
capp
e
d:
stop marking ever
y
thing as c
a
ppe
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
D
an Carpent
e
r
capp
e
d:
pointers can't
be capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Car
p
enter
db:
m
ar
k
s
o
me states as i
g
n
o
re
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carp
e
nter
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
Dan
Carpe
n
t
er
contain
e
r_of: fix the va
l
idat
i
on te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan
Carpenter
i
m
pl
i
ed: remove
skip_implications aga
i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Ca
r
penter
i
m
p
lied: make a timeout use
usec i
n
ste
a
d o
f
seconds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
Carpente
r
integer_
o
v
e
rflow: split some integer overflow hand
l
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
address: Use
r
l_binop() to calculate
t
he o
f
fset into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
Carpent
e
r
address: handle
anonymous union
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpent
e
r
address
:
c
alculate bi
t
t
ypes offsets better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n
Carpenter
math:
h
an
d
le
__builtin_
o
ffsetof() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Car
p
enter
e
xtra: h
a
n
d
le unmat
c
h
ed global v
a
riables be
t
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
e
x
tra: d
o
n't
s
t
ore
H
ARD_MAX for known parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-14
Dan Carpenter
param_used: don't save b
o
g
u
s
d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-14
Dan Carpenter
c
o
n
tainer_of:
r
e
-write container_of()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
he
l
p
e
r: change how
derefs
a
re displa
y
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Da
n
Carpenter
math
:
allow some recursi
o
n
in hand
l
e_ad
d
ress()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
conta
i
ner_of: compar
e
th
e
symbol
s
first of a
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
con
t
a
i
ner_of
:
e
xport the
g
et_container_na
m
e() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan C
a
r
p
en
t
e
r
mtag: update the mta
g
w
hen it'
s
s
et usi
n
g a poi
n
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan
C
arpenter
ma
t
h
:
handle array addresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-11
D
a
n Carpenter
addr
e
ss: unify
t
he code
pat
h
s a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carp
e
n
t
er
address: rename a va
r
i
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
free_st
r
ict: ignore untrac
k
e
d
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
db: do
n
't print comparisons when
a function
ret
u
rns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
capped: h
a
n
dle assignments in
t
he
com
p
arison better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
D
an Carpenter
extra: handl
e
PA
R
AM_ADD/SET b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Car
p
enter
implied: remove an unused variabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpente
r
t
y
pe: d
e
bugging: dis
p
lay
e
nu
m
ty
p
es in type_to_str
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carp
e
nter
mat
h
:
d
on't b
o
the
r
caching E
X
PR_V
A
LUE valu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
math
:
f
i
x RL_AB
S
OLU
T
E for unknowns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan C
a
rpent
e
r
slist: d
o
n
't allocate
so many d
u
plicate ->possible
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
mtag: preve
n
t
a
crashing
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-05
Dan
Carpenter
ext
r
a: fix a bug ha
n
dling decrementing for
loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpent
e
r
e
xtra: fix some type bugs handling loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan C
a
r
p
enter
return_cast:
f
ix this ch
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
D
a
n Carpe
n
ter
implied: fix a bug handl
i
ng
p
arti
a
l implic
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan Ca
r
penter
implied: fix a
b
ug handling pa
r
tial
i
mplications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan
Car
p
enter
im
p
l
ied: fix
a d
e
bug me
s
sag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpenter
k
ernel: ignore
l
ockdep
infor
m
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpenter
s
t
ates
:
prevent so
m
e
no
n
a
me states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan
C
arpe
n
ter
sl
i
s
t
:
tweak
h
ow OOM is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-27
Dan
Carpenter
mat
h
: alwa
y
s try look
up if
it
'
s
a fixed
c
onstant value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpenter
impl
i
e
d: add ->skip_impli
c
ati
o
ns back
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: in
t
roduce ge
t
_rl
_
helper(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
mat
h
:
rename get_r
l
_hel
p
er() to get_
r
l_int
e
r
nal()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
math: remov
e
s
o
me de
b
ug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpente
r
m
a
t
h:
fix a bug getting
the "exact" address of a string
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
i
m
plied: cle
a
n
up
filter_stack()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
n
ter
im
p
lied: rename "incomplete" to "bail"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
implied: delete -
>
skip_impli
c
ation
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
i
m
plied:
d
e
le
t
e
->nr_children
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
implied:
v
ery
m
essy
r
e-write of
h
ow to
bail if implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
p
reced
e
nce: ad
d
a warn
i
ng
for "foo & bar
> baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
ke
r
nel_user_da
t
a: fix
a type is
s
ue in set_points_to_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
kernel_user_data: hand
l
e functions
t
h
at return a p
o
in
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Car
p
enter
kernel
_
user_data
:
han
d
le struct assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpente
r
validation:
u
p
d
ate
t
est
s
to reflect code changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
v
a
lida
t
ion/
s
m
_
s
e
l
ect5
.
c: update validation t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
m
ath: fix a type
i
ss
u
e
w
ith p
o
inter subtrac
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpen
t
e
r
db: fix pa
s
sing c
a
ller
i
nfo for f
r
o
b
(&
f
oo)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
p
a
rse_call_math: f
i
x inl
i
ne validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
function_h
o
oks:
f
ix a t
y
pe issue in re
t
urn_imp
l
ies_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
math: r
e
move debug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpe
n
te
r
buf_size: fix h
a
ndling of
e
n
d
of
s
t
r
u
c
t arrays that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
loc
k
ing: make r
e
t_non_z
e
r
o
r
a
nge from 1-s32
m
ax
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
lo
c
king: a
d
d
s
ome more locks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
sm
a
tch: add s
o
me st
r
ing
l
iterals to snprintf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
arpen
t
er
spectre: check for sec
o
nd halves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
user_data: fix a crash
i
ng
b
ug on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
z
e
ro_t
o
_
e
rr_ptr: fix fall
o
u
t
f
r
o
m unsigned p
o
inte
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
u
s
e
r_data:
h
an
d
le capped data bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpenter
db/kernel
.
r
e
turn
_
fixes: fix _
_
sock_create() and wait
_
for_com
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
db/f
i
xup_kernel
.
sh
:
ig
n
ore
R
I
O_
B
AD_SIZ
E
re
t
u
r
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
smat
c
h_data/kern
e
l: add some mo
r
e
i
gnored st
u
ff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
ent
e
r
smat
c
h_data/ke
r
ne
l
.
no_re
t
ur
n
_funcs
.
add Add
Y
Y
_FATAL_ERROR
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
a
rpent
e
r
db/delete_to
o
_com
m
on_fn_
p
tr
.
sh: delete some common
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
mem_trac
k
er: use
/proc/sel
f
/s
t
at
m
f
or ou
t
_of_memo
r
y()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Car
p
e
nter
i
maginary_absolute: ign
o
re loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
flow: fix v
a
l
id_ptr_max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
smatch: al
w
ay
s
print the t
i
m
e
:
and mem:
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
s
list: do
a
small speedup i
n
cmp_possi
b
l
e_sm
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
slist: reverse the order o
f
th
e
str
e
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
a
d
d
ress
:
improve get_add
r
ess() for struct
m
e
mbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next