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
kernel_netdev_priv: track netdev priv data
2023-06-27
Dan Carpenter
kernel_n
e
tdev_priv: track netdev pr
i
v data
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpente
r
param_
l
i
mi
t
: up
d
ate a
c
ommen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan Ca
r
penter
p
a
r
a
m_
k
ey: remove som
e
b
o
gus
w
arn
i
ng mess
a
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-23
Dan Carp
e
n
t
er
function_hook
s
: p
r
ev
e
nt a crashin
g
bug par
s
i
ng fake
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-19
Dan Carpe
n
t
e
r
type: support __a
u
to_type
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-14
Dan Carpe
n
ter
db/fixup_kernel
.
sh: delete kfree() pois
o
n inform
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-14
Dan
C
arpenter
kern
e
l
:
han
d
l
e
with_inte
l
_runti
m
e_pm() mac
r
o
s
be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-14
Dan Carpen
t
er
flow
:
handle dec
l
arations inside for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
D
a
n Carpenter
strlen: handle
str
c
h
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
D
an Car
p
ent
e
r
strlen: store str
l
en inform
a
ti
o
n as a r
a
nge
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpe
n
ter
strlen: han
d
le p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan
C
arpenter
strle
n
:
s
ma
l
l clean
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
D
an Carpente
r
d
eref_check: warn about dereferences before an IS
_
ERR
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
D
an C
a
rpenter
deref_check: u
s
e add_dereferenc
e
_hook(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carp
e
n
t
e
r
units: han
d
le th
e
situation whe
r
e it
a
n array
of bytes
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpenter
poin
t
s_t
o
_us
e
r_d
a
ta: update with some ntfs user
d
ata
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan Ca
r
penter
db
/
re
l
o
ad_p
a
rti
a
l
.
sh: update to h
a
nd
l
e hashed files
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan Car
p
ent
e
r
db/fil
l
_db_
c
alle
r
_info
.
pl: fix "too common function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-07
Dan Carpenter
unsigned_l
t
_ze
r
o
: re-writ
e
this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-31
D
an Carpenter
derefe
r
en
c
e: fi
x
a
c
ra
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-23
Dan C
a
rpenter
scri
p
ts/gen
e
risiz
e
.
p
l
:
h
andle "po
t
ential
l
y tag
g
ed ad
d
r
e
ss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-19
Dan Carpenter
dereference:
fix some false posi
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-19
Dan Carpe
n
ter
returns_nega
t
iv
e
_
error_co
d
e
:
silence some fals
e
positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-19
Dan
Car
p
enter
dereference: hard code nla_da
t
a() as dereferencing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-18
Dan Carpente
r
c
hecking_for_null_i
n
stead_of_err
_
ptr: add lis
t
o
f
untrust
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-17
Dan Carpenter
che
c
king_for_null_instead_of_err_pt
r
:
use sm
a
tch_ker
n
el_err_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-17
Dan Carpe
n
ter
ke
r
nel_err_ptr: hack around for_each_gpio_desc_with_flag()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-15
Dan Carp
e
n
t
er
scripts
/
generisize
.
pl: generisize f
u
n
ct
i
on names
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-12
Dan Carpenter
ker
n
el
.
unreachable
.
turn_off:
add s
o
m
e kunit
stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan C
a
rpenter
preempt_info:
a
d
d __bit_spi
n
_unlock
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Da
n
Carpen
t
er
che
c
k_list/e
r
r_ptr: regis
t
er the err_ptr code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n Ca
r
pe
n
ter
d
ebug/
u
ni
t
s: hook in the __smat
c
h
_units() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
validation/sm_err_ptr: make IS
_
E
R
R() an
i
nline
f
uncti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
deref
e
ren
c
e: find more cross function
derefe
r
ences
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpe
n
ter
e
rr_p
t
r_deref: re-write
t
he check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carp
e
nter
ker
n
el
_
er
r
_
p
tr: t
r
ack error poin
t
er
s
i
n
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Ca
r
penter
kernel
.
no_retu
r
n_fu
n
cs: update t
o
the latest linux
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carp
e
nter
kernel
.
no_return_funcs: add kunit_
d
o_fai
l
ed
_
assertion
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Da
n
Carpenter
compar
i
son: s
t
ore modi
f
ied comparison
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan C
a
r
p
ente
r
units: move checks to check_ fi
l
e an
d
h
i
de under th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpent
e
r
units/debug: add __smatch_units()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units: delete
s
o
me accide
n
tal code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpent
e
r
unit
s
: make unit
s
tates global
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpen
t
er
macr
o
_table: don't store duplicate macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan C
a
rpenter
capped: handle
f
or loops be
t
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpe
n
t
e
r
conditions: strip stuff off a S
T
MT_EXPRES
S
ION
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpen
t
er
expressi
o
ns: *
&
foo is j
u
st foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
kernel_
u
ser_data: take
a short c
u
t
to spe
e
d up
e
mpt
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Car
p
e
nter
mtag: c
r
eate
a rev
e
rse mapping
from mt
a
g
to symbol
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpente
r
p
a
r
a
m_l
i
m
i
t: i
m
prove
p
ri
n
ting the l
i
mi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Carpenter
retu
r
ns:
delete some dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpent
e
r
db/untrac
k
ed_param: move mar
k
_cal
l
_params_untrac
k
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
p
e
n
ter
db: fix sql_insert_r
e
turn_impl
i
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Carpen
t
er
dereferences_p
a
ra
m
:
re-
w
rit
e
s
i
mpler
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpe
n
ter
i
mpos
s
ible: don't mark retur
n
s as i
m
possible i
f
threads
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan
Carp
e
nter
struct_assignment: add
c
o
py_from_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpen
t
er
l
ocking: use shared s
u
ccess_fail_
r
eturn() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Da
n
Carpenter
locking: a
d
d some more
l
ocking
func
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpent
e
r
rosenberg: fix
a
s
egfau
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan C
a
rpen
t
er
ker
n
el
.
unc
o
nstant_macros: add EXT4
_
MOUN
T
_DA
X
_ALWAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
rosenberg: fully initializi
n
g the struct do
e
s not clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
an Carpenter
r
o
senberg: revert "
i
n
i
t
ial
i
za
t
io
n
and struct assignmen
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
locki
n
g
: delete some N
U
LL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
lo
c
k
i
ng: a
d
d some mo
r
e locking funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
an
C
arpenter
b
o
gus
_
a
ddress_param:
w
a
rn
about p
a
ssing a
bogus
a
ddress
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
D
an Carpen
t
e
r
units:
f
i
x the bui
l
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan
C
arpenter
c
heck_
t
ri
n
ity: delete this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Dan Carpente
r
locking: ignor
e
false positives caused by perf_e
v
ent_
e
nable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpenter
units: store what sort of units a variable
i
s in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan
Car
p
enter
zero_to_
e
rr_ptr: add dev_err_p
r
obe()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Dan Carpenter
free_strict: add sock_release
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Carpenter
db/fixup_ker
n
e
l
.
sh: ign
o
re par
a
m
limits
f
rom __dev_printk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Car
p
enter
db
/
fixup
_
kernel
.
sh
:
vfs_read/w
r
ite() are t
h
e on
l
y impo
r
tant
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
extra: revert the mod_e
x
pr
chang
e
s for modify expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carpenter
extra: set no l
i
mits mar
k
_sub_member
s
_gone()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind:
d
evm_add_a
c
t
i
on_
o
r_reset
(
) i
s
now
a macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
u
nwind:
s
e
p
arate path s
t
ates out
i
nto a diff
e
rent check id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind:
i
g
no
r
e path states in p
r
e-merge h
o
ok
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpent
e
r
un
w
i
n
d: don't warn about i
m
possib
l
e
leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
e
nter
u
n
w
i
n
d: ignore component_match_a
d
d_rel
e
ase() paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: use the shared succe
s
s
_fail_return() fu
n
ction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpenter
unwind: c
a
tch additional b
u
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan C
a
rpe
n
ter
u
nwind: fix
a bug with SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carp
e
nter
unwi
n
d:
i
n
troduce &unknown state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan Carpent
e
r
flow: fix MA
C
R
O_
A
SSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Carpenter
p
a
ram_
l
imit: don't store addr
e
s
ses as PARAM
_
LI
M
IT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan C
a
r
penter
helper: mak
e
strip_expr()
s
tr
i
p
out "
+
0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n Carpenter
flow: only fak
e
pa
r
ameter assignments once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Car
p
enter
shift_to_zer
o
:
s
ilence some warnings inside macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
db
/
create_db
.
sh:
verify
t
hat t
h
e info f
i
l
e exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan Carpenter
data
/
k
e
rnel
.
unconstant_ma
c
ro
s
: add ENQUEUE_M
I
G
RATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan Carpente
r
unw
i
nd: don't
wa
r
n about glob
a
l varia
b
l
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
D
an Car
p
enter
flo
w
:
d
on't reparse inlines over and over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan Carpenter
k
e
rnel
.
unconstant_
m
acros: a
d
d
s
om
e
p
en
d
ing
s
tuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
deb
u
g: fi
x
broken compile bec
a
u
s
e of missing code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug: skip everything exc
e
pt a given f
u
nction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
d
e
bug: ad
d
__smatch_s
t
ar
t
/
stop_skip
(
) to s
k
ip processing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug:
make __s
m
atch_abou
t
(
) handl
e
SSA
states better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Car
p
ent
e
r
dereference: fix handling DEREFERENCE from the database
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpenter
dereferenc
e
: only count f
o
o->bar as a deref
e
rence not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next