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
free_strict: add sock_release()
2023-04-13
Dan Carpe
n
ter
f
ree_strict: add sock_rele
a
se(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
db/fixup_kernel
.
sh
:
i
g
nore param limits from __dev_
p
rintk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
p
e
n
ter
db/f
i
x
up_ker
n
el
.
sh: vfs_r
e
ad/write() are the only important
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carp
e
nter
extra: revert the mod_expr chan
g
e
s
f
o
r
m
odify expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
ent
e
r
extra:
s
et no limits ma
r
k
_sub_memb
e
rs_g
o
ne()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
a
r
pe
n
te
r
unwind:
devm_add_action_or_res
e
t
() i
s
n
o
w
a
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
u
nwind
:
sepa
r
ate path
stat
e
s
o
ut into a different ch
e
ck id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: i
g
nor
e
path
s
tates in pre-merg
e
hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arp
e
nte
r
u
n
wind: don't war
n
abou
t
im
p
ossible leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
penter
unwind:
ignore component_m
a
tch_ad
d
_rel
e
ase() p
a
ths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan C
a
rpenter
u
nwind: u
s
e the s
h
ared success_fail_return() f
u
n
ction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
u
n
w
ind: ca
t
ch addition
a
l bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpent
e
r
unwind: fix a b
u
g with
SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carpen
t
er
u
n
wind: introduce &unknown state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan
Carpenter
fl
o
w
:
f
i
x
MACRO_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Carpenter
param_limit: don
'
t
s
t
ore addresses as PA
R
AM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Da
n
Carp
e
nter
helper: ma
k
e st
r
ip_expr() strip
o
u
t
"+ 0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
flow: only fak
e
pa
r
ameter assi
g
n
ments once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n
Carpenter
shift_to_zero: silence so
m
e
w
arnings inside macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n C
a
rpent
e
r
db/
c
r
eate_db
.
sh: verify that the inf
o
file exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan Carpent
e
r
data/kernel
.
un
c
o
n
stant_
m
acros: add ENQ
U
EUE_MIGRATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
D
an
C
a
r
penter
u
n
w
ind: don't warn a
b
out glo
b
al variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan Carpe
n
ter
flow: don'
t
repar
s
e in
l
ine
s
over and over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
D
a
n Carpenter
kernel
.
unconstan
t
_macro
s
: add so
m
e pending stuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan C
a
rpenter
de
b
u
g
: fix bro
k
en compile because of
mi
s
sing cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan C
a
rpen
t
er
debug: ski
p
everythi
n
g e
x
cept a giv
e
n function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Ca
r
p
e
nt
e
r
debug
:
add __smatch
_
s
t
art
/
stop_skip() to skip
proc
e
ssing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpente
r
debug: make _
_
s
m
atch_a
b
out() han
d
le SSA states better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
D
an
Carpente
r
dere
f
e
r
ence: fix h
a
ndlin
g
D
E
REFER
E
NCE from the database
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
D
a
n Carpenter
der
e
f
e
r
e
nce:
o
n
l
y count
foo->
b
ar as a dereference not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
D
a
n Carpenter
d
at
a
/kernel
.
ignore
_
unitialized
_
param: add s
o
me more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Car
p
enter
param_clear: ad
d
suppo
r
t for BUF_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Da
n
C
arpenter
param_limit: ignore B
U
F_
C
L
EAR here as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
dereference: create a add_dereference_hook
(
) functio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan C
a
r
p
e
n
t
e
r
buf_cl
e
ar: d
o
a
speed up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan C
a
rpenter
kernel_us
e
r_d
a
ta: us
e
a
param/
k
ey tab
l
e
fo
r
sim
p
le_strtoul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
d
b
/kernel
.
re
t
ur
n
_f
i
xes: add
debugfs_initialized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan C
a
rpenter
db
/
k
ernel
.
r
e
tur
n
_fixes: add
nla_nest_start_nofla
g
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carp
e
n
ter
user_data: re
m
o
v
e xdr_inl
i
ne_decode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data: clean up
how sscanf is han
d
led
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an Ca
r
penter
use
r
_data: clean up how
io
v
_iter_count is handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Da
n
C
a
r
pente
r
points_to_host_
d
ata: make a
p
o
i
nter const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data/ptr: move t
h
i
n
gs f
r
om user_data to user_ptr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan C
a
r
p
enter
db: do t
h
e c
a
l
ler_info
stuff earli
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Da
n
Car
p
enter
db: fix returned inform
a
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an Car
p
enter
struct_assignment
:
make the
f
ak
e
d_
e
xpression fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
user_d
a
ta:
f
ix a
n
is_
n
ew sett
i
ng in ha
n
dl
i
ng
a
ssig
n
ments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Car
p
enter
ker
n
e
l
_user_data: don't set *
m
y
_
struct to user da
t
a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
a
n Carpenter
k
e
r
n
e
l
_
user_da
t
a: ignore void types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
a
r
pent
e
r
d
b
/
fixup_kernel
.
sh: onl
y
record one work queue caller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
an C
a
rpenter
est
a
te: poi
n
t
e
rs ca
n
't hav
e
a fuzzy max
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan C
a
rpenter
points_
t
o_user_data: all
calls
t
o
copy_from_user
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
an C
a
rpenter
st
r
uct_assignment: introduce create_recurs
i
ve_fake_assi
g
n
ments()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan
C
arpenter
parse_call_math: store ==$0 ev
e
n for known v
a
lues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
an Carpe
n
ter
ho
o
ks: save the cont
a
iner->owner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
r
eturns_n
e
ga
t
ive_error_code:
l
ow positiv
e
s are not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carp
e
nter
returns_n
e
ga
t
ive_err
o
r_code: empty states are no
t
error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Da
n
Carpent
e
r
points
_
to_u
s
e
r_data: rename
s
et_points
_
to_us
e
r_data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Ca
r
pen
t
er
sm_hash: export st
r
_
t
o_llu_hash_
h
elper()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan C
a
rpenter
smatch: do
n
't
i
ncl
u
de "scope
.
h" for no reason
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan
C
arpenter
fl
o
w: p
u
ll p
a
rse_a
s
s
ignm
e
nt() into
i
ts own fu
n
ction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Da
n
Carpent
e
r
flow
:
revert prev
i
ous
c
o
m
m
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpenter
flow: handle struct ass
i
g
nm
e
nts later
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpente
r
points_t
o
_user_dat
a
: handle some poin
t
er m
a
th better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpente
r
points_to_
u
ser
_
data:
com
m
u
ni
c
ate
USER_PTR r
e
turns
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Car
p
e
nter
p
oints_to_us
e
r_data: hard code some ksmbd stu
f
f as
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Ca
r
pent
e
r
function_hooks: do ear
l
y
s
t
uff even
earlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpenter
functio
n
_hooks: don't call db
_
retu
r
n
_states() early
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Da
n
Carpenter
function_hooks: intro
d
uce early add_f
u
n
c
tion_hook_early()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Da
n
Carpenter
u
n
rea
c
hable: cha
n
g
e
int to bool
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
D
a
n Ca
r
pent
e
r
u
n
r
e
achable:
d
elete an extra spac
e
character
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
D
a
n
Carpenter
unreachabl
e
: i
g
n
o
re all for_
X
XX macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan Carpenter
expr
e
s
s
io
n
s
:
m
ake gen_expr
e
ssion_
f
rom_key()
h
an
d
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan Carpente
r
ex
p
ress
i
o
ns: make gen_expr_from_par
a
m_key() wo
r
k
f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-13
H
a
rshit M
o
ga
l
ap
a
lli
direct_
r
eturn_instead_of_goto: don't warn about othe
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-13
Harshit Mogalap
a
lli
d
i
rect_return_ins
t
ea
d
_
o
f
_goto:
D
elete dupl
i
cate c
o
nditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-09
Dan Ca
r
p
enter
sleep
i
n
g
in atom
i
c: silenc
e
some dupl
i
cate warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
an Ca
r
penter
db/kern
e
l
.
return
_
fixes: update not
i
fier_to_err
n
o()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
C
arpenter
db/smdb
.
p
y: upd
a
te the
type st
r
ings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n Carpe
n
ter
kernel
.
u
nre
a
chable
.
ignore: add damon_for_each_target
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
an Ca
r
penter
e
xpressions: add ca
s
t_expression()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
expressio
n
s: fix a -> vs
.
bug i
n
gen_expr
e
ssion_from_k
e
y(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
an Carpente
r
extra: pa
s
s
a different mod_exp
r
for v
a
nilla
a
ssignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
C
a
r
p
e
nter
buf_comparison: ad
d
support for struct_siz
e
() arra
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpent
e
r
hooks: co
m
m
i
t
s
ome mis
s
ing bits
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Da
n
Carp
e
nter
hel
p
er: 0-s32max
r
et
u
rns a
r
e success
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Car
p
ente
r
helper
:
add
a
strip_parens() in get_me
m
ber_name()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpen
t
er
k
erne
l
_host_data: ignore
nonsense
i
nformation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
an
C
arpent
e
r
db/c
l
ear_
u
ser_data: clean user data more t
h
oroughly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
Carpenter
kern
e
l
_user_data: ignore
n
onsense dat
a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
kernel_user_data: a
d
d some mo
r
e fun
c
t
ions that return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
function_hooks:
create fake_param_assign_helper()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
Dan
Carpente
r
preempt_i
n
fo:
add
rht_loc
k
and bit_spin_
l
ock
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
D
an
Carpenter
sched
u
ling_in
_
atomic:
A
dd ma
s
_sto
r
e_
g
fp(
)
as a special
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
Dan
C
arpenter
d
m
a_mappi
n
g_
e
rror: de
l
ete obsolete check
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
Dan Ca
r
p
enter
direct_return_instead_of_goto:
don't warn about pri
n
tk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-06
Dan Carpenter
s
leep_info: han
d
l
e mute
x
es
corr
e
ctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-02
Dan Carpen
t
er
expressi
o
n
s
: handle a case
i
n gen_expre
s
sion_fr
o
m_ke
y
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-02
Dan Car
p
enter
db: improve recording when
we
return a parameter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-01-19
Dan Carpe
n
t
er
kerne
l
_user_data:
i
ov_
i
ter_count() retu
r
ns
user da
t
a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next