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
ranges: allow svals to be printed in hex
2018-07-25
Dan
C
arpenter
ranges:
a
llow
sval
s
to
b
e printed
in
h
ex
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan
Carp
e
nter
r
an
g
e
s
:
fix parsing of ulong_max and
ptr_max (not currently
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carp
e
nter
containe
r
_of: flip the param and the value around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Da
n
Carp
e
nter
a
d
dress: fix
a
dd_offs
e
t_to_pointer()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpe
n
ter
type: int
r
oduce ge
t
_final_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carp
e
nter
sval: hand
l
e pointer math bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
en
t
er
t
y
pe: intr
o
d
uce
get_pr
o
m
oted_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
en
t
er
c
o
mparison: export filter_co
m
parison(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
smdb
.
py:
push all my changes to
this fil
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
rpenter
d
b
/kernel
.
return_fixes misc updates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
r
p
enter
condition
s
:
don't parse N
U
LLs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
db/fixup_kernel
.
sh: d
e
lete '
(
uni
o
n a
n
onymous)->__
v
al
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
flow: print slo
w
to
p
arse functions when the --time
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
ex
t
r
a
: introd
u
ce value_ptr_r
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
db: add some more sc
h
emas
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
db/reload_partial
.
sh: fix for c
a
ll_implies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
rpent
e
r
db: hook u
p
call_im
p
lies infras
t
ructure
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Carpenter
sval: fix
s
val_is
_
a_min/max() for sma
l
ler
t
y
pes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpente
r
sval:
i
ntr
o
duce sval_is
_
p
t
r(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carp
e
nter
d
b
: Use e
x
t
r
a sm->
p
ossible to
d
ec
i
de if splitt
i
ng the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
ext
r
a: i
n
troduce get_extra_
s
m_stat
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpe
n
te
r
conditions: set the pa
r
ent
e
xpress
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
implied: set in_fake_env
w
hen we
d
o
an assu
m
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sli
s
t: do
a smal
l
clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
sto
r
ed_conditio
n
s: store mo
r
e conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
stru
c
t_assi
g
nm
e
nt:
h
a
ndle memcpy for pointer math better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Da
n
Carpent
e
r
spectre: silence some if (array
[
user_c
o
n
trolled_
o
ffset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Da
n
Carpen
t
er
spectre: change
o
utp
u
t
fo
r
m
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
D
an Carpenter
s
p
ectre: remove is_read/write()
c
he
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Da
n
Car
p
ente
r
db:
f
ix get_db
_
stat
e
_coun
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
an
C
arpenter
helper: clean up get
_
complication_sco
r
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n
C
a
r
penter
helper: s
i
zeof() is n
o
t c
o
mp
l
ic
a
ted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
an Carp
e
nter
condi
t
io
n
s: spl
i
t the zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan C
a
rpenter
condi
t
ions:
delete unused functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-03
D
a
n Carpe
n
ter
check_user_dat
a
: m
a
rk kvm_re
g
ister_read() as returning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Da
n
C
a
rpen
t
er
nospec: if it's cal
l
ed with trusted data t
h
at's the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n Carpen
t
er
u
s
e
r_da
t
a: don't pass *$ as
u
ser
d
ata if the struc
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
check_user
_
dat
a
: some user data was lost
a
t the c
a
ll
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n
Carp
e
nter
db: fix bui
l
d
breakage by adding the typ
e
_info sche
m
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db: rename call_implies to return
_
imp
l
i
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan C
a
rpenter
debu
g
: improve buf size deb
u
gging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n C
a
rpenter
che
c
k_signed: silenc
e
some fals
e
positives copying
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
che
c
k
_sh
i
ft_to_zero: silence some fal
s
e
p
ositiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
ar
p
enter
check_sizeof: fix a typo in th
e
wa
r
ning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
pent
e
r
b
u
f_siz
e
: fix recording glob
a
l sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an Car
p
en
t
er
buf_comparison: don'
t
sa
v
e link
s
to lite
r
al
s
i
z
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpente
r
c
o
mparison: a
d
d some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b
: don
'
t split NULL and non-N
U
LL unnecess
a
rily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpente
r
db: fix a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db:
s
et the
C
ACHE_PA
G
ES size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpente
r
d
b
: introd
u
ce the
cache_
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpente
r
db: clean up the code
and export
some more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
extra: use PARA
M
_LIMIT
to limit bi
n
ops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
f
low:
n
est some inline sta
t
e
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpente
r
m
o
d
ification_hooks: don't allow
m
ultiple modif
i
cation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpenter
co
m
pa
r
ison: do
n
't save c
o
mpa
r
iso
n
s
to on
e
self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan
C
a
rpenter
comparison: add some parenthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
D
an Carpente
r
v
alidation:
f
ix u
p
s
o
m
e
fai
l
ures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carp
e
nter
comparison:
f
i
x filter_by_co
m
pariso
n
== for ra
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan Ca
r
penter
extr
a
:
just set sval assig
n
ments directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
ch
e
ck_s
p
ec
t
re:
i
gnore masked o
f
f data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
Carpenter
s
p
e
c
tre: use the new is_user
_
rl() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpente
r
user_data: silence some mor
e
ntohl
(
foo[i
]
);
fals
e
positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
u
s
e
r
_da
t
a
:
s
i
le
n
ce some sscanf() false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carpenter
user_data: introduce is_u
s
er_data
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
an Carpen
t
er
user_
d
ata:
cle
a
nup
g
e
t
_user_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan
Carpente
r
comparison: fix a NU
L
L deref
e
rence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpe
n
ter
compar
i
son: fix validation test
s
and add a new
t
est
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
extra: remove
a
n unneed
e
d
_
_
set_sm() i
n
db
_
param_lim
i
t
_
filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
he
l
per: strip
o
ut the by
t
e swaps
i
n strip_ex
p
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
validat
i
on/sm_l
o
cki
n
g3:
f
ix func
t
i
o
n decl
a
r
ation
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
unknown_v
a
lue: clear the
->parent pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpenter
ranges: impr
o
ve str_to_
c
omparison_arg_he
l
per()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpent
e
r
com
p
ari
s
on: use
s
match_extra data in get_compa
r
ison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpenter
comparison: i
m
p
rove handling
o
f "if (++j == limi
t
)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
enter
compari
s
on: handle
j++
v
a
r sym l
i
s
t
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
a
rpenter
equiv: type and implicat
i
o
n
f
i
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpenter
ranges: fix == and != comparisons
.
.
.
(0_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan Ca
r
pent
e
r
return_to_p
a
ram: fix parsin
g
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
D
an Carpenter
valida
t
ion:
u
pdate test
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Dan Carpenter
db: make ca
l
l_
i
m
plies rows unique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
flow: remove the call_spl
i
t_expr() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
e
xtra: ha
n
d
le
c
ompari
s
ons t
o
e
x
p
ression statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/
f
i
ll_
d
b_caller_info
.
pl: don't p
e
r
m
a-
b
a
n
functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db
/
fixup_kernel
.
sh: commit all my stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
function_ptrs: recor
d
local po
i
nter scope correc
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpente
r
r
eal_absolut
e
: don't save si
n
gle va
l
ue assign
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpenter
sval: fix a bug in
sva
l
_to
o
_low()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
db: introduce d
b
_ignore_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpen
t
er
db/untracked
_
param: mark paramete
r
s u
n
tracked if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
a
rpe
n
ter
flow: do
n
't parse inline
functions which ar
e
n
't in
t
eresting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
Dan Carpenter
db
/
constraints_required
.
schema: ad
d
missing semi-col
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpent
e
r
flo
w
/ex
p
re
s
si
o
ns/function_hooks: r
e
-fix i
s
_assigned_cal
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpent
e
r
ker
n
el: handle __r
e
ad_once_
s
i
ze()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
math: fix
a
get_value
(
) bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan C
a
rpenter
expressions: m
a
ke assign_expression(
)
take
a
n
op argument
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Da
n
Carpenter
sp
e
c
tre: w
a
rn
about pot
e
ntial spectre v
u
l
nerabilities
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
D
an
C
arpe
n
t
er
e
x
pressions: don't set th
e
->parent to a fake expre
s
sion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Da
n
Ca
r
p
e
nter
expressio
n
s: just allocate zero_expr()
fresh every
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpenter
expr
e
s
sion/smatch_express
i
ons: move e
x
p
r_set/
g
et_parent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next