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 Carpen
t
er
units
:
remove some guessing
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-01
Dan
C
a
r
penter
flow: don'
t
cal
l
sco
p
e_guard hooks twice
at the end
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-01
Dan Carp
e
nter
flow:
fak
e
retur
n
s fo
r
inline func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-29
D
a
n
Carpent
e
r
pars
e
: add
a
ch
e
ck for NULL in
stmt_
g
e
t_parent_stmt(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-29
Dan Carpenter
db/kernel
.
return_fixes: add __hci_cmd_syn
c
_sk()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-29
Dan Ca
r
p
enter
db/kernel
.
retu
r
n
_fi
x
es:
f
i
x
scope_guard() parsing
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-21
Dan Carpe
n
ter
param
_
set: remove
d
up
l
ica
t
e math strings
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-09
Dan Car
p
enter
check
_
un
w
ind
:
f
ix
req
u
est_firmware()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-07
Dan Carpenter
check_ker
n
el: f
i
x the
build
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-07
Dan Carpenter
assign_vs_comp
a
r
e: sile
n
ce
bcache false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
D
an C
a
rpenter
free/refcou
n
t: move
r
efcount_was_inced() t
o
r
efcount
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carp
e
nter
kernel_kref_put:
mo
v
e to a different file
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Dan Ca
r
penter
check_ker
n
el: add
s
u
pport for with_intel_dis
p
lay()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
c
heck
_
kern
e
l: add
s
upport for msec()
to jiffies
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Da
n
Carpente
r
c
heck_kernel: add suppo
r
t for size_
a
dd() and size_mul()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpent
e
r
check_kernel:
add sup
p
o
rt for
p
ut_device()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Dan
C
arpenter
l
ocking: handle class_mu
t
ex_
d
estruct
o
r(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carp
e
nter
ass
i
g
n
e
d_expr: ma
k
e
s
k
ip_mod f
u
nct
i
on_dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
D
a
n
Carpenter
assi
g
ned_expr: han
d
le fake
p
a
ramet
e
r assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-31
D
an Carpenter
unchecked_al
l
ocation:
use
the
smatch_dereference
.
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
free
_
strict: remove kref_
p
ut()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan Car
p
e
nte
r
free_strict:
__skb_p
a
d() onl
y
f
r
ees on
error
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Da
n
Carp
e
n
ter
buf_compari
s
on: i
n
troduce th
e
buf_h
a
s_
b
ytes() func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Da
n
Carpen
t
e
r
buf_s
i
ze: tr
a
ck the size of s
t
ructs
when people use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpente
r
smdb
.
py: improve
type
_
s
i
ze outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpen
t
er
e
xtra:
don't track array assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
D
a
n Carpenter
function_ptrs: don't
tra
c
k f
u
n
c
t
i
on
p
ointers p
a
ssed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpent
e
r
help
e
r: improve get
_
membe
r
_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Da
n
Carp
e
nter
hook
s
: remove some unn
e
cessa
r
y NULL checks
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
D
a
n Carpenter
de
b
ug:
p
reven
t
u
ninit
i
ali
z
e
d
v
ariable
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan C
a
rpenter
p
o
in
t
s_t
o
_user_data: add a com
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan C
a
rpenter
frees_par
a
m_strict: track container_o
f
better
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-25
D
a
n
Carpente
r
frees_param_
s
trict: trac
k
MAYBE_FREED paramet
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-25
Dan C
a
r
penter
free_
s
t
rict: add support for __skb_pad()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-20
Dan Carpenter
st
r
ing
s
: fix crash bu
g
pars
i
ng foo = bar
?: baz
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-19
Da
n
C
a
r
p
ent
e
r
db: don't
mark the d
b
as
incomplete becau
s
e of check_debu
g
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-19
D
a
n Carpenter
kerne
l
_
user_d
a
ta: don't insert use
l
e
s
s
data into
t
he DB
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-18
Dan
C
ar
p
en
t
er
data/kernel
.
unconsta
n
t_macros: a
d
d mo
r
e m
a
c
r
os
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-12
D
an Carpenter
flow: call scope hook
s
before recor
d
ing
t
he cross fun
c
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-12
Dan C
a
rpenter
der
e
f: fix a crash
i
ng bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-11
Dan C
a
rpenter
parse:
i
gno
r
e __seg_gs
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
free_strict: pass the correct expre
s
sion to f
r
ee hoo
k
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan
C
arp
e
nter
dereference:
a
dd spinlock_
c
heck() as a
d
ere
f
erence
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan Ca
r
p
enter
d
ouble_che
c
king:
s
ilence some
false
p
ositives
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan
Carpenter
do
u
b
le_chec
k
in
g
: disable im
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan
C
arp
e
nter
a
tomic_
d
e
c
_test_p
a
th:
hack a
r
o
und assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
D
an Carpenter
kerne
l
_user_data: de
l
et
e
some
d
ead code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpente
r
re
f
count_in
f
o: ad
d
so
m
e
more refcount fun
c
tio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan
Carpen
t
e
r
locking: re-add r
e
lea
s
e_sock()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
s
t
ored_condi
t
io
n
s: c
o
mmit use
l
ess code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan
Car
p
e
n
t
er
refcou
n
t: partial increments
c
ount as increments
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpenter
ranges: fix
error pointer handling cross compiling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-05
Dan C
a
r
penter
f
l
o
w: more fixes for cleanup c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-05
D
a
n Carpe
n
ter
flow: move
some
c
ode ar
o
und
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-05
Dan
Ca
r
p
enter
flow/dereference: handle *&foo->bar b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-05
D
a
n Carpenter
d
e
referen
c
e: handle frob(&foo->bar); better
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-02
Dan
C
a
rpenter
dereference: ignore point
e
r math b
e
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-28
Dan Carpent
e
r
locking: har
d
code
s
ome locks
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-28
Dan Carpenter
locking: add class_mutex_destr
u
ctor()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-27
Dan Carpen
t
er
preempt
_
info: add class_raw_spinlock_irq_destructor
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-25
Dan Carpenter
points_to_
u
ser_data: ad
d
xdr_copy
_
to_
s
cratc
h
()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-25
D
a
n Carpenter
sli
s
t: set the correct sm-
>
line in set_st
a
t
e_stree_p
e
rm()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-25
Dan Carpenter
err_ptr_deref: s
i
len
c
e
mlx5_e
s
witch_ge
t
_vport() war
n
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-15
Dan C
a
rpen
t
er
l
o
cki
n
g: remove r
e
lease_so
c
k()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-14
D
an Carpenter
ty
p
e
:
fix c
r
ash parsing
b
cache code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-11
D
a
n Carpenter
pree
m
pt_i
n
fo: add
c
lass_spinlock_irq
s
a
v
e_
d
es
t
r
u
c
t
or()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpen
t
er
parse
:
fix how
c
leanup attr
i
butes
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
pree
m
pt_info
:
Use
p
aram -2 i
n
stead o
f
-1
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
preempt_info: add clas
s
_r
a
w_spi
n
lo
c
k
_
irqsave
_
dest
r
uctor()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
flow: fix
scope hooks for for loop
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-11
D
a
n
Carpenter
f
l
o
w
:
handle function scope hook
s
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carp
e
nter
scopes: ma
k
e scopes w
o
rk c
o
rrectl
y
across
i
nline
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-11
Dan C
a
rpente
r
h
o
oks: rename l to
l
i
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-08-11
Dan Carpenter
leaks: silence cl
e
a
nup
.
h
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-08-02
Dan Carpenter
buf_
s
i
z
e
: add b
i
tmap functions
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-08-02
Dan Carpenter
buf_siz
e
: big u
g
ly sync with released sources
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-08-02
Dan Ca
r
penter
checking_for_null_ins
t
e
a
d_
o
f
_err_p
t
r
: silence debugfs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-08-02
Da
n
C
arpent
e
r
der
e
ference: don't talk abo
u
t dereferencing arrays
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-08-02
D
an Carp
e
nter
dereference: add strlen
(
) as a dereference f
u
ncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-08-02
Dan Carpen
t
er
dereference: use the new
add_param
_
key_expr_
h
ook()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-08-01
Dan C
a
rpenter
i
mpossi
b
le_compare:
s
il
e
nce
c
onst valu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-08-01
Dan Carp
e
nte
r
signed/always_t
r
ue: move "always true condition" warning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-08-01
D
a
n
C
arpenter
tokenize: parse ch
a
r16_t
a
s
wchar_t
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-08-01
D
an Carpenter
r
e
fcount_info/fre
e
: fix kfree
_
skb(
)
whe
n
there
i
s
n
o DB
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-08-01
Dan Carpenter
smdb: d
o
n
'
t use
"
like" where
it
i
snt necessary
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-31
Dan Carp
e
nter
ke
r
nel: use hard co
d
ed return
s
from
I
S_ERR() for
u
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-31
Dan Carpent
e
r
zero_to_
e
rr_
p
t
r
:
handle
p
ars
e
errors better
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-28
Dan
Car
p
en
t
er
atom
i
c_inc_dec: delete obsolet
e
c
heck
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpenter
ke
r
nel_ato
m
ic_dec_test_
p
a
th: move
t
his into a separ
a
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-28
Dan C
a
rpente
r
refcount_in
f
o:
pr
o
mote it from a chec
k
_ to a smatch_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-28
Dan C
a
r
penter
ato
m
ic_
i
nc_d
e
c/refco
u
nt: move was
_
inc
e
d() f
r
om atomi
c
_i
n
c_
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-28
Dan
C
arpe
n
ter
smatch: make a shared set_undefine
d
() helper
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-28
Da
n
C
arpenter
func
t
ion_h
o
oks:
i
ntr
o
duce r
e
tur
n
_im
p
lies_param
_
key_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-28
Dan
C
arpenter
function_hooks: c
h
an
g
e add_function_param_hook() t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-28
Dan Ca
r
penter
param_key: d
e
lete unused v
a
r
i
ab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-28
Dan Ca
r
penter
holds_
k
ernel_error_codes: com
m
it the
h
olds_ker
n
el_error_code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpe
n
ter
d
evm_c
l
eanup: commit the has_devm_cleanup()
d
eclaration
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-28
Dan Car
p
e
nter
kernel_task
_
state:
track wh
e
n
a t
a
s
k
is
n
ot in TA
S
K_RUNNING
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-28
Dan Ca
r
p
en
t
er
func
t
ion_hooks:
a
dd ad
d
_func
t
ion_param_hook
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-26
Dan Carp
e
nter
p
arse
:
add __float128
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
next