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
units: remove some guessing
2023-12-01
Dan
Carpenter
units:
r
e
m
ove s
o
me guessing
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-01
Dan Carpent
e
r
f
low: don't call
s
cop
e
_guard hooks twice at the end
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-01
Dan Carpenter
f
low:
fake ret
u
r
ns for inline fun
c
t
io
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-01
Har
s
hit Mogal
a
pall
i
c
h
e
ck_
u
nin
i
tiali
z
ed_kob
j
: Add
a
n
e
w
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-29
Dan Carp
e
nter
parse: add a check for N
U
LL in stmt_get
_
parent_stm
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-29
Dan Carpenter
d
b/kernel
.
r
e
tur
n
_fixes:
a
dd __hci_cmd
_
syn
c
_sk()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-29
Da
n
C
arpen
t
er
db/ker
n
e
l
.
return_fixe
s
: fix scope_guard()
p
arsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-21
D
an
C
a
rpenter
pa
r
a
m
_set: remove
d
uplicate ma
t
h str
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-09
Dan Carpenter
check_
u
nwind
:
fix request
_
firmware()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-07
D
an Car
p
ente
r
ch
e
ck
_
kernel: fix the
b
uild
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-07
Dan C
a
rpenter
as
s
i
gn_vs
_
compare
:
silence bcach
e
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
free/
r
efcount: move refcount_wa
s
_inced() to refcount
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
D
a
n Carpenter
kernel
_
kref_put: move to a different
fi
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
c
h
eck_kernel: add support for with_
i
ntel_display()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan
C
arpenter
c
h
eck_kerne
l
: add support
f
or msec()
t
o jiffi
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Car
p
enter
check
_
kernel
:
add support
for si
z
e_add() and
s
ize_mul
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
check_kernel: ad
d
support
for pu
t
_
device()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
l
o
c
king: ha
n
dle class_mu
t
ex_destructo
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpen
t
er
assi
g
ned_expr: make skip
_
mod fu
n
ction_dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
assigned_expr: h
a
ndle f
a
ke parameter assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Harshit Mogalapalli
check_unwind: Add req
u
est
/
re
l
ease_fir
m
ware
to
the function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-31
Dan Carp
e
nter
unchecke
d
_alloca
t
ion: use the sma
t
ch_dereferenc
e
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Ca
r
penter
fr
e
e
_
s
t
rict: remove kre
f
_p
u
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Harshi
t
Mogal
a
palli
check_ida_alloc: Improve check to
not warn wh
e
n mi
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Car
p
en
t
er
free
_
strict: __
s
kb_pa
d
() onl
y
f
r
ees
o
n
error
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Car
p
enter
buf_compariso
n
: introduce the buf_h
a
s_bytes() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
C
arpe
n
ter
buf
_
size: track the si
z
e of struct
s
when
p
eople use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
C
arpen
t
er
s
m
d
b
.
py:
i
mprove type_size
o
utpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
D
an Car
p
enter
extra: don't track array assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
Carp
e
nter
fu
n
c
t
ion_ptrs:
d
on't track fun
c
t
i
on
p
ointers passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
helpe
r
: i
m
prove get_
m
em
b
e
r_
n
ame()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
Car
p
ent
e
r
hooks:
remove s
o
me un
n
ecess
a
ry NULL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
debu
g
: p
r
e
vent uninitiali
z
e
d
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
points_to_user_data: add a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
frees_param_s
t
ric
t
: track
co
n
taine
r
_of better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-25
Dan Carpe
n
ter
frees_param_strict
:
track
MAYBE_FREED
para
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-25
D
an Carpenter
free_strict: add support for __sk
b
_
p
ad()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-20
D
a
n Car
p
e
n
ter
strings: f
i
x crash bu
g
parsing foo =
b
ar ?: baz
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-19
Da
n
Carpenter
db:
d
on't mark
the db as incomplete because of check_debug
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-19
Dan Carpenter
kernel_user_data:
don't insert useless data into
the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-18
Dan Carpe
n
ter
data/kernel
.
unconstant_ma
c
ros: add
m
o
r
e macro
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-12
Da
n
Carpenter
flo
w
:
ca
l
l s
c
ope hook
s
before recording the cro
s
s
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-12
Dan Ca
r
pente
r
deref: fix a cras
h
ing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-11
Dan
C
arpenter
parse: ignore __seg_gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
f
r
e
e
_strict
:
pa
s
s the correct
exp
r
ession
t
o
f
ree h
o
ok
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Ca
r
p
e
nter
deref
e
rence: add spi
n
l
o
c
k_check() as
a
d
e
reference
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
double_checking: silence some false positi
v
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
double_checking:
d
isable
implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan C
a
r
penter
ato
m
ic_de
c
_te
s
t_p
a
th: ha
c
k around
a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carp
e
n
ter
ke
r
nel
_
user_data: delete some d
e
ad cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpe
n
ter
r
e
fcount_inf
o
: ad
d
s
o
me mo
r
e refcount functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
D
an Carpenter
lock
i
n
g:
re-
a
d
d
r
e
lease_sock()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan
C
arpent
e
r
s
t
ored_conditions: commit
u
seless
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan
Ca
r
penter
r
e
fco
u
nt: pa
r
tial incremen
t
s count as incr
e
me
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpen
t
er
range
s
: fix
erro
r
poin
t
er ha
n
d
ling cross compiling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carp
e
n
ter
f
l
ow: more
f
ixes fo
r
clea
n
up code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpenter
flow: move some code aro
u
nd
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan
Carpenter
flow/dereference:
handle *&foo->bar better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan
C
a
r
penter
dereference: ha
n
d
l
e frob(
&
foo->ba
r
); better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-02
D
an Carp
e
nter
der
e
fere
n
c
e
: ig
n
ore pointer math better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-28
Dan Carpenter
lock
i
ng:
hard co
d
e
s
o
me locks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-28
Dan
C
arpente
r
lo
c
ki
n
g: a
d
d class_mutex_des
t
ructor(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-27
D
an C
a
rpent
e
r
p
reempt_info: add class
_
raw_spinlock_
i
r
q_destr
u
c
tor()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-25
Dan Carpenter
points_to_user_data: a
d
d xdr_copy_to_scratch()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-25
Dan Ca
r
p
e
nter
sl
i
st:
s
e
t
the
correct
sm->lin
e
in
set_state_st
r
e
e
_perm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-25
Da
n
Carpent
e
r
err_
p
t
r
_
d
eref: silen
c
e
mlx5_eswitch_get_vport() warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-15
Dan Carpe
n
ter
locki
n
g: remove release_so
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-14
Dan C
a
rpenter
type: f
i
x cra
s
h
parsing
b
cache co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan C
a
rpente
r
p
r
eempt_inf
o
: a
d
d
c
la
s
s_spinlock_
i
rqsave_d
e
structor()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpe
n
ter
pa
r
se: fix
h
o
w
cleanup a
t
tribute
s
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
D
an Carpe
n
ter
preempt_info: Use param -2 instead of
-
1
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
p
reempt_info
:
add cla
s
s_raw_spin
l
ock_
i
rqsa
v
e_d
e
structor(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
flow: fix scope
h
ook
s
for for loo
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
f
l
ow: handle function scope hoo
k
s b
e
tt
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpe
n
ter
scopes: ma
k
e scope
s
wo
r
k correctly acr
o
ss
i
n
l
i
nes
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Da
n
Carp
e
nter
ho
o
ks: rename l
t
o
l
ist
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-11
Dan Ca
r
penter
le
a
k
s
:
silence cleanup
.
h false posi
t
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan Ca
r
penter
buf_size: add bitm
a
p functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
D
a
n
C
ar
p
e
n
t
e
r
bu
f
_
s
ize: big
ugl
y
sync
w
ith released
s
ources
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
D
a
n
C
arpenter
ch
e
cki
n
g_for_null_instead_of_
e
rr_ptr
:
silence debugfs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan
Carpenter
dereference: don't talk about der
e
feren
c
in
g
a
r
r
ays
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
D
a
n
Carpenter
de
r
eference: ad
d
strlen() as a de
r
eference function
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan Carpenter
dereference:
use the new
a
dd_param
_
key_ex
p
r_hook()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan
Carpente
r
impossible_compare:
s
ilence co
n
st
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan Carpen
t
er
signed/always_true: move "alw
a
ys tr
u
e
con
d
ition" warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan
Carpenter
to
k
en
i
z
e: parse char16_t as wchar_t
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan
C
a
rpenter
refcoun
t
_info/free: fix kfree_sk
b
() when there is no DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan Carpente
r
smdb: don
'
t use "like" where it isn
t
necess
a
ry
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-31
Da
n
Carpen
t
er
kern
e
l:
us
e
hard cod
e
d returns from IS_ERR()
f
or
u
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-31
Dan Carpenter
zero_to_err_pt
r
:
handl
e
parse e
r
rors bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan
Carpent
e
r
ato
m
ic_inc_dec: d
e
lete
o
bsolete check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
D
a
n Carpe
n
ter
kernel
_
at
o
m
i
c_
d
ec_test_path: move this into a sep
a
rat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Ca
r
penter
refcount_info: promote it f
r
o
m a check_
t
o
a
smatch_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
D
an Carpenter
a
tomi
c
_inc_
d
ec/refcoun
t
: move w
a
s_inc
e
d
() f
r
om atomi
c
_inc_de
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carp
e
nter
smatch: make a shared set_undefined() helper
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpenter
fu
n
ction_hoo
k
s: introd
u
ce
return_impli
e
s_param_
k
ey
_
expr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Car
p
enter
f
unction_hooks: ch
a
nge add_function_param_hook() to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpe
n
ter
param_key:
de
l
ete u
n
used variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan
Carp
e
nter
holds_kernel
_
e
rror_c
o
des: commit t
h
e holds_kernel
_
erro
r
_code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpenter
d
evm_cleanup:
c
o
mmit
the h
a
s_devm_cleanup(
)
declaratio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
next