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
locking: use shared success_fail_return() function
2023-05-05
Dan C
a
rpente
r
locking: use shared
succes
s
_
f
ai
l
_r
e
t
u
rn(
)
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Da
n
Carpenter
locking: add some more lock
i
ng functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpent
e
r
rosenbe
r
g
: fix a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpenter
kernel
.
unc
o
nstan
t
_mac
r
os: add EXT4_MOUNT_
D
A
X
_ALWAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
an Carp
e
nter
ro
s
e
nberg: fully
initializing the struct
d
oes
n
ot clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
a
n
C
ar
p
ent
e
r
rosenber
g
: rev
e
rt "initialization and s
t
ruct assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan
Carpenter
l
o
ck
i
ng: delete some NULL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Car
p
en
t
er
locki
n
g: ad
d
s
o
m
e
mo
r
e
lo
c
king function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Da
n
Carpenter
bogus_address_para
m
: warn about passing a bog
u
s
address
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpenter
units: fix the build
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpenter
check_trinity: delete this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Dan
C
ar
p
enter
locking: ignore false positives c
a
used
b
y perf_event_ena
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan
C
arpente
r
u
nits: store what sort o
f
u
nits a v
a
riable is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpen
t
er
zero_to_err
_
ptr:
a
d
d dev
_
err_
p
robe(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
D
an Carpenter
free_strict: add sock_r
e
lease()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan C
a
rpenter
db/fixup_kernel
.
s
h
: i
g
nore para
m
li
m
its
from __dev_printk(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
d
b
/fi
x
up_kernel
.
sh: vfs_read/write() are
t
he
onl
y
i
mpo
r
tant
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Car
p
enter
e
x
tr
a
: re
v
ert the
m
o
d_expr changes for mo
d
ify e
x
pression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an C
a
r
penter
extra
:
set
no limit
s
mark_sub_members
_
gone
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carpenter
unwind: devm_add_action_or
_
reset
(
) is
n
ow a macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: separate
p
a
th states out i
n
to a differen
t
c
heck id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Carpent
e
r
un
w
ind: ignore path sta
t
e
s
in pr
e
-merge hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Ca
r
penter
unwind: don't warn ab
o
ut imp
o
ssi
b
le
leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
enter
unwind: ignore c
o
mpon
e
nt_match_add_rel
e
ase
(
) path
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpenter
unwind: use the shared
s
uccess_fa
i
l_return() fu
n
ction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carp
e
nter
unwind: c
a
tch addition
a
l
bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an
Carpenter
unwind:
f
i
x
a
b
ug
w
ith SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpen
t
er
unwind:
i
ntroduce &unknown state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan Carpenter
flow: fix MAC
R
O
_ASSIGN
M
ENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Da
n
Carpenter
p
aram_lim
i
t: don
'
t store
address
e
s a
s
PARAM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carp
e
n
t
er
helper: make strip_
e
xpr()
strip out "+ 0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n
Car
p
enter
flow: onl
y
fake paramete
r
assignm
e
n
t
s o
n
c
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Car
p
en
t
er
shif
t
_to_z
e
ro: silen
c
e
some warnings i
n
side macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
db
/
cre
a
te_db
.
sh: verify that the in
f
o file
exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan Carpenter
data/k
e
r
n
el
.
unco
n
stant_m
a
cro
s
: add ENQUEUE_M
I
GRATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan Car
p
enter
unwi
n
d: don't wa
r
n about global variabl
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan
Carpenter
flow
:
don't
reparse inlines over and over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan Carpenter
kernel
.
u
nconstant_mac
r
os: add s
o
m
e
pendi
n
g st
u
ff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug
:
fix broken compi
l
e
b
ecause of
missing co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan
C
arpente
r
de
b
u
g
:
skip
e
ve
r
yt
h
i
n
g exce
p
t a gi
v
en functio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
D
a
n C
a
rpente
r
d
e
bug: add __smatch_s
t
art/stop_skip() to skip
p
r
o
cessing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Ca
r
penter
debug: m
a
ke __smatch
_
about() handle
SSA states better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Da
n
Carpenter
dereference:
f
ix handling
D
EREFERENCE from t
h
e database
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpe
n
ter
dere
f
erence:
only count foo->bar as
a dereference not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Da
n
Carpenter
d
a
ta/kernel
.
i
g
nore_unitialized_p
a
ram: add some more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan
C
a
rpe
n
ter
pa
r
am_cle
a
r: add suppor
t
for B
U
F_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan C
a
rpe
n
ter
param
_
limit: i
g
nore
B
U
F_CL
E
AR here a
s
well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan
C
arpenter
der
e
f
erence: creat
e
a add_d
e
refer
e
nce_hook
(
) func
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Ca
r
pente
r
buf_clear: do a sp
e
ed
up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan
C
a
rpe
n
ter
kernel_user_da
t
a
:
use a pa
r
am/key
t
able for
s
i
mple_strto
u
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Da
n
C
a
rpenter
db/kernel
.
return_fixes: add debugfs_initia
l
ized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan
Carpenter
db/k
e
r
nel
.
return_
f
ix
e
s
:
add nla_ne
s
t_st
a
rt_nofla
g
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Ca
r
penter
u
ser_data: remove x
d
r
_in
l
ine_decode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data: clean
u
p how sscanf is han
d
led
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data: clean up how iov_iter_cou
n
t is
h
andled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
poin
t
s_to_h
o
st_data: make a pointe
r
const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data/ptr: move things from user_d
a
ta
to
u
se
r
_ptr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an Car
p
enter
db: do the caller_info stuff
e
a
r
lier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
C
ar
p
ente
r
db: fix returned information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
C
a
r
penter
st
r
uct_as
s
ignment: make the faked_expression function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpente
r
user_data: fix an
i
s_new setting in ha
n
dlin
g
assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
Carpenter
k
e
rnel_
u
ser_data: don't
s
e
t
*
my
_
s
truct to user data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
k
ernel_us
e
r_dat
a
: ign
o
re v
o
id
types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
d
b
/fixup_
k
erne
l
.
sh: only record
o
ne work
queue c
a
ller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Ca
r
penter
estate: pointers can't have a
f
uzz
y
max
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carp
e
nter
points_
t
o_user
_
da
t
a: all calls to copy_from_user()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
Ca
r
penter
struct_assignment: introduce
cre
a
te_recursive
_
fake_
a
ssignments()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
parse_call
_
math: st
o
re ==$0 even for known values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan
C
a
r
p
ente
r
hooks
:
s
a
ve t
h
e container->owner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
returns_negative_error_
c
ode:
l
o
w p
o
sitives are not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carp
e
nter
r
eturns_neg
a
tive_er
r
or_code: emp
t
y states are
n
ot error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan C
a
rpe
n
t
e
r
p
o
ints_to_user_data
:
rename set_points
_
to_user_da
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpenter
sm_hash:
e
xport str_to_llu_has
h
_helper()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Car
p
enter
smatch: don't include "scope
.
h" for no reas
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan
Carpe
n
te
r
flow: pull parse_assignm
e
nt() into
i
ts o
w
n fun
c
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Car
p
e
nter
flow: revert previo
u
s
commi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpenter
flow: handle
s
truct ass
i
gnments late
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpente
r
points_to_u
s
er_d
a
ta: ha
n
d
l
e
some pointer math bet
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan C
a
r
p
e
nter
points_
t
o_u
s
er_data:
co
m
muni
c
ate
U
SER_PTR returns to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Car
p
enter
po
i
nts_to_user_data
:
hard c
o
de some ksmbd stu
f
f a
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Da
n
Carpenter
function_h
o
oks: do early stuff
even ea
r
lier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
D
an Carpenter
functio
n
_
ho
o
k
s:
d
on't call
db_return_state
s
()
early
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan
Carpenter
function_h
o
oks:
i
ntroduce ea
r
ly ad
d
_function_hook_early()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan Carpenter
unreachable
:
change int to bool
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan Carpenter
unreachabl
e
: delete an extra space character
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
D
a
n Carp
e
nter
u
n
re
a
chable: 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: mak
e
gen_
e
x
p
ress
i
o
n_from_key
(
) handle
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
D
a
n Carpen
t
er
expressions: make gen_e
x
pr_from_param_key() work for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-13
Harshit
M
o
gal
a
pal
l
i
direc
t
_r
e
turn_in
s
tead_of_goto: don't
w
a
r
n about other
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-13
Harshit Mogala
p
alli
direct_return_instead_of_goto: Delete dupli
c
a
te conditi
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-09
Dan Carp
e
nt
e
r
sleeping in atomi
c
:
silence some duplicate warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
db/kern
e
l
.
return_fixes:
u
pdate notifier_to_errno
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpe
n
t
er
d
b
/smdb
.
py: update
the type strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpe
n
t
e
r
kernel
.
un
r
ea
c
hable
.
ig
n
o
re: add damon_f
o
r_each_target
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n Ca
r
penter
e
x
pres
s
ions:
add cast_ex
p
ression()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Da
n
Carpenter
expres
s
i
o
ns: fix a
-
>
vs
.
bug in gen_exp
r
essio
n
_f
r
om_key
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
e
x
tra: pass a
di
f
ferent
m
o
d_expr for van
i
lla assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
C
a
rpenter
buf_com
p
ar
i
so
n
:
a
dd support
f
o
r struct_size() array
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan C
a
rp
e
nte
r
hooks: commit some
m
issing bits
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
helper: 0-s32max returns
a
r
e s
u
c
c
e
s
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next