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
type: introduce get_promoted_type()
2018-07-24
Dan Car
p
enter
type:
i
n
tr
o
duce get
_
pro
m
oted
_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpente
r
co
m
p
a
riso
n
: export
filter
_
comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carp
e
n
t
e
r
sm
d
b
.
py: push all my
cha
n
ges
to
this f
i
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
d
b
/
kern
e
l
.
return_fixes misc updates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
conditi
o
ns
:
do
n
't parse NULLs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpent
e
r
db/fixup_kernel
.
s
h: delete '(u
n
ion anony
m
o
us)->_
_
val
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
flow: p
r
int s
l
o
w to parse functions w
h
en
t
he
--time
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
ext
r
a: i
n
t
r
oduc
e
value_p
t
r_
r
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
db:
a
dd some mo
r
e schemas
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
db/reload_partial
.
sh: fix for c
a
ll_implie
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
db: hook
up call_implies infrastructure
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: fix sval_is_a_min/max
(
) for smaller
t
ypes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an C
a
r
p
e
n
t
er
sval: introduc
e
s
val_is_pt
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db: Use extra
sm->possi
b
le
to decid
e
if splitt
i
ng the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
rp
e
n
ter
extra:
int
r
oduce
g
et_extra_sm_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
condi
t
ions: set the parent exp
r
e
s
sions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
implie
d
: set in_fake_en
v
w
hen
we do
an assume()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
slist:
do a s
m
a
ll clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
stored
_
c
o
n
d
itions: store more
c
ondi
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
s
truct_
a
ssignment: handle m
e
mcpy
for poin
t
e
r
mat
h
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n
C
a
r
penter
s
p
ectre: silence some if (array[user_contro
l
le
d
_offset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Ca
r
pente
r
s
p
ectre:
chang
e
output
f
ormat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
spectre:
r
emove
i
s_read
/
write() checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan
C
arpente
r
db:
f
ix get_db_st
a
te_count(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpe
n
ter
help
e
r: clean up get_co
m
plication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
hel
p
er: sizeof() is not complicat
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
c
ond
i
tions
:
split the zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
conditi
o
n
s
:
delete u
n
used funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-05
Norbert Manth
e
y
spect
r
e:
a
llow to flag al
l
o
ccurrences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-03
Dan C
a
rpenter
check_user_
d
ata: mark kvm_reg
i
st
e
r_read
(
) as returning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan
Ca
r
penter
no
s
pec: if
i
t's called with trusted da
t
a
that's the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Da
n
Carpe
n
ter
user_data: don't pass *$ as user dat
a
if the struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan
Carpe
n
ter
check_u
s
er_data: so
m
e us
e
r data was los
t
at the ca
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db: fix build breakage by adding the type_info schema
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db: rena
m
e c
a
ll_
i
mplies to return_implies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Da
n
Carpen
t
er
debug: improv
e
buf s
i
ze debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpenter
c
h
e
ck
_
signed: silence
s
o
me false posi
t
ives copyin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
check_sh
i
f
t
_
t
o_
z
ero: sile
n
ce some
f
alse posit
i
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
check_sizeof: fix a ty
p
o
in t
h
e warni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Car
p
enter
b
u
f_s
i
ze:
f
i
x
r
ecordi
n
g global sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpen
t
er
buf_compa
r
ison: do
n
't save links to
literal si
z
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
co
m
pari
s
on: add some
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
db:
d
on't split NULL an
d
non-
N
ULL u
n
necessarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carp
e
nter
d
b: fix a NUL
L
dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: set
t
he
CACHE_PAGES
size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carp
e
n
ter
db: in
t
r
oduc
e
the cache
_
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db:
c
lean
u
p the
co
d
e and
ex
p
o
r
t some
more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
ter
extra: use PARAM_LI
M
IT to limit binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpenter
f
l
o
w: nest som
e
inline statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arp
e
nter
modification_hooks:
don't
allow multiple
m
o
d
ification
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-21
D
an Carpenter
co
m
p
a
rison: don'
t
sa
v
e compa
r
i
son
s
to one
s
e
lf
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Da
n
C
a
rpente
r
c
omparison
:
add some parent
h
esis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
D
a
n Carpenter
validation: f
i
x u
p
s
ome
f
ailures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpent
e
r
c
ompa
r
i
s
on: fix filter_by
_
comp
a
rison ==
f
or ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
D
an Carpenter
extra
:
just set
s
val ass
i
gnments dir
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
nter
check_spectre
:
ignore m
a
ske
d
off data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpen
t
er
sp
e
c
t
re:
u
se
t
he new is_use
r
_rl() fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n
Carp
e
nter
user_data:
s
ilence
some more ntohl(foo
[
i]); false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
nte
r
us
e
r_d
a
ta: silence some sscanf() fa
l
se posi
t
iv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_data:
i
ntr
o
du
c
e is_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpent
e
r
us
e
r_
d
ata:
c
le
a
nup get_user_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carp
e
nter
comparison: fix a NULL
dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
D
a
n Carpenter
c
omparison: fix validatio
n
tests
and add a new test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
C
arpenter
extra: remove
an unneeded
_
_
se
t
_sm(
)
i
n db_p
a
ram_limit_f
i
l
te
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
helpe
r
: strip out the byte swaps in strip_e
x
pr(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an
C
a
rpenter
va
l
idation
/
sm_locking3: fix function de
c
lara
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an Car
p
en
t
er
u
n
known_value:
c
l
e
ar the
->paren
t
poin
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Carpent
e
r
ranges
:
i
m
prove st
r
_
t
o_co
m
parison_ar
g
_hel
p
er()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
pent
e
r
com
p
arison: us
e
s
m
a
tch_extra data in get
_
comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpenter
com
p
aris
o
n:
improve handl
i
ng
of "if (++j ==
limi
t
)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
C
a
rpenter
comparison
:
h
a
ndle j++
va
r
sym lists better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
equiv: type and
i
mplica
t
ion f
i
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Da
n
Carpenter
ranges: f
i
x == and != c
o
mpar
i
sons
.
.
.
(
0_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpente
r
return_to_param: fix par
s
in
g
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
D
an
C
a
r
p
enter
validation: up
d
ate tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Da
n
Ca
r
penter
db: mak
e
call_implies r
o
ws unique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
er
fl
o
w: remove the
call_split_expr() func
t
io
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
er
extr
a
:
han
d
le comparisons to expression
s
t
a
t
e
m
ent
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpenter
d
b
/fill_db_caller_info
.
pl: don
'
t perma
-
ban fu
n
ctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
an Ca
r
p
e
n
ter
db/fixup_
k
ernel
.
sh: c
o
mmit all my stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
function_ptrs: record
local point
e
r s
c
o
pe c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n
Carpenter
r
eal_absolute:
d
o
n
't sa
v
e si
n
gle va
l
ue assigns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carpenter
sval: fix a
b
ug in sval_too_low(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
rp
e
nter
db: i
n
t
r
oduce db_i
g
nore_s
t
ates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
rpenter
db/u
n
trac
k
ed_param:
m
a
rk
parameters
untrac
k
ed if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
flow: don't parse
inline functions whi
c
h aren't
i
nterestin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
Dan Carpente
r
db/constraints_requ
i
red
.
sch
e
m
a
:
a
dd
m
i
s
s
ing
s
emi
-
co
l
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
flo
w
/ex
p
ressions/func
t
ion_hooks: re-fix
i
s_assi
g
n
ed_call()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Ca
r
penter
kernel: handle __rea
d
_once_s
i
z
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan
C
a
rpent
e
r
math
:
fi
x
a get_value() b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carp
e
nter
e
x
pressions: mak
e
as
s
ign_expression(
)
t
a
ke an op
argument
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Da
n
Car
p
ente
r
spec
t
re: warn a
b
o
u
t
p
otential spec
t
r
e
vulnerabi
l
iti
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpente
r
expressio
n
s: don'
t
set the ->p
a
rent to a fake expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carpen
t
er
expression
s
:
just alloc
a
te z
e
r
o
_e
x
p
r() fresh every
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpenter
e
xpr
e
ssion/smatch_expr
e
ssi
o
ns: move
expr_set/get
_
par
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Joey Pabalinas
spars
e
: add -W
p
oin
t
er-ari
t
h flag to toggle sizeof(void
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and: tidy
up
whitespace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and: m
i
n
_
t() uses the new mi
n
() code
a
s w
e
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan
C
arpenter
check_or_v
s
_and: ignore t
h
e kernel's min/max macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
D
a
n Carpenter
f
l
ow/ma
t
h: handle __b
u
iltin_cho
o
s
e_exp
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next