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
dereference: find more cross function dereferences
2023-05-11
Dan Ca
r
penter
dereference: find more cross f
u
nc
t
ion dereferenc
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Car
p
enter
err_
p
tr_deref: re-writ
e
th
e
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Car
p
e
n
ter
ker
n
e
l_err
_
pt
r
: track error pointe
r
s in th
e
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
Carpe
n
ter
ke
r
nel
.
no_retu
r
n_
f
uncs: update to the latest linux
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
C
arpenter
k
ernel
.
n
o_return_f
u
ncs: add kunit_
d
o_failed_asser
t
ion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carp
e
nter
comparison:
s
tore modified c
o
mparison
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Da
n
Carpe
n
ter
u
n
i
ts: move checks to check
_
file and
h
i
de under the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units
/
debug: add __smatch
_
unit
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
D
an
Carp
e
nte
r
unit
s
: delete some accidental code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units: make unit states glo
b
al
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
penter
macro_table: do
n
't store dupl
i
cate macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
p
e
nt
e
r
capped: ha
n
dle for loo
p
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n C
a
rpen
t
e
r
con
d
itio
n
s: s
t
rip stuff off a STMT_EXPRES
S
ION
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpent
e
r
expressions: *
&
foo
is just foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n
Carpenter
ker
n
el_u
s
er_data:
t
ake a short cut
t
o
s
p
eed up
empt
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpe
n
ter
mta
g
: create
a
r
everse mapping from
m
t
a
g to symbo
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arp
e
nter
para
m
_lim
i
t: improve
p
rinting the limit
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Carpenter
returns:
d
elete some
d
ea
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpe
n
ter
db/untracked_p
a
ram:
m
o
v
e ma
r
k_call_
p
aram
s
_u
n
tr
a
cked()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
db:
fix s
q
l_insert_retu
r
n
_
implies()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpenter
de
r
eferences_
p
aram: re-write simpler
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Car
p
enter
impossibl
e
:
don
'
t mark returns as i
m
possible if t
h
r
e
ad
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan
C
arp
e
nter
struct_a
s
signment: add copy
_
fr
o
m_use
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan
Carpenter
locking:
u
se shared suc
c
ess_
f
ail_re
t
urn() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan
C
arpente
r
locki
n
g: add so
m
e
more
loc
k
ing functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpenter
rosenbe
r
g: fix a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpen
t
e
r
kernel
.
unconst
a
nt_macros: add
EXT4_MOUNT
_
DAX_ALW
A
YS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
a
n
Carpen
t
er
rosenberg: fully initializing the struct does not clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
rosenberg: rever
t
"
i
nitiali
z
a
tion and s
t
ruct assign
m
e
nts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
an Carpenter
locking: delete some N
U
LL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan C
a
rpente
r
locking: add some more locking fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
bo
g
us_
a
ddress_param: warn a
b
o
ut pa
s
s
i
n
g
a bogus add
r
ess
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
D
a
n
C
a
rpenter
units: fix the bu
i
ld
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpen
t
e
r
check_trinity
:
delete thi
s
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Dan C
a
rpenter
lock
i
ng: i
g
nore false pos
i
tives caused
b
y perf_eve
n
t
_
enab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
D
an Carpent
e
r
units: store
what sort
of un
i
t
s a variable is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpenter
zero_t
o
_e
r
r_ptr
:
ad
d
dev_err_probe(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
D
an C
a
r
p
enter
free
_
strict: add sock_release()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
db
/
f
ixup_
k
ern
e
l
.
sh: ignore param
limits
f
rom __dev_pri
n
tk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
db/fixup_
k
e
r
n
el
.
sh: vfs
_
r
e
a
d/write()
are the only import
a
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
extra: rev
e
rt the mod_expr c
h
anges for modify expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
extra: set no
l
imits m
a
rk_sub_memb
e
rs_gone()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpente
r
unwind: devm_ad
d
_action_or_reset() is now a macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind:
separate path states o
u
t
in
t
o
a di
f
fer
e
n
t check id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unw
i
nd: i
g
nore path
states in pre-merg
e
h
o
o
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind
:
do
n
't warn
a
bou
t
impos
s
i
b
le leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpente
r
unwind: ignore
c
omponent_match_add_rele
a
se()
paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
p
e
nter
unwi
n
d: use the s
h
ared success_fail_return() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: catch a
d
diti
o
nal bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpente
r
unwind
:
fix
a bug with SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
ar
p
enter
unwind:
i
n
troduce &un
k
n
own state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan Carpenter
fl
o
w: fix MAC
R
O_ASSIGNMENT
_
HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Carpenter
pa
r
a
m_limi
t
: don't store addres
s
es as PARAM_L
I
MIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Ca
r
pen
t
e
r
helper: ma
k
e strip_expr() st
r
ip out
"
+ 0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
fl
o
w
: only fa
k
e pa
r
amet
e
r a
s
signm
e
nts
once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan C
a
rpen
t
e
r
shift
_
to_
z
e
r
o: silence
so
m
e
warni
n
gs insi
d
e macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpent
e
r
db/
c
reate_db
.
sh: ve
r
ify that the info file exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan Carpe
n
te
r
data/kernel
.
unconstant
_
macros: add ENQ
U
E
UE_MIGRATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan Carp
e
nt
e
r
unwi
n
d: don
'
t
w
arn about global variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan Ca
r
p
enter
flow: don't
re
p
ar
s
e
inlines over and o
v
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan Carpenter
ker
n
e
l
.
u
nconstant_mac
r
os: add s
o
me pendi
n
g
stuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan
Car
p
ente
r
debug: f
i
x
b
r
oken
c
ompile
because of miss
i
ng co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan
C
arp
e
nte
r
debug:
skip everything except a given
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug:
add __smatch_start/st
o
p
_skip() to skip proc
e
ssing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Ca
r
penter
d
e
b
ug: m
a
ke __s
m
atch_about()
h
andle SSA sta
t
e
s
better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
D
an Carpenter
dereferenc
e
: fix ha
n
dling DEREFERENCE from t
h
e database
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpent
e
r
de
r
ef
e
rence: only cou
n
t f
o
o->b
a
r as a dereference not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpente
r
dat
a
/kerne
l
.
ignor
e
_unitia
l
ized_par
a
m:
a
d
d
so
m
e more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpente
r
param_clear: add support
f
or BU
F
_AD
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Ca
r
pente
r
param_limit: i
g
nore BU
F
_
C
LEAR here
as
w
ell
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Ca
r
penter
dereference: create
a
a
d
d_dereferenc
e
_hook() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpen
t
er
buf_cl
e
a
r
: do a speed up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
D
a
n
Carpe
n
ter
kerne
l
_
u
ser
_
data: use a param/key
t
a
ble for simp
l
e_strtoul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
db/kernel
.
re
t
ur
n
_fixes: add debugfs
_
ini
t
ialized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpen
t
e
r
db/ke
r
nel
.
r
etur
n
_fixes:
a
d
d nla_ne
s
t_sta
r
t_noflag()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan C
a
rpent
e
r
use
r
_data
:
rem
o
ve xdr_inli
n
e
_dec
o
de()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
u
s
er_data: clean u
p
how sscanf is
handl
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n C
a
rpenter
u
s
e
r_data: clean
up how iov_
i
ter_count is handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
Carpenter
poi
n
ts_to
_
ho
s
t_data: make a p
o
inter const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Ca
r
pente
r
use
r
_data/ptr
:
move
things from user_
d
ata to
user_ptr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n C
a
rp
e
nte
r
d
b
:
d
o
t
he ca
l
ler_info stuff ea
r
lier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Da
n
Carpenter
db: fix re
t
urne
d
i
n
f
or
m
ation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
str
u
ct_assignment:
make the fa
k
ed_ex
p
res
s
ion
f
unct
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
user_d
a
ta: fix an is_new se
t
ting in handling assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpent
e
r
kernel_user_data: do
n
'
t set *
m
y_struct to user
dat
a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carp
e
nt
e
r
kernel_user_data: ignore vo
i
d types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
d
b
/fixup_kernel
.
s
h: o
n
ly record one
work que
u
e caller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
es
t
ate:
pointers can't have
a
fuzzy
m
ax
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
points_to_user_data: all ca
l
ls to copy_from_u
s
er
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
an
C
arp
e
nter
s
t
ruc
t
_ass
i
gnme
n
t: in
t
roduce
c
reate_recursive_
f
ake_assignments()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
pa
r
se_call_
m
ath: st
o
re
==$0 ev
e
n
f
or
k
nown valu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan C
a
rpenter
hooks: save
t
h
e
conta
i
ner->owner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpe
n
ter
returns_
n
e
gative_er
r
or_
c
ode: low
p
ositives are
n
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
a
n Carpent
e
r
r
e
turns_negative_error_co
d
e: empty states are not error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carp
e
nter
points_
t
o_user_data: rename set_points_to_us
e
r_data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpen
t
er
sm_ha
s
h:
e
xport
s
tr_to_llu_hash_helper()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan
Carpent
e
r
smatch: don't i
n
c
l
u
de
"
scope
.
h" for no re
a
son
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpenter
flow
:
p
u
ll
p
ars
e
_ass
i
gnmen
t
() into
i
ts
o
wn function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan C
a
rpenter
flow:
r
e
vert previous comm
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpe
n
t
er
flo
w
: hand
l
e str
u
ct a
s
signments later
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next