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
check_unwind: fix request_firmware()
2023-11-09
Dan
C
arp
e
nter
check_unwind:
f
ix re
q
u
est_firm
w
are()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-07
Dan Carpenter
check_kernel: fix th
e
build
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-07
Dan Carpen
t
er
assign_vs_
c
ompare: s
i
lence bcach
e
false
p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
free
/
refc
o
unt: move refcount_was_
i
nced() to
refcount
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan
Carp
e
nter
kernel_kref_put: move
to a d
i
f
f
erent file
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
check_kernel: add support
for with_i
n
tel_di
s
play()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Da
n
Carpenter
check_k
e
rne
l
: add support
f
or
msec() to ji
f
fies
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
D
an Carpenter
check_
k
er
n
el: add suppor
t
for
s
ize_add()
a
nd
s
i
z
e
_
m
ul()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
check_kernel:
a
d
d support for put_device()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Car
p
e
n
ter
l
ocking: handle c
l
as
s
_mutex_destructor()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
assigned
_
expr: make skip_
m
o
d
functio
n
_
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpen
t
er
assigned_expr: handl
e
fake pa
r
a
meter
assignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-31
Dan Carpent
e
r
un
c
hec
k
e
d
_allocation: use the smatch_
d
e
r
e
ference
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
D
a
n Car
p
ente
r
fr
e
e_
s
t
r
ic
t
: remove kref_put()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
C
arp
e
n
ter
fr
e
e_st
r
i
ct:
_
_skb_pad
(
)
on
l
y
frees
on err
o
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
Carpenter
buf_compa
r
ison:
i
ntroduce t
h
e
b
u
f_
h
as_bytes() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Car
p
enter
buf
_
size:
track the
s
ize
of struc
t
s when peopl
e
use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
s
mdb
.
py:
i
mpro
v
e
t
ype_size outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
C
arpen
t
e
r
extra: don'
t
trac
k
a
rray assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
C
a
r
p
e
n
te
r
functio
n
_ptrs
:
d
o
n
'
t track f
u
n
c
tion pointer
s
p
as
s
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
helper: improve get_membe
r
_
n
am
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpen
t
er
h
o
oks: remove
s
ome
u
n
necessary
N
ULL c
h
e
cks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
D
an Ca
r
penter
debug: prevent uninitialized variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
points_to_
u
ser_
d
ata: ad
d
a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
C
a
rpe
n
ter
f
r
ee
s
_
param_s
t
r
ict:
t
ra
c
k container_of bet
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-25
Dan
C
arpent
e
r
frees_
p
aram_strict:
track MAYBE_FREED p
a
rameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-25
Da
n
Carpenter
fr
e
e_strict: add support for __sk
b
_pad()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-20
D
a
n Carpenter
strings: fix crash bu
g
parsing foo
=
bar
?
: baz
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-19
Dan Ca
r
penter
d
b
: don'
t
mark
the
d
b as in
c
om
p
lete because o
f
check_debug
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-19
Dan Carpenter
ke
r
nel_user_data: don't
i
nsert useless d
a
ta i
n
t
o
the
D
B
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-18
Dan Carpenter
da
t
a
/kern
e
l
.
unconstant_
m
acros: add more m
a
cros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-12
Dan
Carpenter
f
lo
w
: call scope hooks before reco
r
ding t
h
e cross f
u
ncti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-12
Dan Carpen
t
er
d
eref: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-11
Dan Carpenter
parse: ignore __se
g
_gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
D
an Carpenter
free_
s
trict: pass the c
o
rrect expression to free hooks
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpente
r
de
r
eference: add
spinlock_chec
k
() as a d
e
referenc
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan C
a
rpenter
d
o
ubl
e
_checking:
si
l
ence
some false
p
ositives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
double_checking: dis
a
ble
implic
a
ti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Da
n
Carpente
r
a
tomi
c
_dec_test_pat
h
:
h
ack
a
round assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Ca
r
p
e
nter
kernel
_
user_data: delete so
m
e dea
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpe
n
t
e
r
refcount_info: add so
m
e more refcount fu
n
c
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
D
a
n
C
ar
p
enter
locki
n
g: re-add release_
s
oc
k
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
s
t
ored_condition
s
:
comm
i
t
u
seles
s
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Da
n
Carpenter
refcount: p
a
rt
i
al incre
m
ents count as increments
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpent
e
r
ranges: fix error pointer handling cross compiling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Da
n
Carpen
t
er
f
low:
more
fix
e
s for cleanup code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpe
n
ter
flow: move some co
d
e
a
round
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
D
an Ca
r
penter
flow/derefer
e
n
ce: handl
e
*&foo->bar
b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpenter
dereferen
c
e: han
d
l
e fr
o
b(&foo->bar); better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-02
Dan C
a
rpenter
dereference:
i
gnore pointer math better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-28
Dan Car
p
e
n
ter
lo
c
king: hard code some lo
c
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-28
D
a
n
Car
p
enter
lo
c
king: a
d
d class_mut
e
x_destructo
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-27
Dan Ca
r
penter
pr
e
empt_info: add cla
s
s_raw_s
p
inloc
k
_irq_destructor()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-25
Dan Ca
r
penter
points_to
_
us
e
r_data: add
x
dr_copy_to_scratch(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-25
Dan Carpenter
s
list: se
t
the correct sm->line in set_state_stree_perm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-25
Dan Car
p
e
nter
err
_
ptr_deref: silence mlx5_eswitch_ge
t
_vp
o
r
t()
w
a
rnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-15
Dan Carpenter
locking:
r
e
move re
l
ease_sock()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-14
Dan Carpen
t
er
type: fix crash
parsing bcache code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
D
an Carpenter
preempt_
i
n
f
o: add class_spin
l
ock_ir
q
s
a
ve_d
e
str
u
ctor()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
parse: fix how clean
u
p at
t
r
i
butes a
r
e hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpe
n
ter
p
r
eem
p
t_inf
o
:
Use param -2 in
s
t
e
ad
o
f -
1
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
preempt_info: add class_
r
aw_spinlock_irqsave_destructor()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan
C
arpen
t
er
fl
o
w:
f
ix scope ho
o
ks for for loo
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
D
a
n Carpenter
flow: h
a
ndle func
t
ion scope
ho
o
ks better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
scopes: make s
c
opes
work correctly a
c
r
o
s
s
inl
i
nes
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan
Car
p
e
n
te
r
hooks
:
r
e
name l to list
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-11
Dan Carpenter
leaks: silence
c
leanup
.
h false p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
D
an Carpenter
buf_size: a
d
d
b
itma
p
f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan Carpent
e
r
b
u
f_size: big
u
gly
s
ync with relea
s
e
d
sources
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan Carpenter
c
hecki
n
g_fo
r
_null_in
s
tead_of_err_ptr
:
silenc
e
d
e
bugfs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Da
n
Ca
r
penter
dereference:
d
on't talk about dereferencing arrays
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan
Carpenter
dereference:
add strlen() as a dereferenc
e
functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan Carpenter
d
e
reference: use the
n
ew a
d
d_param_key_expr_hook()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan Carpen
t
er
impossible_compar
e
: silenc
e
c
o
n
st values
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan Carpenter
sign
e
d/al
w
ays_
t
r
ue: m
o
ve "always true condition" warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan Carpen
t
e
r
tokenize: parse c
h
ar16_t as
wchar_t
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan Carpent
e
r
refcou
n
t
_
i
nfo/free: fix k
f
ree_skb() when there i
s
n
o
D
B
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
D
an Carp
e
nt
e
r
smdb: don't use "like" where it
isnt necessary
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-31
Dan Carpenter
kernel:
use ha
r
d
coded returns from IS_ERR()
for u
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-31
Dan Carpen
t
er
zero_to_e
r
r
_ptr: hand
l
e pars
e
er
r
ors better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Car
p
en
t
er
atomic_
i
nc_dec: delete obsolete chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
D
a
n
Carpente
r
kernel_a
t
omic
_
dec_test_path: move this into a
s
e
p
ara
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpenter
refcount_info: promote i
t
from a check_ to a smatch_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
D
an C
a
rpenter
atomic_in
c
_dec/refcoun
t
: move was_i
n
c
e
d() from a
t
omic_inc
_
d
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpe
n
ter
smatch: make a s
h
ared set_undefined() helper
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Da
n
Carpenter
function_hooks:
introduce
r
eturn_implies_param_key_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpenter
function_hooks
:
change
add_function_param
_
hook() to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpenter
param_key: de
l
ete unused
v
ariable
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan
C
a
rpenter
h
olds_k
e
rn
e
l_error_codes: commit the holds_ker
n
el_err
o
r
_
c
o
d
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carp
e
n
t
er
devm_cleanup
:
commit the ha
s
_dev
m
_cleanup() declaration
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan
C
arpenter
k
er
n
el_task_sta
t
e: track
w
hen a task is not in TASK_RUNNING
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpenter
function_hooks
:
add
a
dd_function_p
a
ram_hoo
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-26
Dan Carpenter
parse: add __
f
loat128
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-25
Dan Ca
r
pent
e
r
negative_
e
rror_code_type_pro
m
oted
:
warn abo
u
t error
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-25
Dan Car
p
enter
kernel:
d
on'
t
a
s
sume PTR_ERR()
i
s an error pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-25
Dan
C
a
rpenter
constan
t
s: fix err
_
mi
n
/
max ULO
N
G
_
M
A
X
c
onsta
n
ts f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-24
Dan
C
arpenter
u
nwind/has_devm_cleanup
:
move tracking devm_
a
ction
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-24
Dan C
a
rpent
e
r
negative_error_c
o
d
e
: ad
d
s
pecial ha
n
dling
f
or negative
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-24
Dan
Carpenter
not_passi
n
g_
g
fp:
warning about using GFP_KERNEL
inste
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-20
Dan Carpen
t
er
double_checking:
c
omple
t
e re-write
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
next