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
impossible: don't mark returns as impossible if threads are involved
2023-05-08
Dan Carpenter
i
mpo
s
sible:
don'
t
mark returns as impossible if threa
d
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan
C
a
rpenter
struc
t
_assignment
:
add
c
op
y
_from_user
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Ca
r
penter
locking: use
shared success_fail_return
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan
C
arpenter
l
o
cking:
a
dd some more locking functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Da
n
Carpenter
rosenberg: fi
x
a
s
eg
f
ault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
D
a
n
Carpent
e
r
ke
r
ne
l
.
unconstant_macro
s
: add EXT4_MOUNT_DAX_A
L
WAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Da
n
Car
p
enter
rosenberg: f
u
l
l
y
i
nitializing the str
u
c
t do
e
s
not
c
l
e
ar
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carp
e
n
t
er
r
osenberg:
r
evert "initializati
o
n a
n
d s
t
r
uct assign
m
ents
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
an
Carp
e
nter
locking: delete some NULL
c
hecks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
an Carp
e
nter
lockin
g
: add some more locking fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Ca
r
penter
bogus_address
_
param:
w
arn
a
bout
p
assing a bogus addre
s
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carp
e
nter
uni
t
s:
fix the build
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
D
a
n
Carpenter
c
h
ec
k
_
t
rinity: delete
t
hi
s
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Dan
Carpenter
locking: ignore
fals
e
po
s
i
tive
s
caused
b
y p
e
rf_ev
e
nt_
e
nable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Ca
r
penter
unit
s
:
store what sort of
unit
s
a variable is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
D
an Carpenter
zero_to_err_ptr: add d
e
v_err_probe
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Da
n
C
arpenter
free_s
t
rict:
a
dd sock_release()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
db/fixup_k
e
rn
e
l
.
sh: ignor
e
param limits from __d
e
v_printk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpenter
d
b
/fixu
p
_
k
ernel
.
sh: vfs_r
e
ad/w
r
ite() are the only important
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
pent
e
r
ext
r
a: rever
t
the mod_expr changes for modify expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpen
t
er
extra:
s
et no l
i
mits
m
a
r
k
_
sub_mem
b
ers_gone()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an C
a
r
pe
n
t
e
r
unwind:
devm_a
d
d_action
_
or_reset
(
)
is now a macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpe
n
ter
un
w
i
n
d: se
p
arate path stat
e
s
out into a diffe
r
e
n
t
check id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpenter
unwind: ignore pa
t
h state
s
in
pre-merge hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
un
w
i
n
d:
don't warn about
i
m
possi
b
le leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan C
a
r
p
enter
unwind
:
ignore com
p
onent_matc
h
_
add_release
(
) paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
u
nwind: us
e
th
e
shared su
c
cess_fail_return() f
u
nction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
p
e
n
ter
u
nwind:
catch additio
n
al bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
ent
e
r
unwind:
fix a bug wi
t
h
S
SA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: introdu
c
e &unknown stat
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan Carpe
n
t
e
r
f
low: f
i
x M
A
CRO_ASSIGNME
N
T_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Carp
e
nt
e
r
p
a
r
am_l
i
mit:
don't store addr
e
sses as PARAM_
L
IMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Da
n
Ca
r
p
e
nter
helper: make s
t
ri
p
_expr() st
r
ip
o
ut "+
0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan C
a
rpe
n
ter
fl
o
w: only fake paramete
r
assignments once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan
C
arpe
n
ter
shif
t
_t
o
_
zero: silen
c
e
so
m
e warn
i
ngs ins
i
de macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n Carpenter
db/c
r
eate_db
.
sh: verif
y
that
t
he info file
e
xists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan
C
a
rp
e
nter
data/kernel
.
unco
n
stant_m
a
cros: add ENQUEUE
_
MI
G
RAT
E
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan Carpen
t
er
unwind: don't
w
arn about glo
b
a
l varia
b
les
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan Car
p
enter
f
l
o
w:
don't reparse in
l
ines o
v
er and over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan
C
arp
e
nter
kern
e
l
.
uncon
s
t
a
nt_
m
acros: add s
o
me pending stuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug
:
fix broken c
o
mpile becau
s
e of
m
issing
co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpen
t
er
d
e
b
u
g: skip everyth
i
ng except a
g
i
ven func
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan
Carpente
r
debug: add __smatch_start
/
stop_skip()
t
o skip pr
o
cessi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan C
a
rpenter
debug: m
a
ke __smatch
_
abo
u
t() handle SSA states bet
t
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan
C
arp
e
nte
r
derefer
e
nc
e
: fix handli
n
g DEREFERENCE fro
m
the database
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpe
n
t
er
dereference:
only count foo
-
>
bar as a derefe
r
ence n
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpenter
da
t
a/kernel
.
ignore_
u
n
it
i
al
i
zed
_
param:
a
dd some more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan C
a
rpen
t
er
p
a
ram_clea
r
: add support for BUF_
A
DD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
param_
l
imit: ignore BUF_CLEAR here
as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpent
e
r
dereference:
c
r
e
ate
a
add_der
e
feren
c
e_hook(
)
functio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carp
e
nter
buf_clear:
d
o
a speed up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan
Carpen
t
er
ker
n
el_u
s
er_data: use a param/key tab
l
e
f
or simple_strtoul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
D
an Carpenter
db/
k
ernel
.
re
t
urn_fixes: add debugfs_init
i
aliz
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan
C
arpenter
d
b/kern
e
l
.
r
e
turn_fi
x
es:
a
dd nla_nest_
s
tart_no
f
lag()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Carpenter
us
e
r_data: remove xdr_inli
n
e_decode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpent
e
r
user
_
dat
a
:
cl
e
a
n
up how sscanf is handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
Carpenter
u
ser_data: c
l
ean up how iov_
i
ter_count
is han
d
led
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
point
s
_to_host_d
a
ta: make a po
i
n
te
r
const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
u
s
er_data/ptr: move
t
hings
f
rom
u
s
e
r_data
t
o user_
p
tr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
C
arpenter
db: do the caller_info stuff earlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
db: fix returned informati
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan C
a
r
p
e
n
t
er
struct_assignment: make the faked_expression
f
u
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
a
n Ca
r
pent
e
r
user
_
data: fix
an is
_
n
ew setting in handling assig
n
m
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan C
a
r
penter
kern
e
l_use
r
_data: don't set *my_struct to
u
s
er data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan C
a
r
penter
kernel_user_da
t
a: ignore void typ
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Car
p
e
nter
db/fixup_
k
ernel
.
sh: only
r
e
cord
o
ne work
qu
e
ue c
a
ller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
a
r
p
e
n
ter
estate: pointers can't have a fuzzy
m
ax
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
poin
t
s_t
o
_user_data: all calls
t
o
c
opy_from_us
e
r()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Car
p
enter
struct
_
assignment: introduce create_recursive_fake_assignments()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan
C
arpenter
par
s
e_call_mat
h
:
store ==$0 even for known
valu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpen
t
er
h
ooks: save t
h
e container
-
>
o
wner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carp
e
nter
returns_negative_error
_
code:
l
o
w
posi
t
ives are not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
an Carpenter
return
s
_negative_error_cod
e
: empty states are not error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
p
o
int
s
_to_
u
s
er_data:
rename set_points_to
_
user_d
a
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpenter
sm_hash
:
export
s
t
r
_
to_llu_has
h
_helpe
r
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan
C
arpente
r
smatch:
don't i
n
clude "scope
.
h" for no reason
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan
C
a
r
p
enter
flow: pull parse_
a
ssignment() into its
own fu
n
ction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
D
a
n Ca
r
p
e
nter
fl
o
w:
r
e
vert previous commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpenter
flow: handl
e
struct
assignments later
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
D
a
n Carpenter
points
_
to_user_data: hand
l
e
s
ome p
o
inter math better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpe
n
ter
poin
t
s_to_
u
s
er_data: commun
i
cate
U
SER_PTR ret
u
rn
s
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpenter
points_to
_
user_data
:
hard code some ksmbd stuff as
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpenter
function_ho
o
ks
:
do
e
arly
s
t
uff even e
a
r
lier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Ca
r
pe
n
t
e
r
func
t
i
o
n_hooks: don't call db_return_states() ear
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpente
r
function_hooks: in
t
roduce early
add_func
t
ion_hook_early()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Da
n
C
a
rpenter
u
n
rea
c
hable: ch
a
nge in
t
to bool
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
D
an Carpenter
unre
a
ch
a
ble:
delete an
extra spac
e
character
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
D
an Carpenter
unreach
a
bl
e
: ignore all for
_
XX
X
macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan C
a
r
p
enter
expressions: make gen_exp
r
e
s
sion_from_key() hand
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
D
a
n Carp
e
nter
e
x
p
r
e
ssions: make gen_expr_from_param_ke
y
() work f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-09
Dan Carpente
r
sleep
i
ng in
atom
i
c: sil
e
n
ce some d
u
plicate war
n
ings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n Carpenter
db/
k
ernel
.
r
et
u
rn_fixes: upd
a
te notifi
e
r_to_e
r
r
n
o()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Car
p
ente
r
db/smd
b
.
p
y:
u
pdate the ty
p
e
s
trings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
kernel
.
u
nre
a
c
h
a
b
le
.
ign
o
re
:
a
d
d
da
m
on_for_each
_
tar
g
e
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
an Carpenter
expr
e
s
s
ions: add cast_expr
e
ssi
o
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
C
arpenter
expres
s
ions: fix a -> vs
.
bug in gen_exp
r
ession_from_key()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n C
a
rpenter
extra
:
pass a different mod_ex
p
r for vanilla a
s
signme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
buf_comparison: ad
d
support for struc
t
_size() arra
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpente
r
hooks: commit some missing bits
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
helper: 0
-
s32max retu
r
ns
are success
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next