repo.or.cz
/
smatch
/
bkmgit.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 Carpenter
checking_for_null_instead_o
f
_e
r
r_ptr: use smatch_kernel_err_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-17
Dan Carpenter
kernel_err_ptr: hack around for_
e
a
ch
_
gpio_d
e
s
c
_with_flag()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-15
Dan Carp
e
nter
sc
r
ipts/generisize
.
pl: generisize funct
i
o
n
names
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-12
Dan Car
p
enter
kernel
.
unreachabl
e
.
tur
n
_off
:
add some kunit stuf
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
p
r
ee
m
pt_info
:
a
d
d __bit_spin_unlock()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Ca
r
penter
c
heck_list/err_ptr: register
t
he err_p
t
r code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpe
n
ter
deb
u
g
/units: hook in the __
s
match_uni
t
s(
)
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpente
r
validation/sm_err_ptr
:
make IS_E
R
R
(
) an
inl
i
n
e
f
unctio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan C
a
rpenter
d
e
refe
r
ence: find more
c
ross fu
n
ction derefe
r
ences
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
err_
p
tr_de
r
ef
:
re-write
th
e
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
ker
n
el
_
er
r
_ptr: trac
k
error point
e
rs
in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
k
ernel
.
no_return_funcs: update to
t
he latest linux
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
k
ernel
.
no_re
t
urn_funcs: ad
d
kunit
_
d
o
_
f
a
ile
d
_
a
ssertion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan C
a
rpe
n
ter
comparison: store
modi
f
i
e
d c
o
mparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
un
i
ts: move
c
h
ecks to
check_
file an
d
hi
d
e und
e
r
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
D
an Carpe
n
t
er
un
i
ts/debug: add
_
_
smatc
h
_uni
t
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units: delete some ac
c
idental c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units:
make unit sta
t
es
globa
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
mac
r
o_table
:
don't store du
p
licate macro
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
capped:
handle for l
o
ops better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpent
e
r
conditi
o
ns: strip stuff off a STMT_EXP
R
ES
S
ION
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n
Ca
r
penter
ex
p
ressions: *&foo
i
s
j
u
st foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpent
e
r
kernel_u
s
er_data: take a short cut to speed up emp
t
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Carp
e
n
t
er
mtag: creat
e
a reverse
mapping from mtag to symbol
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpen
t
e
r
param_limit:
i
m
pro
v
e
pr
i
nting the limit
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpente
r
returns: delete so
m
e de
a
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan C
a
rpenter
d
b
/unt
r
a
c
ked_pa
r
am: mov
e
m
ar
k
_call_params_untracked(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan C
a
rpenter
db:
fix
sql_in
s
e
rt_retur
n
_impl
i
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
penter
dereferences_pa
r
am: re-write
s
im
p
ler
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpen
t
er
impo
s
s
i
ble: don't ma
r
k returns a
s
impossib
l
e if threa
d
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan Carpenter
struct_as
s
ignment: ad
d
copy
_
from_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan C
a
rpenter
l
o
cking: use
s
hare
d
success_fail_return()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan
C
arpenter
loc
k
i
ng: a
d
d
so
m
e more locking
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan
C
arpenter
r
o
senber
g
: f
i
x a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
D
an C
a
rpenter
kernel
.
unconstant_macros
:
ad
d
EX
T
4_MOU
N
T
_
D
AX_
A
LWAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
ro
s
enberg: fu
l
ly initializing the struct doe
s
n
ot clea
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carp
e
nter
rose
n
be
r
g: revert
"
initi
a
l
i
zation and s
t
ruct assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
an Carpenter
locking: del
e
te some NUL
L
ch
e
cks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
lo
c
ki
n
g:
a
d
d so
m
e more locking functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
an Carp
e
nter
bogus_add
r
ess_param: warn about pa
s
sing a bo
g
u
s
addres
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpenter
units: fix the build
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
D
an
C
a
rpenter
chec
k
_trinity: delete this co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Dan
Carpe
n
ter
l
o
cki
n
g
: ignore fals
e
p
o
s
itive
s
caused by perf_eve
n
t_enable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpen
t
er
units: store
what sort
of
u
nits a variable is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carp
e
nter
zero_to_err_ptr
:
add dev_err_pr
o
be()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Dan Carpente
r
f
ree_st
r
ict: add sock_r
e
lease()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carp
e
n
ter
db/fixup_kernel
.
s
h: ign
o
re param
l
imits from __dev_printk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Carpent
e
r
db
/
f
i
xup_k
e
rnel
.
sh: vfs_read/
w
rite() are
the
o
nly impor
t
ant
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
e
x
tra: r
e
vert
the mo
d
_expr
c
han
g
es
for
mod
i
fy e
x
p
r
ession
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carp
e
n
ter
e
x
tr
a
:
set no limits mark_sub_members_gone()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpent
e
r
unwind: devm_add_action_or_reset
(
)
is now a macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
p
e
nt
e
r
unwind: separa
t
e path sta
t
es out
i
nto a different check id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: i
g
n
ore path s
t
ates
in pr
e
-
merge h
o
ok
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
unwin
d
: d
o
n
'
t warn about i
m
possible leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carp
e
nte
r
unwi
n
d: ignore comp
o
ne
n
t_match_
a
dd_release() paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: use
t
he shar
e
d success_fail
_
return() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: ca
t
ch add
i
tional
b
ugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Carpe
n
ter
unwind: fix a b
u
g
w
ith S
S
A
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
un
w
ind: introduc
e
&un
k
nown s
t
ate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Da
n
Ca
r
pe
n
ter
flow
:
f
i
x MA
C
RO_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Carpent
e
r
param_limit: don
'
t sto
r
e ad
d
resses
as PARAM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Car
p
enter
helper: m
a
ke
str
i
p_
e
x
pr()
strip ou
t
"
+
0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n Car
p
e
n
ter
fl
o
w: o
n
ly fake pa
r
ameter assign
m
ents once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan
C
a
rp
e
nter
shift_to_zero: silence some
war
n
ing
s
ins
i
de m
a
c
r
o
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n Car
p
e
nter
db/create_db
.
sh:
v
erify
t
hat
t
h
e
info fil
e
exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan
C
a
r
p
e
nter
data/ker
n
el
.
unconstant_macros: add ENQUEUE_MIGRAT
E
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan C
a
r
p
enter
u
nwind: d
o
n't warn about glo
b
a
l variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
D
an Carpenter
f
l
ow: don
'
t re
p
arse inlines over a
n
d over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Da
n
Carpenter
k
ernel
.
u
n
c
o
nstant_m
a
c
r
os: add some pending s
t
uff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
D
an
C
ar
p
enter
d
e
bug: fix
b
roken
c
ompile becau
s
e of miss
i
ng code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug: s
k
ip everything exc
e
pt
a
giv
e
n function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Ca
r
penter
debu
g
: add __
s
match_sta
r
t/stop_sk
i
p() to skip p
r
o
c
essing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan C
a
rpenter
debug
:
make __smatch_ab
o
ut() handl
e
SSA
states be
t
te
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpenter
derefere
n
ce: fix
h
andling
D
E
R
EFERENC
E
from the data
b
ase
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpenter
dereference: only count
foo->bar as a dere
f
erence no
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan
C
arpe
n
ter
d
ata/k
e
rnel
.
ignor
e
_unitialized_param: add some
mo
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan C
a
rp
e
nter
par
a
m_cle
a
r
:
a
dd support for BUF_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
param_limit:
ignore BUF_CLEAR here as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpente
r
dereference: create
a add_dere
f
eren
c
e_hook
(
) function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan C
a
rpente
r
buf_clear:
d
o a
s
peed up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
k
e
rnel_user_d
a
ta: use a par
a
m/key table for simp
l
e_strt
o
ul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
D
an Ca
r
penter
db/ke
r
nel
.
return_fixes: add debug
f
s_initializ
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan C
a
rp
e
nter
d
b/kernel
.
return_fixes: add nla_n
e
st_start_nof
l
a
g()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an Carpen
t
er
u
ser_
d
a
ta: remove xdr_inli
n
e_dec
o
d
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data:
clean up how sscanf is
h
andled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data: clean up how
iov_iter
_
count
i
s handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an Carpenter
points_to_host_dat
a
:
make a po
i
nter
const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carp
e
n
ter
use
r
_data/ptr:
move things from user_da
t
a
to
u
s
er_ptr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Car
p
enter
db: do the
cal
l
e
r
_inf
o
st
u
ff earlie
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
C
arpenter
db:
f
ix returned in
f
ormati
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan C
a
rpe
n
ter
struct_assignment: make the f
a
ked_expression fun
c
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Car
p
enter
user_d
a
ta:
f
ix an is_ne
w
setting in hand
l
i
n
g assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
C
arpenter
kerne
l
_user_data: d
o
n
'
t set *my
_
st
r
uct to
user dat
a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
a
n Carp
e
nt
e
r
kernel_user_data: ignore void types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
C
a
rpente
r
db/
f
i
x
u
p
_kernel
.
sh: only r
e
cord o
n
e work queue ca
l
ler
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
arpenter
estate: pointe
r
s c
a
n't have a fuzzy max
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
an Carpenter
p
o
ints_to_user_dat
a
: all c
a
lls
t
o copy
_
fro
m
_
u
ser()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
struc
t
_assignment
:
int
r
oduce create_recurs
i
ve_f
a
ke
_
assignments
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan
Carpen
t
er
parse_call_math:
store ==$0 even
fo
r
known
v
a
lues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
an C
a
rpenter
h
ooks: save the container->owner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next