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
struct_assignment: add copy_from_user()
2023-05-06
D
a
n
C
a
rpenter
struct_ass
i
g
nment: add copy_
f
rom_u
s
e
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
D
an Carpenter
locking: use s
h
ared success_fail_return()
f
unct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpenter
l
ocking:
add
so
m
e more locking f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
D
a
n
Car
p
en
t
er
r
osenberg:
fix
a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Da
n
Carpe
n
ter
kernel
.
unconstant_macros: add EXT4_
M
OUNT_DAX_ALW
A
YS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Car
p
enter
rosenb
e
rg: fully initializing
t
he st
r
u
c
t does not clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan
Carpenter
rosenb
e
rg: re
v
ert "initializati
o
n
and
struct as
s
i
gnmen
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
locking: delete
some
N
ULL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Da
n
Carpenter
lock
i
ng: add some more
l
o
cking function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan
Car
p
en
t
er
bo
g
us_address_param: warn
a
bout passing a bogus ad
d
ress
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Car
p
enter
uni
t
s: fix the build
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpente
r
c
heck_t
r
in
i
ty: delete
t
his
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Dan Carpenter
lock
i
ng: ignor
e
f
alse po
s
itives caused by perf_event_enable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan
C
arpen
t
er
units: store what
sort of units a
variable is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan
Carpenter
zero_to_err
_
p
t
r: add
dev_er
r
_
probe()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Dan
Carpen
t
er
f
r
e
e_strict:
a
dd sock_rele
a
s
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan C
a
r
p
e
nter
db/fixup_kernel
.
sh: ignor
e
param
l
imits from
_
_dev_pr
i
ntk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
e
n
t
e
r
d
b
/fi
x
up_
k
er
n
el
.
sh: vfs_read/write() are t
h
e
onl
y
imp
o
rtan
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan C
a
rpenter
ex
t
r
a
:
revert the mod_e
x
pr c
h
anges f
o
r
m
od
i
f
y expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
extra: set no limits mark
_
sub_m
e
mbers_gone()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpent
e
r
unwind: devm_a
d
d_action_or_
r
eset
(
) is
now a ma
c
r
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind
:
sepa
r
ate path state
s
out into
a different
check id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
u
nwind: ignore path stat
e
s in pre-merge
h
ook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpente
r
unwind:
d
on't warn
a
b
out imposs
i
ble
l
e
aks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpen
t
er
unwin
d
: i
g
nore component_match
_
add_release() path
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpenter
un
w
ind: use the shared success_
f
a
i
l_
r
eturn() func
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan C
a
rpenter
unwind: catch additi
o
n
al bu
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carpe
n
t
er
unwind:
fix a
bug w
i
th
SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
p
enter
unwind: introduce &
u
nkno
w
n
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
D
a
n
Carpenter
flow: f
i
x
M
ACRO_ASSIGNMENT
_
HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Da
n
Carpenter
param_l
i
mit:
don't store add
r
esses as PA
R
A
M_LIM
I
T
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpent
e
r
help
e
r:
m
ake strip_exp
r
() st
r
ip
ou
t
"
+ 0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpen
t
er
flow: onl
y
fake p
a
rameter ass
i
gnments on
c
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
shift_to
_
zero: sile
n
ce some warni
n
gs i
n
side macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan C
a
r
p
en
t
er
db
/
cr
e
ate_
d
b
.
sh: verify that th
e
info fi
l
e exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan Car
p
enter
dat
a
/kernel
.
unc
o
ns
t
ant_ma
c
r
o
s: add ENQUEUE_MI
G
RATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
D
a
n Carpenter
u
n
wind: don't warn about globa
l
variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan Ca
r
penter
flow: d
o
n't r
e
parse inlin
e
s over and
over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan Carpent
e
r
k
ernel
.
unconstan
t
_macros: add some pend
i
ng
stu
f
f
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
D
an Carpenter
debug: fix
b
roken compile because of miss
i
ng code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan C
a
rpenter
debug: ski
p
everythi
n
g except a given function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Da
n
C
a
rpenter
debug:
a
d
d __smatch_start/sto
p
_skip() to ski
p
processing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug: make __sma
t
ch_about(
)
h
a
ndle
S
SA stat
e
s bet
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
D
an
Carpenter
derefere
n
c
e: fix ha
n
dling DER
E
FERE
N
CE f
r
om t
h
e
data
b
as
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Da
n
Carpenter
dereference: only count foo->
b
ar as a d
e
reference not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
D
an Carpenter
data/kernel
.
ignore_un
i
tialized_pa
r
am:
a
d
d som
e
more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpen
t
er
param_
c
l
e
ar: add su
p
port
f
or BUF_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Da
n
C
a
rpenter
para
m
_limit: ignore BUF_CLEAR here as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpente
r
dereference: create a add_derefere
n
c
e_hook
(
) fu
n
ctio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Car
p
en
t
er
buf_clear: do a
speed up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan
C
arpenter
k
e
r
nel_use
r
_da
t
a: u
s
e a param/key tabl
e
for simp
l
e_strtoul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan C
a
r
p
enter
db/kernel
.
r
et
u
rn
_
fix
e
s: ad
d
debugfs_initialized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
db/kernel
.
r
eturn_f
i
xes: a
d
d
n
la_ne
s
t_start_nofla
g
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Ca
r
penter
user_
d
ata: r
e
move xdr
_
inline
_
deco
d
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Da
n
Carpente
r
us
e
r_data: clean up ho
w
sscanf is handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an C
a
rpen
t
er
u
ser_data:
c
lean
u
p how iov_iter_count is
h
a
n
dled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
points
_
to
_
host
_
data
:
make a pointer cons
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
Carpenter
user_data/ptr: move thin
g
s from us
e
r_data
t
o
u
s
er_
p
tr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpente
r
db: do the caller_info st
u
ff earlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan C
a
r
p
en
t
er
db: fi
x
returned informatio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carp
e
nter
struct_ass
i
g
nm
e
n
t
: ma
k
e
the faked_exp
r
ession function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
Carpenter
user_data: fix an is_new
s
e
t
ting in
h
andling assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
Carpen
t
er
kernel
_
user_data: don't set *my
_
st
r
uct
t
o
us
e
r da
t
a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
kern
e
l_
u
ser_data: ignore v
o
i
d
types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
C
arpenter
db/fixup_k
e
rnel
.
s
h:
only record
one work queue calle
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan C
a
rpenter
es
t
ate:
p
oi
n
ters can't have a fuzzy
m
ax
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan C
a
rpenter
points_
t
o_us
e
r_data: all
c
alls to copy_from_use
r
()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
Ca
r
p
enter
struct_assignment:
introd
u
ce create_recursiv
e
_f
a
ke_ass
i
g
n
men
t
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Car
p
ente
r
parse_call_math: store
==$0 ev
e
n for
k
n
o
wn valu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Da
n
C
arpenter
hooks:
s
ave the
container->owner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
returns_negative_error_code: low po
s
itives are
n
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
returns_negative_error_code: empty stat
e
s
a
re not error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
points_to_use
r
_d
a
ta: rename set_poin
t
s_to_user_data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
D
an Carpe
n
te
r
sm_has
h
:
export str_t
o
_llu_hash_h
e
l
p
er()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan
Carpenter
smat
c
h:
d
on't i
n
clude "
s
cope
.
h"
f
or no reas
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
D
a
n
Carpenter
flow: pull parse_assign
m
ent()
i
nto its
o
wn f
u
ncti
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Ca
r
p
en
t
e
r
flow: revert
previous
co
m
mit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Ca
r
penter
f
l
ow: h
a
ndle
s
truct a
s
s
ig
n
ments la
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carp
e
nter
points_to_user_data: ha
n
d
le
s
om
e
poin
t
er mat
h
bet
t
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpenter
po
i
nts_to_u
s
er_data: communicate USER_PTR returns
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpenter
points_to_user_dat
a
: hard code
some ksmbd stuff as
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpenter
f
u
nction_hooks: do early s
t
u
f
f e
v
en earli
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpenter
fu
n
ction_hooks: don'
t
ca
l
l db_return_states()
early
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpenter
functio
n
_
h
ooks:
i
ntroduce early ad
d
_functi
o
n_hook_early()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan
Carpenter
unre
a
chabl
e
: c
h
a
nge int to
b
o
ol
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan Carpenter
unreach
a
ble: delet
e
an extra space charact
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan Carpenter
unreachable: ig
n
ore
a
ll
for_XXX macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan Carpenter
expressions: make gen_e
x
p
r
ession_from_key() handl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
D
an
Carpenter
expr
e
ssio
n
s: ma
k
e
g
en_expr
_
from_param_key() work
for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-13
Harshit Mogalapal
l
i
d
ir
e
c
t_return_in
s
tead_of_goto:
d
o
n
'
t warn
a
bout
other
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-13
Harshit Mogalapalli
direct_return_instead
_
of_g
o
to:
Dele
t
e
duplicate con
d
itions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-09
Dan Carpente
r
sleeping i
n
atomic: s
i
lenc
e
some duplica
t
e warnin
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
Carp
e
n
te
r
d
b/
k
er
n
e
l
.
return_fixes: update notifier_to_errno
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
C
arp
e
nter
db/smdb
.
py: u
p
date the ty
p
e strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
C
arpenter
k
ernel
.
u
n
reachable
.
ign
o
re:
a
dd d
a
mo
n
_for_eac
h
_
target
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
Carpe
n
ter
expressions: add cast_e
x
pression()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Da
n
Carpen
t
er
ex
p
ress
i
ons: fix a -
>
vs
.
bug in gen_expressi
o
n_f
r
om
_
key()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpe
n
ter
ext
r
a: p
a
ss
a different
mod_e
x
pr for
v
a
n
illa a
s
signmen
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
Carp
e
nt
e
r
buf_c
o
mparis
o
n: add support for struct_
s
ize() array
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carp
e
nter
h
o
oks: commit some missing bits
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next