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
Revert "container_of: remove some duplicative code"
2018-07-27
Dan Carpenter
R
evert "contain
e
r_of: remo
v
e
s
ome
d
upli
c
ative co
d
e"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Da
n
Carpente
r
mtag_data: split
get_mt
a
g_rl() into
t
w
o
func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan
C
arpenter
mta
g
: r
e
n
ame
g
et_db_data_rl() => get_mtag
_
r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
contai
n
er_of: remove s
o
m
e dupl
i
cative c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag/container_of: the firs
t
struct mem
b
er can be a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: Use extra state
t
o
get mtag and
o
ffse
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Car
p
enter
m
tag: hook in the mtag
code to che
c
k_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carp
e
nter
v
alidation: fix the new DB tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag:
i
mprov
e
get_mtag_sval(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag/math: use
m
tag in
f
orma
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
C
a
rpe
n
ter
m
t
ag:
make ge
t
_mtag_of
f
s
et()
g
ive both an mta
g
an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpen
t
er
m
t
ag/math/ex
t
ra: s
t
art us
i
ng mtags as
p
o
i
nter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an Carpen
t
er
m
t
ag
:
m
a
ke the name paramete
r
in expr_
t
o_mtag_
n
am
e
_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
C
a
rpenter
m
t
ag: mask out the low bits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
ar
p
e
nter
mtag: turn
o
ff
mt
a
g stuf
f
for 32
bit builds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
container_of: cleanup set_param_v
a
lue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Ca
r
pent
e
r
containe
r
_
of/mtag: fix
h
a
ndling of passed values (as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arpenter
validat
i
on:
add some mta
g
te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpen
t
er
c
ontainer_of/mtag
:
use container
_
o
f inf
o
rmation for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
an C
a
rpenter
contain
e
r_of: re-w
r
ite code
to reco
r
d call
e
r_in
f
o co
n
tainers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpen
t
er
rang
e
s: allow sv
a
ls
t
o
be
pri
n
te
d
in
h
ex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Da
n
Carpenter
ranges: f
i
x
parsing
o
f ulo
n
g_max and ptr_max (not curren
t
ly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
a
rp
e
n
t
er
container_of:
f
lip
the
p
aram and the value
a
round
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Ca
r
penter
ad
d
r
e
ss: fix a
d
d_o
f
fset_to_pointer()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
t
y
pe: introduce ge
t
_final_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Ca
r
p
e
n
t
er
s
v
al: handle
poi
n
ter m
a
th
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
typ
e
: introduc
e
get_promo
t
ed
_
type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
comparison: export filter_compariso
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
smdb
.
py:
push al
l
my chang
e
s to
t
h
i
s fil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
db/kernel
.
return_f
i
xes 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
nditi
o
ns: don'
t
pa
r
s
e
NULLs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Carpenter
db/fixup_kernel
.
sh: delete
'
(union anony
m
ous)->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
flow: print sl
o
w
t
o par
s
e func
t
ions when
t
he --time
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
e
r
extra: intr
o
du
c
e value_ptr_r
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
db: ad
d
some mor
e
schem
a
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
db/reload_
p
artial
.
sh: fi
x
for call_i
m
plies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Ca
r
pe
n
t
e
r
db: hoo
k
up call_
i
mplies in
f
rastruct
u
re
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nte
r
sval: fix sva
l
_is_a
_
min/max()
for smaller types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
C
a
rp
e
nter
s
val: introduce sva
l
_is_p
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpen
t
er
d
b
: Us
e
extra sm->possible to decide i
f
splitting
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
extr
a
: intr
o
du
c
e g
e
t
_
ext
r
a_sm_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpe
n
ter
condi
t
ions: set the parent expre
s
sions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Car
p
e
nt
e
r
implied: se
t
in_fa
k
e
_
env when w
e
do
an assume
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
slist: do a small clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
s
t
or
e
d_condi
t
ions: store
m
ore con
d
itions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
C
arpen
t
er
stru
c
t_assign
m
e
nt: h
a
ndle me
m
cp
y
f
o
r pointer mat
h
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
spectre:
s
i
lence some if (array[
u
ser_con
t
rolled_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Car
p
enter
sp
e
ctre: change output for
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
sp
e
ctr
e
:
r
emo
v
e is_r
e
ad/write()
c
hec
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
db: f
i
x get
_
db_
s
tate_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpent
e
r
hel
p
er: clean up get_complic
a
tion_s
c
o
r
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Car
p
enter
h
elpe
r
:
sizeof() is not co
m
plica
t
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n Carp
e
n
ter
c
ondit
i
ons:
s
plit the ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
an Carpenter
condi
t
ions: delet
e
u
nused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Da
n
Carpent
e
r
che
c
k_user_
d
ata: mark kvm_register_read() as returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
D
an Carpe
n
ter
nospe
c
:
if it's called
w
ith
t
r
usted
data th
a
t'
s
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
D
an Carpenter
user_data: do
n
't p
a
ss *$ as user data if the struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n Ca
r
p
e
nter
c
hec
k
_
u
ser_data: some user data wa
s
lost at the
c
all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db: fix build breakag
e
by adding t
h
e
type_info schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n
Carpenter
db: ren
a
me call_implie
s
to r
e
turn_
i
m
plies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan
C
arpenter
deb
u
g:
improve bu
f
size d
e
bugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
check_signed: si
l
ence s
o
m
e fals
e
positives copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_shi
f
t_to_
z
er
o
:
s
ilence some false posit
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_sizeof: fix
a
typo i
n
the wa
r
nin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_size: fi
x
recording global
s
izes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpe
n
ter
buf
_
compa
r
ison: don't s
a
ve l
i
nks to lite
r
al sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
comp
a
rison: a
d
d some debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
db: don't split NULL and non-NULL unnecessarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpenter
db: fi
x
a
N
ULL der
e
f
ere
n
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an Car
p
e
n
t
e
r
db: s
e
t the CAC
H
E_PAGES siz
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpenter
db:
i
n
t
roduce the cache_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
db: clea
n
up the
c
ode and export s
o
me
mor
e
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpente
r
extra:
use P
A
RAM_
L
IMIT
to limit b
i
n
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
flow: nest som
e
i
n
l
ine statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
r
p
enter
m
odification_hook
s
: do
n
't allow m
u
ltiple modifica
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpenter
co
m
pa
r
ison: don't save compa
r
ison
s
to oneself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan
C
arpenter
comparison: add some parenthes
i
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpent
e
r
valid
a
t
ion: fix up some fai
l
ures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
co
m
parison:
f
ix filter_by_comp
a
riso
n
=
=
for ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
D
a
n Carpen
t
er
extra: just se
t
s
v
al ass
i
gnments direct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
Carpe
n
t
er
c
h
eck_spec
t
re: ig
n
ore masked off data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
nter
s
pectre: use the new
i
s_user_rl() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n C
a
rpe
n
ter
user_d
a
ta: silence some mo
r
e ntohl(foo
[
i]);
f
al
s
e
p
ositives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
Carpen
t
er
u
s
e
r_data: silence some sscanf
(
) false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
use
r
_d
a
ta: introduce is_use
r
_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carpenter
user_data: cleanu
p
get_user_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan
C
a
rpenter
compar
i
son: fix a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
D
a
n Carpenter
compar
i
son: fi
x
validation tests
and add a new
t
e
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpenter
extra
:
r
emove an unneeded _
_
s
et_s
m
() in
d
b_
p
aram_limit_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
helper: str
i
p
out the byte swaps in
s
trip_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpen
t
e
r
validation/sm_lo
c
king3: fix func
t
i
o
n declar
a
ti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpen
t
er
un
k
nown_valu
e
: clear
the -
>
parent
p
ointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carp
e
n
t
er
r
anges: improve str
_
t
o_com
p
arison_arg_help
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
c
omp
a
rison: use smatch_extra data
in get_co
m
parison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpente
r
comparison:
i
mprove ha
n
dl
i
n
g o
f
"
i
f (+
+
j == limit)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
compari
s
on: handle j++ var sy
m
l
i
sts be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
equiv:
t
y
pe and
i
mp
l
i
catio
n
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
D
an
Carpenter
ra
n
g
es: f
i
x == and != compar
i
s
ons
.
.
.
(0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan
C
a
rpenter
return
_
to_p
a
r
a
m
:
fix
p
arsing calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpenter
va
l
i
d
ation: update tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next