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
states: correct a typo in some comments
2024-01-29
Dan Carp
e
n
ter
sta
t
es:
correct
a typo
i
n
s
o
me comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2024-01-29
Dan Car
p
enter
flo
w
/
cond
i
t
ions: f
i
x ord
e
ring bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2024-01-18
Dan Carpenter
slist: introdu
c
e __
d
iff_stree() for d
e
bugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2024-01-09
Dan Ca
r
penter
or_vs_and: silence
s
o
me fal
s
e p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2024-01-08
Dan Car
p
enter
hel
p
er: make expr_to_str() print comma expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2024-01-08
Da
n
Car
p
enter
uninitialized_kobj
:
turn of
f
w
h
en
the DB isn't u
s
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2024-01-08
D
a
n
Carpent
e
r
unsig
n
e
d
_lt_zero: ignore "
N
F_CT_H
E
LPER_BUILD_BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2024-01-05
Dan Carpenter
kernel
_
has_devm_c
l
eanup:
a
dd drmm_add_acti
o
n_or_reset
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2024-01-05
Da
n
Car
p
enter
flow: pull if statement handling into
i
ts own functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2024-01-05
Dan Carpe
n
t
er
memcpy_overflow: add oth
e
r memcpy
(
)
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2024-01-05
Dan
C
a
r
pe
n
ter
states: preserve out of sc
o
pe states
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2024-01-05
Dan Carpenter
units:
a
d
d p
i
xel u
n
its
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2024-01-05
Dan Carpente
r
sleep
_
inf
o
:
s
i
lence some fals
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-11
D
an Carpente
r
kernel
.
check_s
t
ring
_
condition
.
ignore:
i
g
nore acp_dev_hi
d
_u
i
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-08
Da
n
Carpenter
d
b/
k
ernel
.
return_fi
x
e
s
:
pla
t
f
o
r
m_get_irq_byname doe
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-08
Dan Carpenter
db/fixup_
k
ern
e
l
.
sh: no user data is p
a
ssed to su
s
pend
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-08
Dan
C
arpenter
d
b/fixup_kern
e
l
.
sh: fix
u
p kmalloc
(
) returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-08
Dan Carpenter
db/fixup_kerne
l
.
sh: fixu
p
sysfs read/write
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-06
D
a
n Carpent
e
r
kernel_e
r
r_ptr: empty states are n
o
t e
r
ror
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-06
Dan
Carp
e
n
t
er
type: fix
s
ome type promotion bugs for un
i
ts with the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-05
Dan
Carpenter
preem
p
t_info: add class_write
_
lock_ir
q
_destructor
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-04
Dan
C
arpen
t
er
unsi
n
g
e
d
_lt_zero:
allow unsigned compa
r
isons w
i
th KASAN_SHAD
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-01
D
an Carpenter
units: a
n
ythin
g
c
a
n
be saved to a register
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-01
Dan Ca
r
penter
u
n
i
ts: remove some guessing
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-01
Dan Carpenter
flow: don'
t
cal
l
scope_guard hooks twice a
t
the end
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-12-01
Dan Ca
r
pent
e
r
flow: fake returns for inline f
u
n
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-29
Dan Carpente
r
parse: add a check fo
r
NULL in stmt_ge
t
_par
e
nt_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-29
Da
n
Carpenter
db/kernel
.
r
e
tur
n
_fixe
s
: add __hci_cmd_sync_s
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-29
Dan Carpenter
db/kernel
.
return_fixe
s
:
f
ix scope
_
guard() parsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-21
Dan Ca
r
pen
t
e
r
param_set: remo
v
e duplicate mat
h
s
t
rings
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-09
Dan Ca
r
penter
ch
e
ck_unwind: fix requ
e
s
t
_firmware()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-07
D
a
n Carpente
r
check_kernel: fix the
b
uil
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-07
Dan Carpenter
a
ssign_vs_compare
:
silence bcache false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
free
/
r
efc
o
u
n
t:
m
ove refcount_
w
as_inced() to refcount
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Ca
r
pente
r
ke
r
nel_kre
f
_p
u
t
: mo
v
e to a d
i
fferent file
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan
Carpenter
ch
e
c
k_kernel: add
s
upport fo
r
with_in
t
el_display
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan
C
arpen
t
er
check_kernel: a
d
d support
f
or msec()
t
o jiffies
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpen
t
e
r
check_k
e
rnel: add supp
o
rt for size_add() and size_
m
ul()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
ch
e
ck_kernel: add support
f
or put_device()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Ca
r
penter
l
ocking: han
d
le clas
s
_
mutex
_
destruct
o
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carp
e
nter
assigned_expr: make
skip_mod fu
n
ction_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan
Carpenter
a
s
s
i
gned_expr: handle fake parameter assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-31
D
an
C
a
rp
e
nter
u
nc
h
e
c
ked_allocati
o
n: use
the smatc
h
_dereference
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpe
n
ter
f
r
ee_strict:
remove kref_put(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
f
r
e
e
_str
i
ct: __skb_
p
ad() o
n
l
y frees on error
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
buf
_
c
om
p
a
r
ison: int
r
o
duce
t
he buf_has_bytes
(
) func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
D
a
n Carpenter
b
u
f_size: t
r
ack th
e
size
of struc
t
s when people use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Ca
r
p
e
nter
smdb
.
py: im
p
rove type_size output
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpent
e
r
extra: don't trac
k
array assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpent
e
r
fun
c
t
i
on_ptr
s
: don't track functi
o
n pointers
pa
s
sed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
helper: impr
o
ve ge
t
_member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Da
n
Car
p
enter
hook
s
: remove som
e
u
nnecessar
y
NULL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Ca
r
p
e
nter
debug: prev
e
nt unin
i
ti
a
l
i
z
e
d
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
Carpente
r
p
oints_
t
o_us
e
r
_
data:
a
d
d
a comm
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
f
r
ees_pa
r
a
m
_strict: track cont
a
i
ner_of better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-25
Dan Ca
r
pe
n
ter
frees_param_strict: track
MAYBE_FRE
E
D parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-25
D
a
n
C
ar
p
ente
r
free_strict: add support for __skb_p
a
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-20
Dan Carpente
r
str
i
ngs: fix crash bug parsing
f
oo = bar
?: baz
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-19
Dan Carp
e
nter
db: don't
mark
t
he db as incompl
e
te be
c
ause of che
c
k
_
debug
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-19
Dan
C
arpent
e
r
kernel_user_
d
ata: don'
t
insert useless data int
o
t
he
D
B
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-18
Dan
Carpenter
d
a
ta/ke
r
nel
.
unconstant_
m
acros:
add more macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-12
Dan Carpenter
flow: cal
l
sc
o
pe hooks before recording
t
he cross
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-12
Dan
C
arpenter
deref: fi
x
a cr
a
shin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-11
Dan
C
arpenter
p
arse:
ignore
__
s
eg_gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carp
e
nte
r
free_strict:
p
as
s
the correct expressi
o
n
t
o f
r
e
e hooks
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
D
a
n Carpenter
dereference: add spinlock_check() as a d
e
referen
c
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Ca
r
penter
do
u
ble
_
checking: si
l
e
nce some fa
l
se pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
double_checking: d
i
sa
b
le
i
mpli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Car
p
en
t
e
r
atomi
c
_
d
e
c_te
s
t_path: hack
arou
n
d as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
kernel_
u
ser_dat
a
: de
l
et
e
som
e
dead
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
refc
o
u
nt_
i
nf
o
: a
d
d so
m
e more refcount fu
n
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Da
n
Carpenter
l
o
cking: re-ad
d
release_
s
ock()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
D
a
n
Carpe
n
ter
stored_condi
t
ions: comm
i
t us
e
less
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan C
a
r
p
e
n
t
er
refcount: parti
a
l
incre
m
ents
cou
n
t a
s
in
c
r
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
D
a
n Carpenter
ranges: fix
error poin
t
er handling cross compil
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan
C
arpe
n
t
e
r
flow:
m
ore fixes for cleanup code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
D
an Carpe
n
ter
flow
:
m
o
ve
s
ome code around
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpe
n
ter
flow/dereference: handle *&foo->bar bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan Ca
r
penter
dereference: ha
n
dle frob(&foo->bar
)
; better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-02
Dan
C
a
rp
e
nter
dere
f
erence
:
ig
n
ore pointer math better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-28
Da
n
Carpenter
locki
n
g: hard cod
e
s
o
me lo
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-28
D
a
n
Carpenter
locking: add class_mutex_destructor()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-27
Dan Ca
r
penter
preem
p
t_info
:
add cl
a
ss_
r
aw
_
spinlock_i
r
q_destruc
t
or()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-25
Dan Car
p
ent
e
r
points_to_us
e
r_data: a
d
d x
d
r
_copy_to_scratch()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-25
Dan Car
p
enter
slist
:
s
e
t
th
e
c
o
r
rect sm->line in set_
s
tate_stree_p
e
rm
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-25
Dan Carp
e
nter
err_ptr
_
deref: silence mlx5_
e
switch_g
e
t_
v
po
r
t() warni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-15
Dan C
a
rpenter
loc
k
ing: remove releas
e
_sock()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-14
Dan Car
p
enter
type: f
i
x
cr
a
sh parsing b
c
a
che code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
preempt_info: add class_sp
i
nlock_i
r
qsave_destructor()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
parse
:
fix how cleanup attri
b
utes
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpen
t
er
pree
m
pt_info: Use param -2
i
n
stead of -1
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
preempt_inf
o
: add cl
a
s
s_raw_spinloc
k
_irqsave_destructor()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Da
n
Carpent
e
r
flow: fix
scope hooks for for loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
D
an
Ca
r
penter
f
l
o
w: handle function scope hooks
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
D
a
n Car
p
enter
sc
o
pes: make
s
c
ope
s
wo
r
k cor
r
ectly across inlines
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Car
p
e
n
ter
h
o
oks: rename
l
to list
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-11
Dan Car
p
enter
l
eaks: si
l
ence cleanup
.
h
f
alse positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan Carpe
n
ter
buf_s
i
ze: add bitmap function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Da
n
Carpente
r
b
uf_
s
i
ze: big ugly sync with released sources
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan Carpenter
c
h
ecking_for_nu
l
l_instead
_
of_err_ptr:
s
ilence debugfs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
next