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 Carpenter
r
a
nges:
allow
s
va
l
s
to
b
e
printed in
hex
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
arpent
e
r
ranges: fix parsing o
f
ulong_ma
x
a
n
d ptr_
m
a
x (not currently
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
a
r
p
e
nter
c
o
nt
a
iner_of:
flip th
e
p
a
ram an
d
the value aro
u
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Carpente
r
address:
fix add_offs
e
t_to_po
i
nter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpe
n
ter
type:
i
ntroduce get_final_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
sva
l
: handle poi
n
ter math better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpen
t
er
t
y
pe
:
i
n
troduce get_p
r
omoted_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
comparison: export filter_compari
s
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpe
n
ter
smdb
.
py: p
u
s
h
all my c
h
a
n
g
es to
t
his f
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
db/kernel
.
r
eturn_fixes misc updates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
conditions: don't parse NULLs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
C
arpenter
db/fixup_kern
e
l
.
sh: delete '(un
i
on an
o
nymou
s
)
-
>__
v
a
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
f
l
o
w
: print slow to
p
ar
s
e fu
n
c
t
ions when the --time
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
extra: introduce value_p
t
r
_
r
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
db: add so
m
e more schemas
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpent
e
r
db/
r
eload_partial
.
sh
:
fix for call_impl
i
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
d
b
:
h
o
o
k
u
p
call_implies in
f
rast
r
ucture
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
sval: fix sv
a
l
_
i
s_a
_
min/max() for smalle
r
type
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
sval: introduc
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 extra s
m
->possible to deci
d
e if splitting
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
extra: introduce get
_
extra_sm_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carp
e
nter
cond
i
tions: set the parent
express
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
implied:
set
in
_
fake_env when
w
e
d
o an assume()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpent
e
r
slist: do a
small clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sto
r
ed_co
n
dit
i
ons:
store more condition
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
struct_assign
m
ent: handle memcpy for poi
n
t
e
r m
a
t
h b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
sp
e
ctre
:
s
i
lence some if (array[user_controlled_
o
ff
s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n
Ca
r
penter
spectre: cha
n
ge output format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Da
n
Carpenter
spectr
e
:
remove is_
r
ead/write() checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan
Carpenter
db:
f
ix get_db_state_count
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n Carpe
n
ter
helper: clea
n
u
p
g
et_complicat
i
on_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Ca
r
penter
helper: sizeof() is no
t
complicat
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n Carpenter
conditions: spli
t
the zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan
C
arpenter
c
o
ndit
i
ons: delete un
u
sed functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-05
Norbe
r
t Manth
e
y
s
pectre: all
o
w
to flag all occur
r
ences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-03
Da
n
Carpente
r
check_use
r
_data:
m
ark kvm_re
g
i
ster_r
e
ad() as return
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
nospec: if
i
t's call
e
d with tr
u
st
e
d data
t
hat's the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
user_data: don't pass *$ as u
s
er data if t
h
e struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan
C
arpent
e
r
c
h
e
ck_user_data: some user
d
a
t
a wa
s
lost at the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db: fix build breakage by adding
t
he ty
p
e_i
n
fo schema
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carp
e
nter
db: rename
c
all_impl
i
es to ret
u
rn_
i
mpl
i
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan C
a
rp
e
nter
d
e
bug: improve bu
f
size debugg
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
C
arp
e
nter
check_sig
n
ed: silenc
e
some false positives
c
opying
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rp
e
nter
ch
e
ck_shift_to_zero: si
l
ence so
m
e
f
alse positi
v
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_s
i
z
e
o
f
:
fix a ty
p
o in t
h
e
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Ca
r
penter
b
u
f_s
i
ze: fix recording global sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpenter
buf_comp
a
rison: don't save links to literal sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
com
p
a
rison: ad
d
some deb
u
g
o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpenter
db: don
'
t split
NULL
a
n
d non-NULL unnecessar
i
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: fix a NULL
derefere
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpente
r
db:
set th
e
C
A
CHE_
P
AGES size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
db: int
r
o
duce
t
he c
a
che_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpenter
db: clean u
p
the code a
n
d
export some more
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
nt
e
r
extra: use PARAM_
L
I
MIT to lim
i
t binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpenter
f
l
ow
:
n
est some inline statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpent
e
r
m
odificat
i
on_h
o
ok
s
: don't allow multiple mod
i
fication
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpenter
compa
r
ison: don't save compar
i
son
s
t
o
oneself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan Ca
r
penter
comparison:
a
dd some p
a
r
e
nthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carp
e
nter
valid
a
tion:
fix up some fa
i
lures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan C
a
r
p
enter
c
omparison:
fix
f
i
lter_by_comparison == for
rang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan
C
a
rpenter
e
xtra: just set sval ass
i
gn
m
ents
d
irectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
a
r
p
e
nter
chec
k
_spectre
:
ig
n
ore masked off da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
ar
p
enter
spectre:
u
se the new is_user_rl()
f
u
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan C
a
rpenter
user
_
data: si
l
ence some
m
ore ntohl(foo[i]); fals
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
an
Ca
r
p
e
nter
user_data: silence
s
ome sscanf() false po
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Car
p
enter
user_data:
i
ntr
o
d
u
ce is_use
r
_data(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
nter
u
s
e
r
_data: cleanup get_user_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
D
a
n Carpenter
co
m
pa
r
i
son
:
fix a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
D
a
n
C
arpenter
c
o
mparison: fix validation test
s
and a
d
d a n
e
w test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
e
nter
extra: remo
v
e an un
n
eeded __set_sm
(
) in db
_
p
aram_limit
_
f
ilter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
helper:
str
i
p out the
byte swaps in strip_
e
xpr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an C
a
rp
e
nter
va
l
idation/sm_
l
ock
i
ng3: fix funct
i
o
n dec
l
ara
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpent
e
r
u
n
k
n
own_value
:
clear the
-
>parent point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
ra
n
ges: impro
v
e
str_to_comp
a
r
i
son_a
r
g
_
helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpenter
com
p
a
r
ison: use sma
t
ch_
e
x
t
ra da
t
a in get_comp
a
r
i
son()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
comparison: improve handl
i
n
g
of "
i
f
(
++j == lim
i
t)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpent
e
r
comp
a
rison: han
d
le j++ var sym lis
t
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
equi
v
: typ
e
and
i
mplication fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpenter
range
s
: fix == and != comparisons
.
.
.
(0_
0
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
return_
t
o_param: f
i
x
parsing cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpenter
v
ali
d
ation: update
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
D
an Carpenter
db: make call_implie
s
rows
u
n
i
q
ue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpenter
fl
o
w
: remove the call_split_e
x
pr(
)
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
extra:
handle comparis
o
ns
t
o
e
xpression st
a
temen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
Ca
r
pente
r
db/fill_db_c
a
l
l
er_in
f
o
.
p
l: don't perma-ban functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carp
e
nter
db/fixup_kerne
l
.
s
h
: co
m
mit all my stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
fun
c
tion_ptrs:
r
ecord
local
pointer sco
p
e co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
real_ab
s
olute:
d
o
n't save single value assigns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan 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 Carp
e
nt
e
r
db: in
t
roduce db_ignore_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
enter
db/untrac
k
ed_p
a
ram: mar
k
param
e
te
r
s untr
a
c
ke
d
if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpenter
flow: don't parse inline functions which a
r
en't interesti
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
Da
n
Car
p
enter
db/constraints
_
required
.
schema
:
add missing semi-colon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
flow/
e
xpressions/function
_
hooks: r
e
-fix is_assigned
_
call()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpente
r
kernel: handl
e
__rea
d
_onc
e
_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
math: fix
a
g
e
t
_
v
alue() bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan Car
p
e
n
t
er
expre
s
sions: make
assig
n
_expression() take
an op ar
g
ument
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
D
a
n
Carpent
e
r
s
pec
t
re:
warn abou
t
potential
s
p
ectre v
u
lnerabilities
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Car
p
ente
r
e
xpressions: don't set
the ->parent to a f
a
k
e
ex
p
ression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carpen
t
er
expressions: jus
t
allocate zero
_
expr() fre
s
h every
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next