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
container_of: remove some duplicative code
2018-07-26
D
an C
a
rp
e
nter
container_of: remove
s
om
e
duplicative co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n
Ca
r
penter
mtag/container_
o
f:
t
he fir
s
t struc
t
member can be a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an Carpenter
mtag: Use extra state
t
o
get m
t
ag and
o
ffset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: hoo
k
i
n
the mtag c
o
de
to
c
h
e
c
k_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n C
a
rpe
n
ter
val
i
datio
n
:
fix the new DB tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
mtag: improve get_mtag_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
m
tag/math
:
use
m
tag info
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
mt
a
g
: make
get_mtag
_
offset() give both an mtag an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
m
t
ag/math/extra: sta
r
t using
mtags a
s
p
oi
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag:
m
ake
t
h
e name
p
arameter in expr_to_mtag_n
a
me
_
offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n C
a
rpenter
mtag
:
mask out the low
b
its
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
m
tag: turn of
f
mtag
stuff
f
or 32 bit builds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpente
r
container_of
:
cl
e
a
nup
set_p
a
ram_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpen
t
er
contai
n
er_of/mtag: fix handling of passed va
l
ues (as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
validation:
a
dd some mt
a
g
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpen
t
er
contain
e
r_of/mtag: use
container_of info
r
mation for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Da
n
Ca
r
pen
t
er
con
t
ainer_of: re-wr
i
t
e
code t
o
record caller_info containers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
ran
g
es: allow svals
t
o
be printe
d
i
n
h
ex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Carpen
t
er
ranges: fix parsing of
u
l
ong_max and
ptr_max (not cu
r
rently
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Ca
r
penter
cont
a
iner_of: f
l
ip the param an
d
t
h
e
value
a
r
o
u
nd
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
an Carpen
t
er
address: fix
a
dd_offset_to_poin
t
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpente
r
ty
p
e
:
i
ntroduce get_final_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
sval: h
a
n
dle pointer mat
h
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
type: intr
o
duce get
_
p
romoted_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
C
a
rp
e
nter
c
o
mparison: export filter_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
smdb
.
py: push all my ch
a
nges
to this fil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
db/ke
r
n
el
.
r
etu
r
n_fixes mi
s
c up
d
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
c
o
nd
i
tions:
don't parse NULLs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/f
i
xu
p
_ker
n
el
.
sh: delete '(union anonym
o
us)->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
flow: print
s
lo
w
to parse f
u
nctions
w
he
n
the
-
-
time
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpent
e
r
extra:
int
r
oduce va
l
ue_ptr
_
rl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
db
:
add s
o
me more
schemas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
n
t
er
db/re
l
oa
d
_par
t
i
a
l
.
s
h
: fix
f
or
c
all_im
p
lies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carp
e
nter
d
b
: ho
o
k up call_impli
e
s infrastructu
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpenter
sval: fix sval_
i
s_a_
m
in/max() for smaller types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: introduce
sval_is_pt
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
ente
r
d
b
:
Use extra sm->possible to dec
i
de if splitti
n
g the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
ex
t
ra: int
r
od
u
c
e
g
e
t_e
x
tra_sm_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
condi
t
ions: set the parent
e
xpressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
imp
l
ied: set in_fake_env when we d
o
an ass
u
me()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an C
a
r
p
enter
sl
i
st: do a small clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an C
a
rpenter
s
tored_condit
i
ons: store
m
ore condi
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
struct_as
s
ignm
e
nt: handle me
m
cpy
f
or pointer math better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n
Carpenter
sp
e
ctre: silence
s
ome if (array[user_controlled_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n Carpenter
spectre: c
h
ange output for
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpe
n
ter
spect
r
e: remove i
s
_read/w
r
ite() c
h
ec
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
an Carpente
r
d
b
: fi
x
get_db_sta
t
e_
c
ount()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n Car
p
en
t
er
helpe
r
:
c
lean up get_complication_score
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Ca
r
p
e
nter
he
l
per: sizeof() is not
c
omp
l
ica
t
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpente
r
conditions: split
the ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpen
t
er
conditio
n
s: delete u
n
used f
u
ncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carpenter
check_u
s
er_data:
mar
k
kvm_register_read(
)
as r
e
turni
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
nospec: if it
'
s
c
alled with tru
s
ted data that'
s
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan C
a
rpen
t
er
user_data: don't pass *$
as u
s
er data if the st
r
uct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carp
e
n
t
e
r
chec
k
_user_d
a
ta: so
m
e user data was lo
s
t
at the cal
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n Carpenter
db: f
i
x b
u
ild breakage by add
i
ng the type_in
f
o schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Car
p
e
n
t
e
r
d
b
:
r
e
name
cal
l
_
imp
l
ies
t
o return_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
deb
u
g: im
p
r
o
ve buf s
i
ze debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
che
c
k_signed
:
silen
c
e some false positives copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
c
heck_shift_to_zero: silence
s
ome fa
l
se
p
ositive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carp
e
n
ter
chec
k
_sizeof:
f
ix a
typo
i
n the warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
ter
buf_
s
ize:
f
ix recordin
g
gl
o
ba
l
sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_comparison: don't save links to literal
s
izes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpent
e
r
comparison: add some debu
g
ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
d
b
: don't s
p
lit NULL and
n
o
n
-
NULL unnecessarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
ente
r
db: fix a N
U
LL
dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpenter
db:
set the
CA
C
H
E
_P
A
GES s
i
z
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
r
penter
db
:
introduce the cache_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n C
a
r
p
e
nter
db: clean up the
code
and ex
p
o
rt some
m
o
re functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
e
x
tra: u
s
e PARAM_L
I
M
I
T to
l
imit
binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
flow: nes
t
some in
l
ine statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Car
p
enter
modif
i
cation_hooks:
d
on't
allow mult
i
ple modification
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan
C
a
rpen
t
er
com
p
a
r
i
s
on:
d
on't save
comparisons to oneself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan
C
arpenter
co
m
p
ar
i
s
o
n
:
a
dd som
e
par
e
nth
e
sis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Car
p
ent
e
r
v
a
l
i
d
ation: fix u
p
s
o
m
e fa
i
lures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Da
n
C
a
rpenter
compa
r
is
o
n: fix fil
t
er_by_comparison
== for ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
e
xtr
a
: ju
s
t set sval assign
m
ents dir
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
a
rp
e
nt
e
r
check_spectre: ignore
m
asked off data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Ca
r
p
e
nter
spectre: use the new is_user_r
l
() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan C
a
rpenter
user_data: sile
n
c
e some m
o
re
n
t
o
hl(foo[
i
]
)
;
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpent
e
r
user_data:
silenc
e
some
s
s
canf() fal
s
e positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n
C
arpenter
user_data: introduce is_user_
d
ata()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpenter
use
r
_dat
a
: cleanup get_user_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Car
p
enter
com
p
ar
i
son: fix a NULL
d
er
e
ference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan
C
ar
p
enter
comp
a
rison: fix v
a
lida
t
ion t
e
sts
and
add a n
e
w test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
ext
r
a: r
e
mov
e
an unneeded __se
t
_sm() in
db_param_li
m
it_filt
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
enter
helper: strip o
u
t the by
t
e
s
waps i
n
strip
_
expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an
C
arpenter
v
a
lidati
o
n/sm
_
locking3
:
fix fu
n
ction decla
r
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Carpenter
unknown_value: clear th
e
-
>
parent
p
ointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
ranges: improve str_to_
c
omparison_arg_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpen
t
er
comparison: use s
m
atch_extra dat
a
in ge
t
_
compar
i
son()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpenter
c
omp
a
rison:
i
m
p
ro
v
e
handling
o
f
"
if (
+
+j == limit)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpenter
c
omparison: h
a
n
d
l
e
j
++ var sym
l
ists bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpent
e
r
equiv: type
and implication f
i
xes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan
C
a
rpenter
ran
g
e
s
: fi
x
== a
n
d !
=
c
o
mparisons
.
.
.
(
0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpen
t
er
r
eturn_to_param:
f
ix parsi
n
g calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan
Carpenter
validation:
updat
e
te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Dan C
a
rpen
t
er
db:
m
a
ke call_implies rows
u
nique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpent
e
r
flo
w
: remove the call
_
spl
i
t_expr(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
er
extra:
h
an
d
le c
o
mparisons t
o
expressi
o
n statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next