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
Da
n
Carpenter
free_stri
c
t: add sock
_
releas
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
db/fixup_kernel
.
sh: ignore param limi
t
s from
_
_dev_printk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Ca
r
penter
db/fixup_kernel
.
sh
:
vfs_read/w
r
ite() are the only
imp
o
rtant
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpen
t
er
extra:
r
evert the mod_e
x
p
r
changes f
o
r modify expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Car
p
enter
extra: set no limits mar
k
_sub_members_gone()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carpenter
u
n
wind: devm_add_ac
t
i
o
n_or_rese
t
() is no
w
a
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpente
r
unwind: separate path s
t
ates out i
n
to a di
f
ferent
chec
k
id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n
Carpenter
un
w
i
n
d
:
i
gnore path
s
tate
s
in p
r
e-merge hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan C
a
rpenter
u
nwind: d
o
n't w
a
rn abou
t
i
m
pos
s
ible leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: ignore componen
t
_ma
t
ch_a
d
d_release
(
) paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind:
u
se the shared succe
s
s_fail_return() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpenter
unwind: catch
a
dditional bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpen
t
er
unwind: f
i
x a
bug with SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpente
r
unwi
n
d: i
n
troduce &unknown
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
D
an Carpenter
flo
w
:
fix MACRO_AS
S
IGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan
C
a
rpenter
param_limit: don't
store addresses as PARAM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
helper:
m
ake strip_expr() str
i
p ou
t
"+
0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carp
e
n
t
er
flow: only
f
a
ke parameter assi
g
nments o
n
ce
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n Carpenter
shift_to_zer
o
: s
i
lence some w
a
rnings in
s
i
de m
a
cros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Ca
r
penter
db/create_db
.
sh: ver
i
fy that the inf
o
fi
l
e exis
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan Carp
e
nter
data/k
e
rnel
.
unc
o
nstant_ma
c
ros: a
d
d ENQUEUE_MIGRATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan
C
ar
p
enter
unwind: don't warn about global variab
l
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
D
a
n C
a
rpenter
flow: don'
t
reparse inlines ove
r
and o
v
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan
Carpenter
kernel
.
u
nconstant
_
m
acros: add some pending stuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
D
an Carpenter
debug: fix
b
roken
c
omp
i
le
b
e
c
ause o
f
missing
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug
:
skip everything exce
p
t a given
functio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug: add __smatch_
s
t
a
rt/s
t
op_s
k
ip() to
skip pr
o
cessi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carp
e
nte
r
debug: make
_
_
smatch_about() handle SSA s
t
at
e
s better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpenter
d
ere
f
eren
c
e: fix handling DEREFE
R
ENCE fro
m
the database
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
D
a
n Carpente
r
de
r
efer
e
nce: only
count foo->bar as a dereference
not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carp
e
nt
e
r
data/kernel
.
ig
n
or
e
_
u
nit
i
a
l
i
ze
d
_
p
aram
:
a
dd some more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
D
an Carpenter
pa
r
am_clear: add s
u
p
p
o
rt for BUF_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan
Carpenter
param_limit
:
ignore BUF_CLEA
R
h
ere
as wel
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
D
an
Car
p
en
t
er
dereference: create a add_dereference_hook()
f
un
c
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
b
u
f
_
cle
a
r
: do a
speed up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Car
p
e
nter
kernel
_
user_data: us
e
a
p
a
ram/ke
y
tab
l
e for sim
p
le_strtoul(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Car
p
enter
db/kernel
.
return_fixe
s
: add debug
f
s
_
initialized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
D
a
n Car
p
e
n
ter
db/kernel
.
return_fixes: add nl
a
_nes
t
_st
a
rt_nofla
g
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Car
p
enter
u
ser_data: remove xdr_i
n
line_decode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an Ca
r
pente
r
u
ser_data: clean up how sscanf is handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Da
n
Carpenter
user_data: clea
n
up how iov_iter_count is
handle
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
points_to_host_data
:
make
a
poi
n
ter const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data/ptr: move
things from user
_
data to user_p
t
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Carpenter
db: do the
c
aller_info stuff earlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
db: fix returned infor
m
a
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Car
p
enter
struct_assignme
n
t: make the
f
a
k
e
d_expression fun
c
t
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
arpenter
user
_
da
t
a: fix an is_n
e
w
setting
in
handling ass
i
gnme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
arpenter
k
ernel_
u
ser_dat
a
:
d
on't set *my_struct to user data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
C
a
rpenter
kernel_user_
d
at
a
: ig
n
ore void types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
Car
p
enter
db
/
fixup_kern
e
l
.
sh:
o
nl
y
r
e
cord one work
q
ueue caller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
a
rpent
e
r
estate: poin
t
ers can't have a fuzz
y
ma
x
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
arp
e
nter
p
o
ints_to_us
e
r_da
t
a: all
c
alls to copy_from_user()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
s
tru
c
t_assignment: introduce creat
e
_re
c
ur
s
ive_fa
k
e
_
assig
n
ments()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
a
n Carpenter
parse_call_math: stor
e
==$0 even for
k
nown val
u
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan C
a
rpenter
hooks: save the c
o
ntainer->
o
w
ner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpen
t
er
ret
u
r
ns_ne
g
ative_e
r
ror_code: low positives ar
e
not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Da
n
Carpente
r
returns
_
negative_error_code: empty states are not error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Car
p
enter
poi
n
ts_
t
o_
u
se
r
_data: rename set_
p
oints_to_user
_
data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
D
a
n C
a
rpe
n
t
er
sm_
h
ash:
e
xpo
r
t str_to_llu_hash
_
hel
p
er()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpenter
s
m
atch: don't include "scope
.
h
" f
o
r
n
o reason
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpe
n
t
er
flow: pu
l
l parse_assig
n
ment(
)
int
o
its
o
wn func
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpent
e
r
flow:
re
v
e
r
t
previous
commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpenter
flow: hand
l
e struct assignments later
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Car
p
enter
p
oints_to_user_da
t
a: ha
n
dle some
pointer math better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan
C
a
r
p
enter
p
o
ints_to_user_data:
comm
u
n
i
cate USE
R
_PTR returns to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpe
n
ter
points_to_user_data: hard code some ksmb
d
s
t
u
f
f as
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
D
a
n Carpenter
functi
o
n
_
hooks: do
ear
l
y
stuff e
v
e
n ea
r
lier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpenter
functi
o
n_hooks:
don't
c
a
ll db_return_states() early
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan
C
arp
e
nter
functio
n
_hooks: introdu
c
e early add_fun
c
ti
o
n_ho
o
k_early()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan Carpenter
u
nreac
h
able: chang
e
i
n
t
t
o bool
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan Carpente
r
u
n
r
eachable: delete an ex
t
ra space chara
c
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan Carpenter
unreachab
l
e: ignore all fo
r
_
X
XX
m
a
cros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
D
a
n Carpenter
e
xpressions
:
ma
k
e
ge
n
_
e
xpres
s
ion_fro
m
_k
e
y()
handle
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan C
a
rpente
r
expre
s
sions: make gen_expr_from_param_key() w
o
rk for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-09
D
a
n Ca
r
penter
sl
e
e
ping
i
n
atom
i
c: silence some duplic
a
te w
a
rnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
d
b/kernel
.
return_fixes: u
p
da
t
e notifier_to_errno()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
db/smdb
.
py:
u
pdate the type strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
kernel
.
u
n
re
a
chable
.
ignor
e
: add damon_for_eac
h
_target
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n
Carpe
n
te
r
expressions: add c
a
s
t
_e
x
pression(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan C
a
rpen
t
er
expressions: fix a -> v
s
.
bug in gen_express
i
o
n
_from_key()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
extra
:
pass a dif
f
erent m
o
d_
e
xpr
f
o
r va
n
il
l
a assignm
e
n
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
buf_comparison: a
d
d support f
o
r st
r
uct_size() array
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
Carpenter
hooks: comm
i
t
s
ome missing bits
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
hel
p
er: 0-s
3
2max returns are suc
c
ess
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n
Carpente
r
helper: ad
d
a strip_pare
n
s() i
n
get_member_na
m
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n Ca
r
penter
k
e
r
n
el_ho
s
t_data: ignor
e
n
onsense
i
nformation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n Carpe
n
ter
db/clear_user_dat
a
: clean user da
t
a mor
e
thoroughly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n
Carpente
r
kernel_u
s
er_data: ig
n
ore nonsense data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
an C
a
rp
e
nter
k
e
r
nel_user_data: ad
d
some more
f
uncti
o
ns that return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Ca
r
penter
function_hoo
k
s:
c
re
a
te fa
k
e
_param
_
assign
_
h
elper
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
Dan
C
arpent
e
r
preemp
t
_info: add rht_loc
k
and bit_spin_lock
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
Dan C
a
rpenter
scheduling_in
_
a
tomic: Add ma
s
_store_gfp()
a
s a speci
a
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
Dan Carpen
t
er
dm
a
_m
a
pp
i
ng
_
error: delete obso
l
ete check
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
Da
n
Car
p
enter
d
i
rect_return_ins
t
ead_of_goto: don't warn about
p
rintk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-06
Dan
Carpenter
sleep_info: handle mutexes c
o
rrectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-02
Dan Carpenter
expressions:
h
andle a cas
e
i
n
gen_expression_f
r
om_key
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-02
Dan Car
p
e
nter
db: im
p
rove rec
o
rding
w
h
e
n we r
e
t
u
rn a par
a
m
eter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-01-19
D
a
n
C
a
r
p
e
nter
kernel_
u
ser_data:
i
o
v_iter_count() returns use
r
data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-01-18
Da
n
Carp
e
n
t
er
pa
r
am
_
key: e
x
p
o
r
t the
spl
i
t_p
a
r
am_key
(
)
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-01-12
Dan Carpe
n
ter
free_strict: d
o
n't promote "m
a
ybe_free
d
"
to "freed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next