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
container_of: re-write code to record caller_info containers
2018-07-25
Dan Carpenter
conta
i
ner_of: re-write
c
ode to re
c
ord caller_info contai
n
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
an Carpenter
ranges: allow
s
vals t
o
be pri
n
ted in hex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan C
a
rp
e
nter
ranges: fix par
s
i
ng of ulong_max and
ptr_max (
n
ot curr
e
nt
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Ca
r
penter
contai
n
er
_
of: flip t
h
e param and the value
a
r
ou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Ca
r
penter
address: fi
x
a
dd_of
f
s
e
t
_to
_
p
ointer
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
type: intr
o
duce
g
et_final_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
p
e
n
t
er
sval: handle pointer math better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
type: intr
o
duce
g
e
t_pro
m
o
t
ed_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
c
o
mpa
r
is
o
n: export filter_com
p
a
r
i
son
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Carp
e
nt
e
r
smdb
.
py: push all
m
y changes to t
h
is file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/kernel
.
return_f
i
xe
s
misc up
d
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
conditions
:
don't
parse NU
L
Ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/fixup_
k
ern
e
l
.
sh: delete '(un
i
on a
n
onymous)->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
f
l
ow: print slow t
o
parse fu
n
ctio
n
s when the --
t
ime
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
extra: intr
o
d
u
ce
value_pt
r
_
r
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
d
b
: add some more
schemas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Carp
e
nte
r
db/reload_parti
a
l
.
sh: fi
x
for cal
l
_
i
mpl
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
p
e
n
ter
db: hook
u
p
c
all_i
m
plies in
f
r
astructu
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpen
t
er
sval: fix sval
_
i
s
_a_min/max() for smaller ty
p
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rp
e
nter
sval: intro
d
uce sval_is
_
ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
d
b:
U
s
e
extra sm->poss
i
ble
t
o decide
if splitting the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
extra: introduce get
_
extra_sm_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
c
onditions: se
t
the parent e
x
pressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
imp
l
ied: set i
n
_fake_env
w
hen we do a
n
assume()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpente
r
slist: do a
smal
l
clean u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
store
d
_conditions: store more condi
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
struc
t
_
assignment: handle memcp
y
f
o
r pointe
r
math better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan
C
a
r
pen
t
er
spectre: s
i
le
n
ce so
m
e if (array[user_controll
e
d_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n Ca
r
pente
r
spectre: chang
e
output
fo
r
mat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan
Carpenter
spectre: rem
o
ve is_read/wri
t
e() c
h
ecks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n Carpe
n
ter
db: fix get
_
db_sta
t
e_co
u
nt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan
Carp
e
nter
helper: clean u
p
g
e
t_c
o
mp
l
ic
a
tion_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan C
a
rpenter
helper: sizeo
f
() is not com
p
licated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
condit
i
o
ns: split the zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
conditions: delete u
n
used function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
D
an Carpent
e
r
check_
u
ser_data:
mark kvm_register_read(
)
as r
e
tur
n
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
nospec
:
i
f
i
t's called wit
h
tr
u
sted d
a
ta
t
hat's the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpe
n
ter
user_data: don't pass
*
$ as
user data if the struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan
C
arpent
e
r
check_user_data:
some user data wa
s
lost at th
e
call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n
Car
p
enter
db: fix build
b
r
eaka
g
e
by addi
n
g the type_inf
o
schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
d
b
: rename call_
i
mplies to ret
u
rn_impl
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Ca
r
pente
r
debu
g
: improve buf size debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpenter
c
h
eck_signed
:
silence
so
m
e
f
alse posi
t
ive
s
co
p
y
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpe
n
ter
che
c
k
_shif
t
_to_zero
:
s
i
lence some
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
che
c
k_sizeo
f
: fix a
t
ypo in the warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
ent
e
r
b
uf_size
:
fi
x
re
c
ording global sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_compar
i
son:
don't save links to literal
sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
comparison: a
d
d some
de
b
ug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpente
r
db
:
don't split NULL and non-NULL
u
nnecessarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
Carpenter
db: fix a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
p
e
nter
db: set the
C
ACHE_P
A
GES si
z
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b
: introduce the cache_d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
db: cl
e
a
n up the code and export so
m
e more functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
extra: use PARAM_LIMIT
to limit
b
i
nops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
a
rpenter
flow: nest some inl
i
ne statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
mo
d
ification_hooks: don
'
t allow multip
l
e
m
o
dif
i
cation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpenter
comp
a
r
i
son: d
o
n't save
c
o
m
pariso
n
s to oneself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan
C
arpenter
c
omparison:
a
dd some
par
e
n
thesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpe
n
ter
v
alid
a
tion
:
fi
x
up s
o
me f
a
ilures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpente
r
comparison: f
i
x f
i
l
ter_b
y
_comparison == for rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
ext
r
a: just se
t
sval ass
i
g
n
m
ents
d
irect
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
check_spectre: ignore masked
o
f
f
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an Car
p
enter
spectr
e
: use
t
h
e
new i
s
_us
e
r_rl() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Car
p
enter
user_data:
s
ilence s
o
me more ntohl(foo
[
i
]
); false posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
u
s
er_data: silence some sscanf() false p
o
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpenter
us
e
r_
d
ata:
i
ntroduce is_u
s
er_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpenter
user_data: cleanup get_use
r
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carp
e
nter
compariso
n
: fix a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpe
n
te
r
com
p
ari
s
on: fix
v
alid
a
tion t
e
s
ts an
d
add
a
new test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
extra:
r
emove an unneeded __set_
s
m
(
)
in db_para
m
_limit
_
filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
hel
p
e
r: s
t
rip o
u
t the
b
yte swa
p
s i
n
strip_
e
xpr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
validati
o
n/sm_l
o
cking3
:
fix
funct
i
on declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Carpe
n
ter
unkn
o
wn_value: clear the ->parent pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Carpenter
r
anges:
improve
s
tr_to_
c
omparis
o
n_ar
g
_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpe
n
ter
compa
r
is
o
n
: use sm
a
tch_extra d
a
ta in get
_
comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
e
nter
compa
r
is
o
n: improve
h
andli
n
g of "if (++j == limit)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arp
e
n
ter
comparison
:
handle j
+
+
va
r
sym lists better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
p
e
nter
eq
u
iv:
t
ype and implication fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpen
t
er
range
s
: fi
x
==
a
nd != comparisons
.
.
.
(0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
D
a
n Ca
r
pente
r
return_to_param: fix parsing calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan
C
arpenter
validation: update
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Dan Car
p
enter
db: make c
a
ll_im
p
lies ro
w
s unique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpent
e
r
f
l
ow: remove the cal
l
_
s
p
l
it_exp
r
()
f
u
n
c
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carp
e
nter
e
x
tra
:
han
d
le
c
omparisons to
e
x
p
r
e
ssi
o
n statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Ca
r
penter
db/fill_db_c
a
ller_inf
o
.
pl:
d
o
n
't perma-ban functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db
/
fixu
p
_k
e
rnel
.
s
h
: c
o
m
mi
t
al
l
m
y
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carpenter
function_ptrs
:
r
ecord
lo
c
al pointer scope correc
t
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
r
eal_absolute: don't save singl
e
value assi
g
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
er
sval: fix a bug in
sval_too_low()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n
Carpen
t
er
db: introduc
e
d
b_ignore_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpente
r
db/untr
a
cked_param:
m
ark para
m
eters untrack
e
d if w
e
.
.
.
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 are
n
't interesting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
Dan Ca
r
penter
db/constrain
t
s_
r
e
q
uire
d
.
schema: add missing semi-colon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Ca
r
penter
flow
/
expre
s
sions/function_hook
s
: re-fix is_assigned_call()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
D
an Carpenter
kernel:
h
and
l
e __re
a
d_
o
nce_s
i
ze()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
ma
t
h:
f
ix a ge
t
_value()
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
Da
n
Car
p
enter
expression
s
:
m
a
ke assign_expres
s
ion
(
) take an op
argument
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpe
n
t
e
r
spectre: warn about p
o
tential
spectre vulne
r
abiliti
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpenter
expre
s
sio
n
s: d
o
n'
t
set the ->parent to a fake expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
Dan Ca
r
p
en
t
er
expressions:
j
ust allocate
zero_e
x
pr
(
) fre
s
h every
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next