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
check_user_data: mark kvm_register_read() as returning user data
2018-07-03
Dan Carpente
r
check_u
s
e
r
_da
t
a: mark
kvm
_
re
g
i
s
ter_read()
a
s retu
r
ni
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan
C
ar
p
e
nter
nospec: if it's called with trusted data that's the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
u
s
er_data: don't p
a
ss *$ as user
d
a
ta if
t
he struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
check_u
s
er_data: some user d
a
ta w
a
s lost at
t
he c
a
ll
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n Ca
r
penter
db: fix build br
e
akag
e
by adding the t
y
pe_info sc
h
ema
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Da
n
C
arpenter
d
b
: rename c
a
ll_i
m
plies to return
_
i
mplies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
d
ebug: impro
v
e buf size debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
r
penter
c
heck_signed: silence some fa
l
s
e
positives copying
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
che
c
k_shift_to_zero: silence some fals
e
p
ositive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
ch
e
ck
_
s
i
ze
o
f
:
f
i
x a typo in the warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf
_
size
:
fix
r
ecordi
n
g global sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
buf_compari
s
on: do
n
't save l
i
nks
t
o li
t
eral sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
comparison: add s
o
me debug outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpente
r
db: d
o
n
'
t split NULL and non-NUL
L
u
n
nec
e
ssarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
a
r
p
e
nter
db: fix
a NULL derefere
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carp
e
nt
e
r
d
b: set the
CACHE_PAGES size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpente
r
db: introduce t
h
e c
a
che_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpente
r
d
b: clean up the c
o
de and export som
e
m
o
re f
u
nct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpe
n
te
r
extra: use PARAM_LIMIT to limit binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
flow: nest so
m
e inline statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
modification_hooks: don'
t
allow multiple
m
o
di
f
ication
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpen
t
e
r
comparison: don't
save comparisons to
one
s
elf
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpen
t
er
c
o
mparison
:
add some parenthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
D
a
n Carpenter
v
al
i
dation: fix up some
f
ail
u
res
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Da
n
Carpent
e
r
comparison: fix fi
l
ter_b
y
_comparis
o
n == f
o
r ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Da
n
Carpenter
extra
:
just set sva
l
assign
m
ents
directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan C
a
rpenter
check_spectre: ignore m
a
sked off data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpente
r
spe
c
tre: use the
n
ew is
_
u
ser_rl() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpe
n
ter
user_data: sil
e
nce some more nto
h
l(foo[i]); false
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpent
e
r
user_d
a
ta: silence some sscanf() fa
l
se
po
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpe
n
ter
user_data: introduce is_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpe
n
ter
user_data: clea
n
up get_user_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Da
n
C
a
rpenter
c
o
mparison: fix
a
NU
L
L deref
e
rence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan C
a
rpenter
comparis
o
n: fix validation tests and a
d
d a new
t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
e
xtr
a
: remove an
u
nneeded
_
_
s
et_sm() in
db
_
p
a
ram_limit_
f
ilter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpent
e
r
he
l
per: strip out the byte swaps in strip_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpenter
validation/sm_locking3: fix fu
n
ction declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
u
n
known_value: clear the ->p
a
rent pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpenter
r
a
n
ges: improve s
t
r_to_c
o
mparison_arg_he
l
per()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpent
e
r
c
o
mparison: use smatch_extra d
a
ta
i
n
get_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpenter
comp
a
rison: imp
r
ove ha
n
d
l
ing of "i
f
(
+
+j == l
i
mit)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
compariso
n
: h
a
ndle j++ var sym l
i
sts
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
equiv: type and implicat
i
on fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpenter
r
a
nges: fix =
=
a
nd != comparisons
.
.
.
(
0_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
D
an Carp
e
nter
re
t
urn_to_param: fix pars
i
ng cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpen
t
er
validation:
update tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Dan
C
arpen
t
er
db:
m
ak
e
cal
l
_
i
m
plies rows unique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpenter
flow: remove the call_spli
t
_
e
x
p
r() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Car
p
enter
ext
r
a: handle c
o
mpa
r
i
sons to expression
s
tatements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
r
penter
db/fi
l
l_db_cal
l
er
_
info
.
pl: don't perma-ban fu
n
cti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpen
t
er
d
b/fi
x
up_kerne
l
.
sh: commi
t
all my stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
Carpenter
funct
i
on_ptrs: record local pointer sc
o
p
e
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpent
e
r
real_absolute: don't save si
n
gle value assi
g
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpenter
sval: fi
x
a b
u
g i
n
sval_too_lo
w
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpent
e
r
db: introduc
e
db_i
g
nore
_
st
a
t
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/untracked
_
param: m
a
rk
parameters untracked
i
f we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
enter
f
low:
don't parse inline
f
unctions which aren't interesting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
Dan
Carpent
e
r
db/constrain
t
s_requi
r
ed
.
schema
:
add missing semi-colon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
flow
/
expres
s
i
o
ns/function_ho
o
ks:
r
e-fix is
_
assigned_call()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpent
e
r
kernel: handle __r
e
ad_once_si
z
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
ma
t
h: fix a get_value() bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpenter
expres
s
io
n
s: make assign
_
expr
e
ssio
n
() take an op argu
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpenter
spect
r
e: warn about
p
otential
s
p
e
ctre vul
n
er
a
b
i
lities
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpe
n
ter
expressions: do
n
't set
t
he ->parent to a fake expr
e
ss
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carpente
r
expressio
n
s: just
allocate zero_expr()
f
res
h
every
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
D
a
n Car
p
e
nt
e
r
expression/
s
match_expressi
o
ns: move
e
xpr_set
/
get_parent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and: tidy up wh
i
tespace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
D
a
n
Ca
r
penter
or_vs
_
a
n
d
:
min_t
(
) uses the new min() co
d
e as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
D
a
n Carpenter
check_or_vs
_
and
:
ig
n
ore the kernel's m
i
n/max macr
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpe
n
ter
flow/math: handle __builtin_
c
hoose
_
expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Da
n
Carpenter
valid
a
ti
o
n/over
f
low: change "war
n
:" to "
e
rror:
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpenter
abo
u
t_fn_ptr_ar
g
: don't g
e
t into a re
c
urs
i
ve loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n Carpenter
helper: ad
d
ge
t
_
l
ast_statem
e
nt_from_expr
e
ssion_
s
tmt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
m
e
m_tracker: add
a --mem optio
n
to
d
ebug memory use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Ca
r
penter
expressions:
r
emove
s
o
me un
n
ecessary
g
otos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
h
e
lper: improve is_error_return()
.
In
t
h
e
ke
r
ne
l
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n
C
arpenter
smatch_data/smatch
.
comm
o
n_function
s
: ad
d
some com
m
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Car
p
enter
smatch_d
a
ta/ke
r
n
el
.
ignored_macros: add AA_BUG(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
arpent
e
r
smatch_data
/
kernel
.
i
gno
r
e_uninitializ
e
d
param
s
:
add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
arpe
n
ter
smatch_data/kernel
.
ig
n
o
re_sid
e
_effects ad
d
recen
t
macr
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
c
o
mparison: ha
n
dle expression stat
e
ments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpe
n
ter
comparison: remove some d
e
b
u
g cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
c
o
m
p
arison: intr
o
duce impossibl
y
_high_
c
ompar
i
son
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
Dan
Carp
e
nter
i
g
nore: fix && v
s
|| typo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
Dan Carpen
t
er
ind
e
x
_
ov
e
rflo
w
:
almost a re
-
write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan
C
a
r
p
ent
e
r
im
p
lied: improve
han
d
ling of assig
n
m
e
n
ts in argu
m
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Carpen
t
er
kernel_printf: don
'
t warn ab
o
ut void pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Car
p
enter
che
a
k
_
leaks: handle returning
c
o
nditionals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
ma
t
h:
introduce a
n
ew cache
of rece
n
tly used
c
o
nstants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
Carpen
t
er
math: h
a
ndle __builtin_
c
onst
a
nt_p() p
r
oper
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpent
e
r
m
ath: alloca
t
ed some permanent range l
i
sts
in r
l
_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpente
r
conditi
o
ns:
Fix parsing foo = (
{
.
.
.
label: __ret;
})
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
D
a
n Carp
e
nter
functi
o
n
_
hooks: don't
b
e too ambitious faking parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Da
n
Carpenter
ranges/ptrlist
:
solv
e
a leak
w
i
th a b
i
g hack (second
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpe
n
ter
allocate:
u
se
u
nsi
g
ned long to rec
o
rd
alloca
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
Carpe
n
te
r
deref
_
check: fix a
sm
a
ll leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Carpenter
hooks: introdu
c
e
F
UN
C
TION_CAL
L
_HOOK_BEFORE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
user_data: reading from a
n
a
r
ra
y
do
e
s
n't n
e
cess
a
r
i
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
implied: introduce impossi
b
le_assumption()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arpenter
buf_size: don't save unn
e
cessary states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next