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
smatch_nul_terminated: fix compile
2018-07-26
Dan
C
a
r
penter
mtag/math:
u
s
e mta
g
informat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
mtag: mak
e
get_mtag_offset() give both an m
t
ag and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
m
t
ag/math/
e
xtra: st
a
r
t
using mtags a
s
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpente
r
m
t
a
g
: mak
e
the name pa
r
amete
r
in expr_to_mtag_nam
e
_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
mtag: ma
s
k out the low b
i
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carp
e
nter
m
tag: turn
o
ff
mtag stuff fo
r
3
2
bit builds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
c
o
ntainer_of: cleanup
s
et_par
a
m
_
v
a
l
u
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
container_of/
m
tag
:
fix
handling of
passed values
(as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpenter
vali
d
ation: add so
m
e mtag
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
container
_
of/mta
g
: use container
_
of inf
o
rmation for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan
Carpe
n
ter
contain
e
r_of: re-
w
r
ite code to record cal
l
er_info
c
ontaine
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
r
anges:
allow svals to be p
r
inted i
n
hex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpente
r
ranges: fi
x
parsing
o
f
ul
o
ng
_
m
a
x and ptr_max (not currentl
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan C
a
r
pe
n
t
er
container_
o
f: flip
t
h
e pa
r
am and the
val
u
e arou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Carpen
t
er
address: fix add_offset_to_pointer()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
type: introduce g
e
t
_fin
a
l_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Car
p
e
n
ter
sval
:
h
andle point
e
r
m
a
th
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
e
r
type: intr
o
duce get_promoted_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
comp
a
rison: export filter_compar
i
son
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
smdb
.
py:
p
ush a
l
l
m
y changes to t
h
is file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
n
ter
db/kern
e
l
.
return_
f
ixes misc updates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
condition
s
: don't parse NULLs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
p
e
nter
db/
f
ixup_kernel
.
sh: delete '(u
n
io
n
ano
n
ymous)->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
f
l
ow: p
r
int slo
w
to parse functions when the --time
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
extra: introduce value_pt
r
_r
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
p
e
n
ter
d
b
: add som
e
more schemas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/reload_parti
a
l
.
sh: fi
x
for call_
i
mplies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Ca
r
pe
n
ter
db: hook up call_implies infrastruct
u
re
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
s
v
al: fix sval_is_a_min/max()
f
o
r
smaller types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
r
penter
sval: intr
o
duce sva
l
_is_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
db:
U
s
e e
x
tra sm->possi
b
l
e to decide if splitting the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
extra: introduce get
_
ext
r
a_sm_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
condi
t
ions: set the p
a
rent e
x
p
ressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
C
a
rpenter
implied: set i
n
_fake_env when w
e
d
o
a
n
assume(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
n
t
er
slist: do a small clean
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Ca
r
penter
sto
r
e
d_con
d
itions: store more conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
struct_assignment: hand
l
e memcpy for pointer m
a
th bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
sp
e
ctre:
s
ilen
c
e
s
ome if (array[user_controlled_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
sp
e
ctre: change outpu
t
forma
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpente
r
s
p
e
ctre: rem
o
ve is_
r
ead/
w
rite() c
h
ecks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpe
n
ter
db: fix get_db_st
a
te
_
count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Da
n
Carpent
e
r
helper: c
l
e
an
u
p get_c
o
mp
l
icat
i
on_sco
r
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan
C
arpenter
hel
p
er:
s
izeof() i
s
n
o
t co
m
pl
i
cated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan C
a
r
pente
r
con
d
i
tions: spli
t
th
e
z
ero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
condit
i
o
n
s:
d
elete unused functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carpenter
check_us
e
r_data: m
a
rk kvm_
r
e
g
i
ster_read() as returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpen
t
er
no
s
pec: i
f
it's called w
i
th trust
e
d data that's the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpente
r
u
ser_data:
d
on't pass *$
a
s use
r
data i
f
the
s
t
ruc
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Ca
r
pent
e
r
chec
k
_user_data: some u
s
er
d
a
ta
wa
s
lo
s
t at the cal
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db: f
i
x build breakage by addin
g
the type_info
s
chema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
d
b: rename
c
all_implies
t
o
ret
u
rn_impl
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Ca
r
pe
n
ter
debug: improve buf
s
ize debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
p
e
nte
r
c
h
eck
_
signed: silenc
e
some false positi
v
es copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
en
t
e
r
c
h
eck_sh
i
ft_to_zero:
silence some
f
a
lse positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
check_s
i
z
e
of:
f
ix a typo i
n
the
w
ar
n
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
pent
e
r
buf_size: fix
r
ecording
g
lobal
s
izes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpente
r
buf_comparison: do
n
't save links
t
o literal
s
ize
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
ent
e
r
comp
a
r
i
son: ad
d
some debug
ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpente
r
db: don't split NULL
and non-NULL
u
nnec
e
ssarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
pen
t
er
db: fix a NULL
d
erefer
e
nce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpe
n
ter
d
b: set
t
he CACHE_PAGES si
z
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
nte
r
db: introduce
t
he ca
c
h
e_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carp
e
n
t
er
db:
cl
e
an
up the
code and export som
e
more functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
extra:
u
se PA
R
A
M
_LIMIT to
limit binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
Carp
e
nter
f
l
o
w
: nest some
inline s
t
atements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
modificati
o
n_hook
s
: don't a
l
low multi
p
l
e
m
odifica
t
io
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Da
n
Carpe
n
ter
compa
r
ison: don't save
c
omp
a
ri
s
ons to
oneself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan
C
arpenter
com
p
ar
i
s
on: add some parent
h
es
i
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
D
an Carpent
e
r
vali
d
ation
:
fix up some
f
ai
l
u
r
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Da
n
Carpen
t
e
r
compari
s
on:
fi
x
fi
l
t
e
r_by
_
comparison == for ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
extra: ju
s
t
s
et sval a
s
signm
e
n
ts directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Car
p
enter
c
heck_spectre: ignore masked
o
ff data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carpen
t
er
spectr
e
: use the ne
w
i
s_user_rl() func
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
a
rpent
e
r
u
s
e
r_da
t
a:
s
i
le
n
ce some more ntohl(foo
[
i])
;
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_data: silence some sscanf()
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
nter
us
e
r
_da
t
a:
i
ntroduce is_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
Carpenter
user_dat
a
: cleanup get_use
r
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpenter
c
o
mparison: fix a NULL der
e
ference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carp
e
nter
comparis
o
n: f
i
x validation
tests and add a
new
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
penter
extra: remov
e
an
un
n
eeded __set_
s
m() in d
b
_par
a
m
_
l
i
mit_filt
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
pe
n
ter
helper: st
r
ip out t
h
e
b
yte swaps in strip_
e
xpr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpenter
va
l
i
d
a
tion/sm_locking
3
: fi
x
function declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Carpenter
un
k
n
o
w
n
_
v
alue: clear the ->parent pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpenter
ranges: improve str_to_comparison
_
arg_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
co
m
parison: use smatch_extra data in get_comp
a
r
i
son()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carp
e
nter
comparison: im
p
r
o
v
e handling of "if
(++
j
=
= li
m
it)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpenter
com
p
arison: h
a
ndle j++ var sym lists better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
ente
r
equiv
:
type a
n
d implication fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpenter
rang
e
s: fix ==
a
nd != comparisons
.
.
.
(0_0
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpent
e
r
r
e
tu
r
n_to_para
m
: fix parsing calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpenter
va
l
i
dation: upda
t
e
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
D
an Carpente
r
d
b
: m
a
ke call_i
m
plies rows unique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
Carpenter
flow: remove th
e
call_spli
t
_expr() fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carp
e
nter
e
x
tra: handle comparisons
to expression sta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpenter
db/f
i
ll_db_caller_info
.
pl: don't
perma-ban functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
d
b
/fixup_kern
e
l
.
sh:
c
ommit all my stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpent
e
r
functi
o
n_p
t
rs: recor
d
l
oc
a
l
point
e
r
s
cope correctl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
real_absol
u
t
e
:
don'
t
save
single value assigns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpenter
sval: fix a bug in
sval_too_low()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db
:
introduce db_ignore
_
states(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next