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
extra: fix how hard max values are propagated
2021-01-25
D
a
n Car
p
enter
e
x
tra: fix
h
o
w
h
ard max val
u
es are
p
r
o
pagated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-25
Dan Carpenter
helper: err
o
r pointe
r
s are gone
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-25
Dan Carpenter
extra/funct
i
on_hooks: ha
n
dle fake function cal
l
s
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-25
D
a
n
Carpe
n
ter
e
xtra:
f
i
x
test for take ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-21
Dan C
a
rpenter
st
a
tes: f
i
x a use after free
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-21
D
an
C
a
rpenter
Merge
g
it://git
.
kernel
.
org/p
u
b/scm/dev
e
l/sparse/sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-19
Dan Carpen
t
er
states
:
fix
g
et_state_expr(
)
uses of fake_parent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-19
Dan
C
a
rpenter
flow: d
o
n't fake
a
parameter assignmen
t
o
u
tside of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-18
Dan Carpente
r
check_list:
a
dd
a co
m
ment abo
u
t ordering
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-18
D
a
n
Carpenter
kpatch:
w
h
ite space cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-18
Dan Carpenter
s
c
ripts/trace
_
params
.
pl: fix regex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
co
m
parison:
call simpl
i
fy_binops
(
) in
g
et_comparison_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
compa
r
ison:
fix how addr
e
sses are handle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Da
n
Carpenter
comparison: fix a bu
g
in get_comparison_helpe
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
D
a
n Carpenter
cons
t
raints_required: ignore fake assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
debug: re-work how debu
g
ging implications works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
D
an Carpenter
debug: add __smatch_timer
_
st
a
rt/stop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
D
a
n Carpent
e
r
flow: add --time-stmt option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
debug
:
add
_
_
smatch_debu
g
_v
a
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
par
a
m_set
:
add
r
esses can'
t
be
s
et
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
cappe
d
: addre
s
se
s
c
a
n't be capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-11
Dan Carpente
r
param_key: fix wh
e
r
e assignments are h
a
nd
l
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-08
Dan Carpenter
deb
u
g:
change how __smatch_
d
ebug_
c
heck() wo
r
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-08
Dan Carpente
r
param_set: ha
n
dl
e
N
ULL a
n
d POISON assignments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-07
Dan Carpenter
ex
t
ra: handle canoni
c
a
l
f
or loo
p
s with unknown en
d
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Dan C
a
rpenter
e
x
tra/
r
an
g
es: int
r
odu
c
e is_nod
e
ref_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Dan
Carpenter
param_s
e
t:
m
erg
e
s
o
me
som
e
c
onditio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Dan C
a
rp
e
nter
par
a
m_set: don't print useles
s
infor
m
a
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-19
Dan Carpenter
missing_error_code: introduc
e
n
e
w check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-19
Dan Carp
e
nter
locking: fix
resto
r
e
in cross function code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan
C
arpenter
par
a
m_compa
r
e_limit: don't
p
rint
i
mpossible co
m
parisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
D
an
C
arpen
t
er
scripts/kpatch: view the smatch warnings
i
n
the commit
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan
C
arpent
e
r
scripts/kpatch: put a comm
e
nted ou
t
diff int
o
the com
m
it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan Car
p
enter
script
s
/kpa
t
ch
:
change
t
he git log
f
ormat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
D
a
n Carpenter
kpatch
:
don
'
t hard code my n
a
me
as
the s-o-by
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-17
Da
n
Carpenter
flow: expor
t
is_last
_
st
m
t() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
D
a
n
Carpent
e
r
mod
i
ficati
o
n_hooks: ha
n
dle
addresses
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Car
p
ent
e
r
param_k
e
y: allow get_name_
s
ym_from_
k
ey() to take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpent
e
r
math: INT
_
M
A
X is never a ha
r
d max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpen
t
er
p
aram_key: fix some addres
s
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Car
p
e
nte
r
p
a
ram_set: fix param_was
_
set() for addresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Da
n
Ca
r
pente
r
param_set
:
d
o
n't record
so much
d
a
ta i
n
the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
D
a
n
Carp
e
nter
po
i
nts_to_u
s
er_
d
ata:
M
ake cop
y
_
f
rom_user()
set poin
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Da
n
Carpen
t
e
r
state
s
: us
e
the state from the fake
as
s
ignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan C
a
rpenter
function_ho
o
ks: se
t
implied states earlie
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Ca
r
penter
dere
f
erences
_
p
aram: don
'
t record addresses dereferenc
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-15
Dan Carpenter
d
eref: fix
i
nverted t
e
st
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carp
e
nter
c
h
eck_deref: silence false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
D
an C
a
rpenter
deref: d
e
lete all --spamm
y
information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carpenter
param
_
to_mt
a
g_data: don't rec
o
rd
f
ake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-07
Dan Carpenter
readl
_
infinite_loo
p
s: delete
t
his
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-01
Dan Carpenter
implied: fix reversed debu
g
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n
C
arpenter
ex
t
ra
:
fix some error pointer handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
extra: d
o
n't
save
need
l
ess D
B
rec
o
rds wh
e
n we r
e
t
ur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
Ca
r
penter
extr
a
: introduce parent_is_error_or_null_var_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
an
Carpenter
funct
i
o
n_ho
o
ks
/
u
n
wind: i
n
t
roduce return_im
p
lies_exact()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Da
n
Carpen
t
er
unwind:
sim
p
l
i
f
y the way re
t
urns ar
e
cat
e
g
o
r
i
z
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
an Carpent
e
r
u
n
wind: commit mi
s
sin
g
parts from
the ignore path pa
t
ch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
unwind: pa
t
h
s
wh
e
r
e t
h
e parent
is gone are
c
ounte
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Car
p
e
n
ter
unwind:
i
gnore paths
w
e
re dev
m
_add_ac
t
ion_o
r
_
r
eset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
u
n
wind: re
m
ove pci_
i
omap
(
) functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
a
nnot
a
te: fix h
o
w
s
np
r
intf()
i
s handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
a
ssigne
d
_expr: introduce get_ass
i
gn
e
d_expr_recurse(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Da
n
C
a
r
pente
r
compariso
n
: don't store pointless
f
ake
assign
m
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
an Carpenter
compari
s
on: remov
e
any
"+- 0" operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carp
e
nter
extra: ch
e
ck the
original
state first for fake parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
D
a
n Carpen
t
er
flow:
do a
f
ake cast
f
or A
R
RAYS
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
param_se
t
: handl
e
certain struct
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
db: only
do the ret
u
rn_info st
u
ff if it's going to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
param_used: ig
n
ore
s
ome sta
t
es
u
s
ed to fill
t
he DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpe
n
ter
user
_
data:
delete debu
g
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-13
Dan
Carpenter
l
o
cki
n
g
:
save
h
eld locks in caller_in
f
o table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
Dan Carpenter
db/
i
nsert_m
a
n
u
al
_
s
t
ates: don't
i
nsert d
u
p
lica
t
e states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
Dan
Carpenter
db
/
i
n
sert_manual_
s
tat
e
s: preserve the call
_
id
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-10
D
an
Carpente
r
parse_call
_
ma
t
h: f
i
x a s
e
gfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan C
a
rpent
e
r
bu
f
_size
:
f
i
x what
call
e
r_info to p
a
s
s
and what is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Ca
r
penter
db/
s
mdb: improve h
o
w sear
c
h
ing for function poi
n
ters
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpent
e
r
db
:
don't
c
a
l
l call_
i
nfo call backs unless it is
an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Car
p
enter
e
x
tra: do a sm
a
ll cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
a
n C
a
rpente
r
function_h
o
ok
s
:
a
d
d
helpers to reg
i
ster
a
l
l the
functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan
Carpenter
m
o
difica
t
ion_hooks: poten
t
i
al speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan
C
arpen
t
er
kernel,math: handle t
h
e __f
f
s(
)
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan C
a
r
pent
e
r
ker
n
el: ignore more m
u
tex i
n
te
r
nals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpe
n
ter
k
e
r
nel: don't
par
s
e TRACE_EVENT() funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
an
Carpenter
param_
k
ey: fix an ordering
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
param_key
:
enable for non-kerne
l
projects
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-28
Dan
C
arpenter
m
odification_hooks: sp
e
ed up cal
l
ing modification hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
signed: d
o
n't warn about u64 c
o
mpar
i
sons
w
ith
ULONG_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
an C
a
rpenter
flow:
d
on't par
s
e
inline
s
ag
a
in if they
t
a
ke a
l
ong
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan
Carpenter
p
aram
_
l
i
mi
t
: move
r
egistrat
i
on
b
efore param_set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
s
t
at
e
s: in
t
roduce has
_
states
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
mat
h
: don't
use
t
ype_val
u
e for get_implied_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
lea
k
s: small white spa
c
e c
l
ean
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
math
:
remove a stray space
c
haracter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
par
a
m_limi
t
/fil
t
er/set: use param_key
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpe
n
ter
p
a
r
am
_
key
:
export so
m
e fu
n
c
t
ions an
d
introdu
c
e map_to_param()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Da
n
Carpenter
smatch: sa
v
e less stuff
,
r
u
n fa
s
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
a
n Carpenter
type_
v
al: s
p
eed up type_val cache
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
an C
a
rpenter
f
low
:
clear out fake assignments
a
fter they're not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpent
e
r
m
ath: store
all con
s
tant EXP
R
_
BIN
O
P
r
e
s
ults
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next