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
Dan Carpe
n
ter
extra: fix how hard max valu
e
s
are propagated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-25
Dan Carpenter
helper: erro
r
pointers a
r
e gone
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-25
Da
n
Carpent
e
r
e
xt
r
a/function_h
o
oks
:
handle fake function calls
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-25
Dan Carpenter
e
xtra: f
i
x test f
o
r
take
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-21
Dan Car
p
enter
stat
e
s: f
i
x a us
e
a
fter free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-21
Dan Carpent
e
r
M
erge g
i
t://git
.
kernel
.
o
rg
/
pub/scm/dev
e
l/spa
r
se/spars
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-19
Dan
C
a
rpenter
stat
e
s:
f
ix get_state_expr(
)
use
s
o
f fak
e
_par
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-19
D
an
C
arp
e
nter
f
l
ow
:
don't
f
a
ke a parameter assi
g
nment outs
i
d
e
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-18
Dan
C
arpenter
check_list:
a
dd a comment
about ordering
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-18
Dan
Ca
r
penter
kpatch: whi
t
e s
p
ace cle
a
nup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-18
Dan
C
arpenter
s
cr
i
p
t
s/trac
e
_p
a
ram
s
.
p
l
: fi
x
regex
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan
C
arpen
t
er
c
omparison:
c
a
l
l
s
implif
y
_binops() in get_comparis
o
n_helper(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carp
e
nter
c
o
mparison: fix how addre
s
ses
a
re h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpen
t
er
c
omparison:
f
ix a
b
ug i
n
g
e
t_compa
r
ison_he
l
per()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
D
a
n Carpenter
c
onstraints_required: ignor
e
fake ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
D
a
n C
a
rpenter
d
ebug
:
re-work how debu
g
g
i
n
g imp
l
ications
w
o
r
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
debug: add
_
_s
m
atch_
t
imer_start/stop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan
C
a
r
penter
flow: add --time
-
stmt option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
debug: add __
s
match_debu
g
_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Car
p
e
n
ter
param_s
e
t
: addresses can't
be set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpente
r
capped: addresses can't be
c
a
pped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-11
Dan
Carp
e
nter
param_key: f
i
x
w
here assign
m
ents are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-08
D
an Carpenter
debug: change how __s
m
atch_debug_check() works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-08
Dan Carp
e
nter
par
a
m_set: ha
n
dle NULL and POISON as
s
ig
n
me
n
ts better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-07
Dan Car
p
enter
extra: handle canon
i
cal for loops wit
h
un
k
n
o
wn
e
nds
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-06
Dan Carpenter
e
x
tra/ranges: introduce
is_noderef_p
t
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-06
Dan
C
ar
p
en
t
er
param_set: merg
e
some some conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-06
Dan Carpenter
param_set: don
'
t
p
rin
t
u
s
e
less information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-19
Dan Carpente
r
missing_
e
rror_code: intro
d
uce new check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-19
Dan Ca
r
penter
lo
c
k
i
ng: fix
r
estore in c
r
oss func
t
ion code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpen
t
er
param
_
compare_limit:
don't
print impo
s
si
b
l
e compar
i
so
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpenter
s
c
ripts/kpatch: vie
w
the
smatch
warnings in the co
m
m
it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpenter
scrip
t
s/
k
patch: put a commente
d
out di
f
f into the commit
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Dan Car
p
enter
sc
r
ipts/kpatch: change the
g
it log format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpenter
kpatch: don't hard
code
m
y name
as the s-o
-
by
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-17
Dan Carpenter
flow:
export is_last_stmt(
)
fu
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan
C
arpenter
modificat
i
on_hooks: h
a
ndle addresse
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
param_ke
y
: allow get_name_sym
_
from_key() to take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan C
a
rpente
r
math: INT_MA
X
is never a
h
ard max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carp
e
nt
e
r
pa
r
am_key: fix some address handlin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Da
n
Carp
e
nter
param_set: fix param_w
a
s_set() for addr
e
sses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
D
an Carpenter
p
a
r
a
m_set: don't
r
ec
o
rd so
muc
h
data
i
n
the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
points_to_user
_
data
:
Make c
o
p
y
_from_user() set poin
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan
Carpenter
states: use the state
f
r
om the fake as
s
ignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan C
a
r
p
ente
r
function_hooks:
s
et
implied states earli
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Da
n
Carpe
n
ter
dereferen
c
es_
p
aram:
d
on't record addre
s
ses dereferences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-15
Dan Car
p
enter
der
e
f:
fix i
n
verted
t
est
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-14
Dan Ca
r
penter
ch
e
ck_deref: silence fa
l
se po
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carpe
n
ter
d
eref: delete all --spa
m
m
y
info
r
mation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carpen
t
e
r
p
a
ra
m
_to
_
mtag_data: don't
r
ecord fake
assi
g
n
m
en
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-07
Dan Car
p
enter
readl_infinite_loops: delete
t
his check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-01
Dan Carpenter
i
m
plie
d
: fi
x
rev
e
rsed
d
e
b
ug out
p
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpen
t
er
extra: fix s
o
me error pointer h
a
ndling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan C
a
rpenter
extr
a
: don't save
n
eedless DB reco
r
ds when
w
e return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan
C
arpe
n
ter
extra: introduce pa
r
ent_is_error_or_null_var_s
y
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Da
n
Carpenter
function_
h
o
oks
/
unwind:
intro
d
u
ce return_implies_exact()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
unwind
:
s
implif
y
the way retur
n
s are catego
r
ized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpent
e
r
unwi
n
d
: commit missing
p
arts from the ignore pa
t
h patch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpente
r
unwi
n
d
:
paths
w
he
r
e the
pa
r
ent is
g
one
a
re c
o
un
t
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan C
a
rpen
t
er
u
n
wind: ignore paths were
d
evm
_
ad
d
_action_or_res
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpen
t
er
unwind: remove pci_iomap() funct
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carp
e
nter
annotate:
fix how s
n
printf() is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carp
e
nter
a
s
s
igned
_
e
xpr: intr
o
duce get_ass
i
gned_expr_recu
r
se()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan
Carpe
n
ter
comparis
o
n:
d
o
n't store pointle
s
s
f
ake
a
ssign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Ca
r
p
enter
c
omparison: remove a
n
y "
+
- 0" operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
D
an Carpenter
extra: check
t
he o
r
i
g
inal state fir
s
t
for fa
k
e
p
arameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carp
e
nt
e
r
f
low: do a
fake
cast for ARRAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
pa
r
am_set
:
handle certain
struct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan
C
a
r
penter
db: only do
the
r
eturn_info st
u
ff if it's going to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
D
a
n C
a
rpenter
param_used:
ignore some states used to fill the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan
C
arpenter
use
r
_data:
d
el
e
te de
b
u
g c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-13
Dan Carp
e
nter
lockin
g
:
save held lock
s
in caller_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-12
Dan
Car
p
ent
e
r
db
/
insert_manual_states: don't insert dup
l
icate states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-12
Dan Carpenter
d
b
/
insert_manua
l
_states: preser
v
e the ca
l
l_id
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-10
Dan
C
arpenter
parse_call_m
a
th
:
fix a s
e
gfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan
C
arpenter
buf_size:
f
ix what
c
all
e
r_
i
nf
o
t
o pass
and wha
t
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Ca
r
penter
db/smdb:
i
mprove ho
w
searching for function pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Da
n
Carpenter
db
:
don'
t
call call_info call b
a
c
k
s
unle
s
s it is an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
extra: do a
s
mall cle
a
nup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
fun
c
tion_hooks: add
h
el
p
ers to regis
t
er all the functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpente
r
m
o
dification
_
hooks: potential s
p
e
e
d up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Da
n
Carpen
t
er
kernel,m
a
th:
h
a
n
d
le t
h
e __f
f
s()
f
un
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
D
a
n Carpenter
k
e
rnel
:
ignore more
mutex internal
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan
Carpen
t
er
k
ernel: don't parse
T
RACE_EV
E
NT() f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carp
e
nter
param
_
ke
y
: fix an
or
d
ering bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
D
an Carpen
t
er
p
ara
m
_key:
e
nable for non-k
e
r
nel projects
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-28
Dan Carp
e
nter
m
o
dific
a
tio
n
_hooks: spee
d
up cal
l
ing modificat
i
on
h
ooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carp
e
nt
e
r
sig
n
ed: don'
t
warn about u64 comparison
s
with U
L
ON
G
_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpent
e
r
flo
w
: d
o
n'
t
parse inlines again if t
h
ey
take
a lon
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan Car
p
enter
p
a
ram_limi
t
: m
o
ve regi
s
tr
a
tion
before param_set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpen
t
er
s
tate
s
:
i
ntroduc
e
has_state
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan
Carp
e
nter
math: don't
u
se type_value for get_impl
i
ed_
r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
leaks: small
w
hite
space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpent
e
r
math: remove a st
r
a
y
space
character
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan Ca
r
penter
p
a
ram_limit/
f
i
l
ter
/
s
et: us
e
param_key code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan C
a
rpenter
param_key
:
export some
function
s
and
i
ntrodu
c
e map_to_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan
C
arpenter
smatch: sa
v
e less stuf
f
, run fast
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
D
a
n
C
a
r
p
e
nter
type_val
:
spee
d
up type_val cache
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
flow: clear out fa
k
e
assignments
after
t
h
ey'r
e
not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
D
an Ca
r
penter
ma
t
h: store al
l
constant
E
XPR_BINOP
results
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next