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
expressions: make gen_expression_from_name_sym() handle addresses
2021-02-10
Dan Carpenter
exp
r
e
s
sions: mak
e
g
e
n_exp
r
ession_f
r
om_name
_
sym() handle
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-10
Da
n
Carpenter
db/param_limit/param_us
e
d: don't insert useless ad
d
ress
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-10
Dan
C
arpenter
extra: use fake assignment
s
for caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-08
Dan Carpente
r
check_l
o
c
king: delete ol
d
states correctly (
s
o
r
t of
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-08
Dan Carpenter
locking:
re-write and fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-03
Dan Carpe
n
ter
ex
t
ra: t
a
k
e
a short cut in
param_l
i
mit_binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-03
Dan Carpenter
extra: f
a
ke assignments are al
s
o equivalent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-03
Dan
C
a
rpenter
d
b: fi
x
how &foo->lock state
s
ar
e
ins
e
rted
i
nto th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-27
Dan Carpe
n
t
e
r
f
unction_
h
ooks/
c
heck_unw
i
nd: a
d
d
param_key
_
hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-25
D
a
n Carpenter
extra: fix how
har
d
max v
a
lues are propagated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-25
Dan C
a
rpent
e
r
h
e
lper: er
r
or
p
oint
e
rs
a
re gone
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-25
Da
n
Carpente
r
ext
r
a/fu
n
ction_hooks: handle fake
f
unction calls
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-25
Dan
Carpent
e
r
extra: fix
tes
t
f
o
r
t
ake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-21
Dan Carpenter
stat
e
s: fix a u
s
e
after fr
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-21
Dan Ca
r
pe
n
te
r
Merge git://
g
it
.
kernel
.
org/p
u
b/scm/de
v
el/s
p
ars
e
/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-19
Dan Carpenter
states: fix get_state_
e
xpr() uses of fake_parent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-19
Dan
Carpenter
flo
w
: d
o
n't fake a para
m
eter assignment outs
i
de of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-18
Dan Carpenter
check_list: ad
d
a
c
omme
n
t
about ordering
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-18
D
a
n C
a
rpenter
k
patch: w
h
it
e
space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-18
Dan Carpen
t
er
scripts/
t
race_p
a
r
a
ms
.
pl: fix regex
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Da
n
C
a
rpenter
co
m
pariso
n
: call
s
implify_bin
o
ps() in get
_
c
o
mp
a
rison_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
comparison: fix how add
r
ess
e
s are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
compariso
n
:
f
ix a bug in
g
et_c
o
mparison_h
e
lper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan
C
arpenter
constraints_required:
i
g
nor
e
fake assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Da
n
C
a
rpen
t
er
d
e
bug: re-wo
r
k how
debug
g
ing
implications work
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
debug
:
add __smat
c
h
_time
r
_s
t
art/stop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
D
a
n Carpenter
flow: add --tim
e
-s
t
mt option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
debu
g
:
add
_
_sma
t
ch_debug_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan
C
a
r
p
en
t
er
p
aram_set: addresses can'
t
be set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan C
a
rpenter
cap
p
e
d: addresses
c
an't be capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-11
Da
n
Carpente
r
param_key: f
i
x
wher
e
a
s
signment
s
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-08
Dan Carpenter
debug: ch
a
nge how
_
_smatch_debug_ch
e
ck()
w
or
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-08
Dan Carpen
t
er
param_
s
et: handle NULL
and POISON
a
ssignme
n
ts better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-07
D
an Car
p
enter
extra: han
d
le canonical for loops
with
u
nkno
w
n end
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-06
Dan Carpenter
e
x
tra/range
s
:
i
ntroduce is_n
o
deref_ptr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-06
D
an Carpenter
param_set: mer
g
e some s
o
me conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-06
Dan
C
a
rpenter
param_se
t
: don't print use
l
ess i
n
f
o
rmation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-19
Dan Carpenter
missing_erro
r
_cod
e
: introduce new check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-19
Dan
C
a
r
pen
t
er
l
o
c
k
ing: fix
r
estore in cross fun
c
tion code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Dan Ca
r
penter
param
_
c
ompare
_
lim
i
t: do
n
't print impossibl
e
c
o
mpa
r
ison
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Dan Car
p
enter
script
s
/kpatch: vi
e
w the smatch warnings in the
commit
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpenter
scrip
t
s
/k
p
atch: put
a
comment
e
d
out d
i
ff into
th
e
commit
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Dan
C
a
r
p
ente
r
scripts/kpatch: change the git
l
og forma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpenter
k
patch: don't hard code my name a
s
the s-o-
b
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-17
Dan Carpenter
flow: export is_last_stmt()
functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Ca
r
p
enter
modification_hoo
k
s: hand
l
e add
r
esses be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Da
n
Ca
r
pente
r
para
m
_k
e
y
:
al
l
ow get_name_sym_from_key() t
o
ta
k
e a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
math: INT_MAX is never
a
hard m
a
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carp
e
nter
p
ara
m
_key: fix some address handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
par
a
m_set: fi
x
param_was_set()
f
or addresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Da
n
C
a
r
p
e
n
ter
param_set: don't record
s
o much data in the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
D
a
n Carpenter
points
_
to_user_
d
a
t
a: Make c
o
py_from
_
u
s
er() set point
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpe
n
ter
s
t
ates: u
s
e
t
h
e state fro
m
the fake ass
i
gnment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpente
r
function
_
hooks: set implied
s
tates earl
i
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
de
r
eferences_par
a
m: don't r
e
cord
addresses dereferences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-15
Dan Ca
r
p
e
nter
deref:
fix i
n
verted tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carpenter
check_deref: silence fa
l
se positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-14
D
an C
a
rpenter
d
e
ref: de
l
ete all --spammy inform
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carp
e
nter
param_to_mtag_dat
a
:
d
on't
record fake
a
s
s
i
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-07
Dan Carpent
e
r
r
ead
l
_
infinite_loops: delete this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-01
Dan
C
arpen
t
er
implie
d
: f
i
x reversed
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n Carpenter
ex
t
ra:
f
i
x some error
pointe
r
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n Carpenter
extra: do
n
't save ne
e
dless DB records
when
we r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Car
p
ent
e
r
extr
a
: introduce
pa
r
ent_is_error_or_nu
l
l_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpente
r
func
t
ion_hooks/
u
n
w
ind:
i
ntrodu
c
e
r
e
t
u
rn_impl
i
es_
e
xact()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
D
an
C
a
rpe
n
ter
unwin
d
: simp
l
ify
t
he way retur
n
s a
r
e categorized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
unwind: commit missing part
s
from the ig
n
ore path patch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan
C
arpe
n
t
er
un
w
ind: paths where t
h
e parent is gone are counted
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Car
p
en
t
er
unwind: ignore paths were d
e
vm_add
_
a
c
ti
o
n_
o
r_reset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Da
n
Carpenter
unwind: remove pci_iom
a
p(
)
func
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpe
n
ter
annotate: fix
h
o
w snprintf()
is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n Carpenter
assigned_expr: introduce get_assigned_ex
p
r_recu
r
se()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n
C
arpenter
comparison:
d
on't store
p
ointless fa
k
e assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan C
a
rpenter
comparison
:
remove any "+-
0" ope
r
ati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
D
an
C
a
rpenter
e
x
tra: check the or
i
ginal state firs
t
fo
r
fake parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
D
a
n Car
p
enter
flow:
do a fake cast for ARRAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
D
a
n Car
p
enter
pa
r
a
m_set:
h
andle cer
t
ain st
r
uc
t
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
db: onl
y
do t
h
e r
e
turn_i
n
fo
s
tu
f
f if i
t
's going to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan Ca
r
p
enter
para
m
_used: ignore
s
om
e
st
a
tes used to fi
l
l
the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
user_data: de
l
ete d
e
bug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-13
Dan
C
arpenter
locking: save held locks in ca
l
ler_
i
nf
o
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-12
Dan
C
ar
p
ente
r
db
/
i
nser
t
_manual_states: don't inse
r
t duplicate sta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-12
D
a
n
Carpenter
db/in
s
er
t
_manual_st
a
tes:
p
reserve the
call
_
id
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-10
Dan C
a
r
penter
parse_call_math: fix a segfau
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan C
a
r
penter
buf_
s
ize: f
i
x wh
a
t c
a
ller_info to pass
a
nd what
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
db
/
smdb: improve how searching
f
o
r
function pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan C
a
rpenter
db: do
n
't call ca
l
l_info call backs unless it is an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan C
a
rpent
e
r
extra: do a sm
a
ll cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carp
e
nte
r
f
unct
i
on_hooks: add he
l
p
ers to register a
l
l the functi
o
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Car
p
e
nter
modification_h
o
oks: potent
i
al speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
kernel,math: handle the __ffs()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan
C
ar
p
ent
e
r
kernel: ignore more mutex int
e
rnals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
k
e
r
n
el: don
'
t
parse TRACE_
E
VENT
(
)
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan
C
arpe
n
ter
param_key
:
fix an ordering bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
param_ke
y
: enabl
e
for
n
on-ker
n
e
l
pr
o
jects
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-28
D
an Carp
e
n
t
e
r
m
odific
a
t
ion
_
hoo
k
s: speed up calling modification hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpen
t
er
signe
d
: don't w
a
r
n
about
u64
comparis
o
ns wit
h
ULONG_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan C
a
rp
e
nter
flow: don't
p
a
r
se
i
nlines agai
n
if they take a long
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
pa
r
am_limit: move regist
r
ation be
f
o
re param
_
set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
D
an Ca
r
p
e
nter
states: introduce has_state
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next