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
sval: handle pointer math better
2018-07-24
D
an Carpenter
sva
l
:
h
a
ndle pointer
m
ath better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpente
r
type: int
r
oduce
get_promoted_type
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
com
p
ari
s
on: exp
o
rt filter_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
smdb
.
py:
p
ush all m
y
changes to
this file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
db
/
ker
n
el
.
return_fixes misc updates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
co
n
dit
i
ons:
d
o
n
'
t
p
ar
s
e NULLs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
pen
t
e
r
db
/
fixup_kernel
.
sh:
d
elete '(uni
o
n anonym
o
us)-
>
__va
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
flow: print slow to
par
s
e functions when
the
-
-time
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
ex
t
ra
:
in
t
roduce
value_
p
tr_rl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
db: ad
d
s
ome more schemas
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
rpent
e
r
db/relo
a
d_pa
r
tial
.
sh
:
fix f
o
r call_
i
mplies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db: hook up c
a
ll_implies infr
a
structure
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpent
e
r
sval: fi
x
sval_is_
a
_min/max() for smaller types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: introdu
c
e sval_is_ptr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpe
n
ter
db: U
s
e ex
t
r
a
sm->poss
i
ble to dec
i
de if
s
plitti
n
g
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
extra: introduce get
_
e
x
tra_sm_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
c
onditions
:
set
the parent e
x
pressi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
t
e
r
i
m
plied:
se
t
i
n
_
f
ake_env whe
n
we 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 Carp
e
nt
e
r
s
tored_conditions:
s
tore
m
ore conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
struct_
a
ss
i
gnment: ha
n
dle
memcpy fo
r
pointer
m
ath b
e
t
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Ca
r
penter
spectre: silence
s
ome if
(arra
y
[user_controlled_offset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan C
a
rpenter
spectre: change output fo
r
mat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n
Car
p
ente
r
spectre
:
r
emove is
_
r
e
ad
/
write() checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n Carp
e
nter
db: fix get_
d
b_state_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n
Carpenter
h
e
lper: clean up get_c
o
m
p
l
icat
i
on_sco
r
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Ca
r
pen
t
e
r
h
elpe
r
:
s
izeof(
)
is not complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan
C
arpent
e
r
conditio
n
s: split th
e
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Da
n
Ca
r
penter
conditions: dele
t
e
u
nused funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-05
Norbert M
a
nthey
s
pectre: allow to fl
a
g a
l
l
occurrences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-03
Dan Car
p
enter
c
h
eck_user_da
t
a: mark kvm
_
r
e
gister_read(
)
a
s
r
eturning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
nospec: if it's call
e
d with trusted dat
a
that's the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
user_data: do
n
't
p
ass *$ as use
r
da
t
a if the struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan
C
a
r
p
e
n
t
er
check_user_data: some us
e
r d
a
ta was lost at
th
e
call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Ca
r
penter
db: fix b
u
ild
breakag
e
by adding the
t
ype_info schema
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Car
p
enter
db: rename call_im
p
lies
to
r
e
t
u
rn_
i
mplies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan
C
a
rpenter
debu
g
: improve b
u
f size de
b
ug
g
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
pente
r
chec
k
_signe
d
: silence some fals
e
positives co
p
y
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Ca
r
penter
chec
k
_shift_to
_
zero: sile
n
ce some false po
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
che
c
k_sizeof:
fix a typo in the warni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpenter
buf_size:
fi
x
re
c
o
rd
i
ng global sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
b
uf_comparison: d
o
n't save lin
k
s to lit
e
ral sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
c
omparison: a
d
d some debug
o
ut
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b:
d
o
n'
t
split
N
UL
L
and non-NULL unne
c
essa
r
ily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
db: fix
a
N
ULL derefer
e
nce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carp
e
nter
db: set th
e
CACHE_PAGES size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b: introduce the cache
_
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
nter
db: clean up the code an
d
export so
m
e
m
or
e
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an
C
a
rp
e
n
ter
ex
t
r
a: use PAR
A
M_LIM
I
T to limit bino
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
flow: nest som
e
inline statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpent
e
r
modification_hooks: d
o
n
'
t allow m
u
ltipl
e
modification
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpenter
compar
i
son:
d
on't save
c
ompari
s
ons
t
o
o
n
es
e
lf
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Da
n
Carpenter
comparison:
add som
e
p
a
re
n
t
h
esis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan
C
arpenter
valida
t
ion: f
i
x
up
s
om
e
failures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Da
n
Car
p
enter
com
p
a
rison: f
i
x filter_by_
c
ompa
r
i
son == fo
r
ran
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Da
n
Ca
r
penter
extra
:
just set sval
a
ssign
m
e
n
t
s d
i
rectl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan C
a
r
p
enter
chec
k
_sp
e
ctre: ignore masked off da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
an Carpenter
sp
e
c
t
r
e: use
t
he n
e
w is_user_rl() f
u
nctio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
Carpenter
user_data:
silence some more ntohl
(
f
o
o[i]); false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
Carpente
r
user_data: silence some sscanf(
)
false
p
os
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Ca
r
penter
use
r
_d
a
ta: i
n
trod
u
ce is_user_d
a
ta()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
u
s
e
r
_
d
ata: c
l
eanu
p
get_user
_
r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
D
an C
a
rpenter
comparison: fix a NULL dereferen
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpe
n
ter
c
omparison: fix val
i
dation tests an
d
a
d
d
a new test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpenter
extra: re
m
ove a
n
un
n
eeded __set_sm() in d
b
_param_limit_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpen
t
er
helper: st
r
ip out
the byt
e
swa
p
s in strip_expr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
valida
t
ion/sm_locking
3
:
fix function declaration
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpenter
u
n
known_value: clear the ->paren
t
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carp
e
nter
r
a
ng
e
s: improve
s
t
r_t
o
_
c
o
mp
a
rison_arg_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpent
e
r
c
o
mpar
i
so
n
:
u
s
e
smatch_ex
t
ra da
t
a in get_compar
i
s
o
n
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n
Carp
e
nter
comparison: improv
e
h
a
ndling o
f
"if (++j == limit)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Carp
e
nte
r
co
m
pari
s
on:
handle j++ var sym lists b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n
Carpenter
equ
i
v: type and
i
m
p
lica
t
ion f
i
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Da
n
Car
p
e
n
ter
ranges: fix == and
!= comp
a
risons
.
.
.
(0_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan
C
a
rp
e
nter
r
e
turn_
t
o_param: fi
x
parsi
n
g
ca
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
D
an C
a
rpenter
validati
o
n
:
u
pdate tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Dan C
a
rpenter
db: make ca
l
l_impli
e
s rows unique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
flow: remove
t
he call
_
split
_
expr() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
extr
a
: hand
l
e comparisons to ex
p
re
s
sion statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/fill_db_caller_i
n
fo
.
p
l
:
don't
p
erm
a
-b
a
n f
u
nctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
d
b
/fixup_kernel
.
s
h
: commit a
l
l m
y
stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpenter
function_pt
r
s: recor
d
local p
o
inter
s
cop
e
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
real_absolute
:
d
o
n'
t
save
s
i
ngle value
a
s
signs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
Carpenter
sval: fi
x
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
2018-05-14
Da
n
Carpenter
db/untracked_p
a
ram: mark param
e
ters u
n
tra
c
ked if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carp
e
nter
flo
w
: do
n
't p
a
rse inline fun
c
tions whic
h
a
re
n
't intere
s
ting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
Dan Car
p
e
nter
db/constraints_
r
equired
.
schem
a
: add
m
iss
i
ng semi-co
l
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan
Carpenter
flow/exp
r
ession
s
/function_hoo
k
s:
re-fix is_assigned_
c
all()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
k
ernel: h
a
ndle _
_
rea
d
_o
n
ce_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
D
an Carpente
r
m
a
t
h:
f
ix
a
g
e
t_value()
bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpent
e
r
exp
r
es
s
ions: make assi
g
n_expre
s
si
o
n(
)
take an
o
p argum
e
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpente
r
spectre: warn
a
b
o
u
t
potential spectre vulnerab
i
liti
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
D
a
n Carpenter
expressio
n
s: don't set the ->p
a
r
ent to a fake expres
s
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carpen
t
er
expressions
:
just a
l
l
ocate
zero_expr(
)
fresh every
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
D
an Carpenter
expression/smatch_expressio
n
s:
m
ove expr_set/get_p
a
rent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Joey Paba
l
i
nas
sparse:
add -Wpoi
n
ter-ar
i
th flag to toggle sizeo
f
(void
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and: tidy up whites
p
ac
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
o
r_vs
_
a
n
d: min_t() uses the
new min() code a
s
well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Da
n
Carpenter
check_or_vs_and: i
g
nore the kernel's
min/max macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next