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
Carpent
e
r
exp
r
e
ssions: mak
e
gen_expression_from_nam
e
_sym
(
) handle
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-10
D
a
n Car
p
enter
d
b
/pa
r
am_lim
i
t/
p
ar
a
m_use
d
: do
n
't inse
r
t useless ad
d
ress
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-10
Dan
Ca
r
pe
n
te
r
extra:
use fa
k
e as
s
ignments for ca
l
ler_
i
nfo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-08
Dan Carpenter
ch
e
ck_locking: delete old st
a
te
s
correctly (sort of
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-08
Dan Carpenter
locking:
re-write and
f
ixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-03
Dan Carpenter
extra:
t
ake a short cut in
p
aram_limit_binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-03
Dan C
a
rpenter
extra:
f
ake assignme
n
ts are
a
l
so eq
u
i
val
e
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-02-03
Dan Ca
r
penter
db: f
i
x h
o
w &foo->lock states are inserted into the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-27
D
an Carpenter
f
u
nction
_
hooks/ch
e
ck
_
unwind: add param_key_h
o
o
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-25
Dan Carpenter
e
x
tra: fix how hard
m
a
x
v
alues a
r
e propagate
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-25
Dan Carpenter
helper: error poin
t
e
r
s are gone
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-25
Dan Carpenter
extra
/
func
t
ion_hooks
:
handle fake
funct
i
o
n
calls in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-25
Dan Carpenter
extr
a
: fix t
e
st for
take assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-21
D
a
n Carpenter
stat
e
s: fix a
use after free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-21
D
a
n Car
p
ente
r
M
e
rge git://git
.
kernel
.
org/pub/scm/devel/spar
s
e/sp
a
rse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-19
Dan Carpenter
s
t
ates: f
i
x get_state_expr() u
s
es
of
fake
_
paren
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-19
Dan Carpe
n
ter
flow
:
don
'
t
f
a
ke
a
paramete
r
assig
n
ment outside of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-18
Dan Car
p
e
n
ter
check_
l
i
st
:
add a comment
about
o
rdering
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-18
Dan
C
ar
p
ent
e
r
kpatch:
w
hite
space clean
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-18
Dan Carpenter
s
cripts/tra
c
e_params
.
pl: fix
reg
e
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan
C
arpenter
comparison: ca
l
l simpli
f
y_binops
(
) in
g
e
t
_compari
s
on_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
D
a
n
Carpenter
c
omp
a
rison: fix ho
w
addr
e
sses
are
hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan
C
a
r
p
e
nter
comparison: fix a b
u
g
i
n get_c
o
mparison_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Car
p
enter
constr
a
ints_requir
e
d: ignore fak
e
a
s
si
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpen
t
e
r
d
e
bug: re-work
h
ow debugg
i
n
g
i
mp
l
ications
works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
D
an Carpen
t
er
debug
:
add _
_
smatch
_
timer_
s
tart/stop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan
Carpen
t
er
flow
:
add --time-
s
tmt
option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan
C
arpenter
debug: add _
_
smatch_debug_va
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carp
e
n
t
er
p
a
ram_s
e
t: addresses can
'
t
be set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpen
t
e
r
cap
p
ed:
addresse
s
can't
b
e ca
p
ped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-11
Da
n
C
a
rpent
e
r
param_
k
e
y: fix
where assignments are
han
d
l
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-08
Dan
C
arpent
e
r
d
ebug:
c
hang
e
ho
w
_
_
s
m
atch_debug_c
h
e
c
k
() w
o
rks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-08
Da
n
Carpent
e
r
param_set: handle
N
ULL and POIS
O
N
assignmen
t
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-07
D
a
n Ca
r
p
e
nte
r
ex
t
ra: handle canonical for lo
o
ps with unknow
n
ends
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-06
Dan Carpen
t
e
r
extra/r
a
nges: int
r
oduce is_node
r
ef_
p
tr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-06
Dan Ca
r
pe
n
ter
param_set
:
merg
e
some some co
n
dit
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-01-06
Dan
C
a
rpen
t
er
p
aram_set: don'
t
p
rin
t
us
e
less informati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-19
Dan
C
arpe
n
ter
missing_error_cod
e
: intr
o
duce n
e
w check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-19
Dan Carpen
t
er
locking: fix
r
estore in cross
function code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Da
n
Carpenter
param_compare_l
i
mi
t
:
do
n
't print impossible compa
r
isons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpenter
scr
i
pts/kpatch: v
i
ew the smatch warnings in the commit
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpe
n
ter
sc
r
ipts/kpatch:
p
ut a com
m
e
n
ted out diff in
t
o t
h
e commit
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-18
D
an C
a
rpen
t
er
scri
p
t
s
/kpatch: change
t
he
g
i
t log format
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 name
a
s
t
he s-o-by
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-17
D
a
n C
a
rp
e
nter
f
low: export is_las
t
_st
m
t() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan
C
arpenter
m
odificat
i
on_hooks: handle add
r
e
ss
e
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
p
a
ram
_
key
:
allow g
e
t_name_sym_fro
m
_key()
t
o t
a
ke
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
D
a
n Carpenter
math: INT_MAX is
n
e
ver a har
d
max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpe
n
ter
p
aram_key: fix some a
d
dress h
a
ndling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan C
a
rpenter
param_set: fix
param_wa
s
_set() for addresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
D
a
n
C
arpenter
p
a
ram_
s
et: don't record so m
u
ch data in the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
points_to_user_data:
Make copy_from_user() set point
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpent
e
r
states
:
use the state from the fake assign
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan
C
arpenter
f
u
ncti
o
n
_hooks: s
e
t implied states earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
der
e
fer
e
nces_param: don'
t
rec
o
rd addres
s
es dereferences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-15
Dan Carpenter
deref: fix inverted tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carp
e
nter
check_deref: silence false
positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carpenter
deref: del
e
te all --
s
pam
m
y inf
o
rm
a
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carpenter
para
m
_to_mtag_data: don't record fake assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-07
Dan Carpen
t
e
r
readl_infinite_loops: delet
e
t
h
is check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-12-01
Dan Carpe
n
ter
implied
:
fi
x
r
e
versed debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
extra: fix so
m
e error
pointer handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n C
a
r
p
enter
extra: don'
t
save nee
d
less DB records when we return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n C
a
rp
e
nter
ex
t
ra: introduce parent_
i
s_error
_
o
r
_
null_var_
s
ym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan
C
arpenter
function_hooks/un
w
ind: introduce return_implies
_
e
x
a
ct
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
unw
i
nd: simplify the way returns
a
r
e
categorized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
unwind
:
c
ommit missing p
a
r
t
s fr
o
m
the ignore path
p
a
tch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
unwind: paths where the parent is gone are count
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
D
an
C
a
rpenter
unw
i
nd: ignore paths
were
devm_
a
dd_a
c
tion
_
or_r
e
set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
u
n
wind: remove
p
ci
_
iomap() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carp
e
nter
annotate: fix
h
ow snprintf() i
s
handl
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
a
s
signed_expr: introduce
g
et_assi
g
ned_expr_recurse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
D
an Carpenter
c
ompariso
n
: don't store pointless fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
comparison: remove any "
+
- 0" o
p
e
rations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
ext
r
a: che
c
k the original
s
tate first for fake parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan Car
p
ent
e
r
flo
w
: do a f
a
ke cast f
o
r A
R
RAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpen
t
er
par
a
m_set
:
handl
e
certain struct a
s
s
i
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan
Ca
r
penter
db:
o
nly do the return_
i
n
f
o stuff if it's
g
o
ing to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpe
n
ter
param_used: ignore som
e
states us
e
d
t
o f
i
ll the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpent
e
r
user_data: dele
t
e
debug co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-13
D
a
n Carp
e
nt
e
r
locking: s
a
ve held locks
i
n caller_i
n
fo
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-12
D
a
n Carpenter
db
/
ins
e
rt_manual_states: don't insert dupl
i
cate states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-12
Dan Carpenter
db/ins
e
r
t_manual_states: pr
e
se
r
ve the call_id
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-10
Dan
Car
p
e
n
ter
pa
r
se_call_math: fix
a
seg
f
a
u
lt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Da
n
Carp
e
nt
e
r
buf_size: fix w
h
at calle
r
_inf
o
to
pa
s
s and
what is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan C
a
r
p
e
nter
db/smdb: improve how
searching for
f
unction p
o
i
n
ters
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
D
an
Carpenter
db: don't call call_info call
backs unless
i
t is
a
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpen
t
er
ex
t
ra: do a small cle
a
nup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Car
p
enter
f
u
nct
i
on_hoo
k
s: add
hel
p
ers to
register al
l
the fun
c
tions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
modifi
c
at
i
o
n_hooks: potential
spee
d
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Ca
r
pente
r
k
e
rnel,math: handle
t
he __ffs() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Ca
r
pe
n
t
er
kerne
l
: ignore more mutex
i
nternals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpente
r
ker
n
el: don't parse TRACE_EVENT() funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
pa
r
am_key:
fix an o
r
dering bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-11-02
Da
n
Carpenter
param_key:
e
nable for non-kernel projects
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-28
Dan Carpenter
m
odificati
o
n
_
hooks: spee
d
up calling mod
i
fication hoo
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan Ca
r
p
e
nt
e
r
signe
d
: don't warn about u64 com
p
a
r
isons wit
h
ULONG_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
D
an Carpenter
flow:
d
on't parse inlines again if they take a long
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
D
a
n C
a
r
p
e
nter
param_l
i
m
i
t:
move
r
e
gis
t
rati
o
n before param_s
e
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
st
a
tes:
i
ntroduce has_states(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next