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
checking_for_null_instead_of_err_ptr: use smatch_kernel_err_ptr.c
2023-05-17
Dan
C
arp
e
n
t
er
checking_for_null_i
n
stead_o
f
_err_ptr: use
s
m
atch_kernel_err_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-17
Dan
C
arpenter
kernel_er
r
_ptr: hack aroun
d
for_each_g
p
io_desc_with_flag()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-15
Da
n
Car
p
enter
sc
r
ipts/generis
i
ze
.
pl:
g
e
nerisize funct
i
on nam
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-12
Dan Carpe
n
ter
kernel
.
u
nreachable
.
turn_off: a
d
d some kunit stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
an Carp
e
nt
e
r
preempt_info:
a
dd _
_
bit_
s
pin_un
l
ock()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
C
arpenter
check_list/err_ptr: register the err_
p
tr cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
C
arpenter
debug/units: hook in the __smatch_units() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
valid
a
t
i
o
n/
s
m_err_ptr: make IS_ERR()
a
n inline fu
n
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
C
arpenter
d
e
reference: fi
n
d more cross
f
u
nct
i
on d
e
referenc
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n Carpenter
err_ptr_deref: re-write the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
kernel_err_pt
r
: trac
k
er
r
or pointers in
t
he d
a
t
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
an Carpent
e
r
kernel
.
no_retur
n
_
funcs: upda
t
e to the latest linux
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Car
p
enter
kernel
.
no_re
t
urn_funcs:
add kuni
t
_do
_
f
ail
e
d
_assertion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Car
p
enter
co
m
parison: store modified
c
ompa
r
i
sons
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan C
a
rpe
n
ter
u
n
i
t
s
: mov
e
checks to che
c
k_ fi
l
e and hide un
d
e
r
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Ca
r
penter
u
nits/d
e
bug:
a
dd
_
_
s
match_un
i
ts()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units: delete some accidental
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units: make unit states gl
o
bal
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
macro_t
a
ble: don't store
d
u
p
lica
t
e macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpen
t
er
capped: handl
e
f
or loops better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
a
r
p
e
nter
conditions:
s
trip stuff off a STMT_EX
P
RESS
I
ON
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpe
n
ter
expressions: *&f
o
o is
just foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
kernel_user_data: take a
short cut to speed up empty
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
m
tag:
c
reate
a reve
r
s
e
mapping
from
mt
a
g
to symbol
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
penter
p
a
ram_limi
t
: im
p
rove prin
t
i
n
g
the
l
i
m
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpe
n
ter
ret
u
rns: del
e
te so
m
e dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpen
t
e
r
db/untracked_para
m
: move mark_call_p
a
rams_untrac
k
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
p
e
nter
db:
fix sql
_
insert_re
t
u
r
n_implie
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpente
r
dereferences
_
param: re-writ
e
simp
l
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
impossible: don't mark retur
n
s a
s
impo
s
s
ib
l
e if threads
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan Carpenter
struct_as
s
ig
n
ment: add
c
opy_from_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpenter
l
ocking: use shar
e
d
s
u
c
ces
s
_
fa
i
l_ret
u
rn() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan
Carpenter
locking: add some more
l
ocking functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan C
a
rp
e
nter
rosenberg: fix a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carp
e
nter
ker
n
el
.
u
nconstant_m
a
cros: add
EXT4_MOUNT_DAX_ALW
A
YS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan
C
a
rpenter
r
o
senberg: fully ini
t
i
a
lizin
g
the
s
truct does n
o
t clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
r
o
se
n
be
r
g: rever
t
"
i
nitiali
z
ation
a
nd struct
a
ssignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
lo
c
king:
d
ele
t
e s
o
me N
U
L
L
checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan
C
a
rpe
n
ter
locking: add some mor
e
locking func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
bogus_add
r
e
ss_param: warn about passing a bo
g
us addre
s
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carp
e
nter
un
i
ts:
fix the build
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan
C
arpenter
c
heck_tri
n
ity: de
l
e
t
e this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Dan Carpenter
loc
k
ing: ig
n
ore
f
alse positives caused by pe
r
f_even
t
_enable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan C
a
r
p
enter
un
i
ts: store what
sort o
f
u
n
i
t
s
a variable
i
s
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Da
n
Carpenter
z
ero_to_
e
rr_ptr: ad
d
dev_
e
rr_probe()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Da
n
Carpente
r
fr
e
e_strict:
a
dd sock_rele
a
s
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
db/
f
ixup_kernel
.
sh: ignore p
a
ram
l
i
m
i
t
s from __dev_printk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpen
t
er
db/fixup
_
kern
e
l
.
sh
:
vfs
_
r
e
a
d/write() are the
o
nly im
p
ortant
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carp
e
n
ter
extra: revert the mod_ex
p
r changes for modify e
x
pressi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carpenter
extra: set no limits mark_sub_members_g
o
ne()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind:
d
e
v
m_ad
d
_a
c
ti
o
n_or_reset() is now a mac
r
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpent
e
r
unw
i
nd
:
se
p
arate path st
a
tes out into a dif
f
erent
check id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an C
a
r
penter
unwind: ign
o
re
p
ath st
a
tes in pre-mer
g
e
h
ook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Carpenter
unwind: d
o
n'
t
warn about impo
s
sible leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n
Car
p
enter
un
w
ind: i
g
nore
c
ompon
e
nt
_
match_add_
r
e
lease() paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
u
n
wi
n
d:
use the shared success_fai
l
_return()
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan C
a
rpenter
u
nwind: catch additional
b
ugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Ca
r
pe
n
ter
unwind:
f
i
x a bug wit
h
SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n
Carpent
e
r
unwind: introdu
c
e &unk
n
own
st
a
t
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan C
a
rpenter
flow: fix MACRO_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Carp
e
nter
pa
r
a
m
_limit: don't s
t
or
e
addr
e
ss
e
s as PARAM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carp
e
nter
helper: make
s
trip
_
ex
p
r() st
r
ip
o
ut
"+ 0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Car
p
en
t
er
flow: only fake parameter assignm
e
n
t
s once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n Carpenter
shi
f
t_to_zero: si
l
en
c
e s
o
me wa
r
n
i
n
gs inside macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Da
n
C
a
rpenter
db/cr
e
ate_db
.
sh: verify tha
t
t
he info
file e
x
is
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan Carp
e
n
t
er
data/kernel
.
u
nc
o
n
st
a
nt_macros: add EN
Q
UEUE_MIG
R
A
T
ED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan Carpe
n
ter
u
nwind: don't war
n
a
b
ou
t
global variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
D
an Ca
r
pen
t
er
flow: don't
reparse
inlines over and
over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Da
n
Carpen
t
er
ke
r
nel
.
unconstant
_
macro
s
: add some pending stuf
f
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
D
an Carpente
r
debug:
fix broken compile bec
a
use of missing code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
d
e
bug: skip ever
y
thing ex
c
ept a g
i
v
en function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debu
g
:
a
d
d __smatch_start/stop_s
k
ip() to skip processing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan C
a
rpenter
d
e
bu
g
:
make __sma
t
ch_
a
bout() hand
l
e SSA s
t
ate
s
bet
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carp
e
n
t
e
r
dereference: fix h
a
ndling DEREF
E
REN
C
E from t
h
e databa
s
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
D
an Carpenter
derefer
e
nce: only cou
n
t fo
o
->bar as a dereference not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Car
p
enter
data/kernel
.
igno
r
e
_
u
niti
a
l
ized_para
m
: add some more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
D
an Carpent
e
r
param_clea
r
: add s
u
ppor
t
for BUF_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
D
a
n Carpenter
pa
r
am_limit: ignore BUF_CL
E
AR here as wel
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Da
n
C
ar
p
en
t
er
dereference: create a add_derefe
r
ence_h
o
ok() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Car
p
ente
r
bu
f
_c
l
ear: do a speed
up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Da
n
Carpen
t
e
r
kernel_user_d
a
ta: use a param/
k
ey
t
able for simple_
s
tr
t
oul
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan
C
arpenter
db/kernel
.
retur
n
_fixes:
add
debugfs_initialized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Da
n
Carpenter
db/ker
n
el
.
re
t
urn_fixes: add
nla_nest_start_noflag()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Car
p
enter
user_data: remove xdr_inline_decode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an Carpenter
user_dat
a
: clean
u
p
ho
w
s
scanf
i
s handl
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data: cle
a
n up how io
v
_iter_count is handle
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carp
e
nter
points_t
o
_hos
t
_d
a
ta: make
a p
o
in
t
e
r
c
onst
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpent
e
r
u
s
er_data/ptr: move thing
s
fr
o
m
user_
d
ata to use
r
_ptr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Da
n
Ca
r
penter
d
b
: do the
c
a
l
ler_inf
o
stuff
earlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Ca
r
pent
e
r
d
b: fix return
e
d information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Da
n
Carpenter
struct_assign
m
ent: make the faked_e
x
pression function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
arpenter
user_data:
f
ix an is_new setting in h
a
n
d
l
ing ass
i
gn
m
en
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
C
arp
e
nter
kernel
_
u
s
er_dat
a
: don't set *my_str
u
c
t
to user data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Car
p
enter
k
ernel_user_d
a
ta: ignore
v
oid types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
Carpenter
db/fixup_ke
r
n
el
.
sh: o
n
ly record on
e
work
q
u
eue caller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpe
n
ter
estate: pointers can't have
a
fuz
z
y max
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
points_to_
u
ser_da
t
a: all ca
l
ls to copy_
f
rom_u
s
er()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
a
n
Carpe
n
ter
s
truct_assig
n
ment:
i
ntroduce create_rec
u
rsive_fake_
a
ssignm
e
n
ts(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpen
t
er
parse_call_m
a
th: store ==
$
0 even for know
n
values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
hoo
k
s:
s
a
ve
the cont
a
iner->own
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next