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
unsigned_lt_zero: re-write this check
2023-06-07
Dan Ca
r
penter
unsigned_lt_zero: re-w
r
ite this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-31
D
an
C
a
r
pe
n
ter
der
e
ference: fix a crash
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-23
Dan Carpe
n
te
r
scri
p
ts/
g
enerisize
.
p
l
:
handle "potent
i
ally tagge
d
addr
e
ss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-19
D
a
n
Carp
e
nt
e
r
derefer
e
n
ce: fix s
o
me false po
s
itiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-19
Dan Ca
r
pent
e
r
returns_ne
g
ative_error_code: silence
s
om
e
false
p
ositives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-19
Dan
Ca
r
penter
dereference: hard
c
o
d
e nl
a
_
data() as dere
f
erenc
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-18
Dan Carpen
t
er
check
i
ng
_
f
or_n
u
ll_
i
n
s
te
a
d_of_err_ptr: add list of untrust
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-17
Dan Carpente
r
checking_fo
r
_nu
l
l_
i
nstead_of_e
r
r_ptr: use
smatch_kernel_err
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-17
Dan Carpenter
kernel_
e
rr_ptr: hack around fo
r
_eac
h
_gpio_desc
_
with
_
fla
g
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-15
Da
n
Ca
r
pe
n
ter
scripts/gener
i
size
.
p
l: gen
e
risize fu
n
ction names
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-12
D
an Carpenter
ker
n
el
.
unreachable
.
tu
r
n_off
:
a
d
d som
e
kunit st
u
f
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Car
p
enter
preempt_info: add __bi
t
_spin_unlock()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Ca
r
penter
check_list/err_pt
r
: register the err_ptr
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n
Carpe
n
t
er
d
ebug/units: hook in
t
he __smatc
h
_units() c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
an
Carpenter
v
alidati
o
n/sm_err_ptr:
m
ake
I
S_ERR()
an in
l
ine fu
n
cti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
C
arpenter
derefer
e
n
ce: f
i
nd more
cros
s
function derefe
r
ences
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpe
n
ter
err_ptr_deref: re-write the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n Carpen
t
er
kernel_err
_
ptr:
t
rack error pointers in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
an C
a
rpenter
kernel
.
no_return_funcs: update to the latest linux
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
an Carpenter
kernel
.
no_return_f
u
ncs: add k
u
nit_do_failed_assertion
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan
C
arpen
t
er
com
p
aris
o
n:
store
mod
i
fied comparis
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Da
n
Carpenter
units: move checks to check_ fil
e
and hide u
n
d
e
r th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpente
r
unit
s
/deb
u
g
: add __
s
mat
c
h
_units()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Da
n
C
a
r
penter
units: de
l
ete some accidental code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpent
e
r
units: make unit states gl
o
bal
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpent
e
r
m
a
cro_table: d
o
n't st
o
r
e du
p
licat
e
macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpenter
ca
p
p
ed: hand
l
e for
loops better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpen
t
er
conditions
:
st
r
ip stuff off a STMT_EXPRE
S
SION
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpe
n
ter
expressions:
*&foo is
ju
s
t foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Car
p
ente
r
ke
r
n
el_user_data: take a short c
u
t to speed up em
p
ty
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpe
n
ter
mta
g
:
c
rea
t
e a r
e
verse mappi
n
g from mt
a
g
to sy
m
bol
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
param_limit:
i
mprove p
r
inti
n
g the l
i
m
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
returns
:
d
e
l
e
t
e some
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpenter
db/untracke
d
_p
a
ram:
m
o
ve
m
ark_call_para
m
s_untracked()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpen
t
er
db:
f
i
x sql_in
s
ert_return_implies()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
an Carpenter
d
e
references_par
a
m: re-write simpl
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpenter
impossible: don
'
t mar
k
r
e
turns
a
s impo
s
sible if threads
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan Carpente
r
struct_assignment: add copy_from_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Da
n
Carpenter
locking: use
s
hare
d
success
_
fail_
r
e
tur
n
() fu
n
cti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
D
an
Carpenter
locking:
a
dd so
m
e mo
r
e lockin
g
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpent
e
r
rosenberg: fix a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Ca
r
pe
n
ter
kernel
.
unconst
a
nt_macros: add EXT4_MOUNT_DAX_ALWAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpent
e
r
rosenber
g
:
fully
initializing
the struct does
no
t
clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Da
n
Carp
e
nter
rosenberg: revert "initialization and struct
assignm
e
nts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
a
n Carpenter
l
o
cki
n
g
:
d
elete some NULL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Car
p
enter
lo
c
king
:
add some more lo
c
kin
g
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan
C
arpenter
bogus
_
address_param: warn
a
bou
t
passing a bogus address
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
D
a
n Carpenter
unit
s
:
f
ix the build
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpenter
chec
k
_tri
n
it
y
:
del
e
te
t
his code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Dan Carp
e
nte
r
lo
c
k
ing:
i
gnore
false pos
i
tives caused by p
e
rf_even
t
_enable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpe
n
ter
units: store what
s
o
rt of units a va
r
iable is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan
C
arpenter
z
e
r
o
_to_err_p
t
r
:
add dev_err_pro
b
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Dan Carpenter
free_st
r
i
ct
:
ad
d
s
ock_release
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
db/f
i
xup_kernel
.
s
h
: ignore p
a
ram
l
imits from __dev_p
r
in
t
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Carpenter
db/fixup_kernel
.
sh: vfs_read/write() are the o
n
ly
important
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpente
r
extra: rever
t
the mod_expr changes f
o
r modify expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpente
r
extra: s
e
t no limits mark_
s
ub_members_gone()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind
:
devm_add_action_or_
r
eset() is now a macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
u
n
w
ind:
s
e
p
arate p
a
th sta
t
e
s
ou
t
into
a
d
i
f
ferent
c
heck id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpe
n
ter
unwind:
i
g
n
o
re path state
s
in pre
-
merge hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpenter
unwind: don'
t
warn about i
m
possi
b
l
e
leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carpenter
unwind: ignore component_matc
h
_
a
dd_release()
p
aths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
u
n
wind: use
t
he shared
success_
f
ail_return
(
) function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unw
i
nd: catch add
i
tiona
l
bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Carpenter
u
n
w
ind:
fix a bug w
i
t
h SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Carpenter
unwind: introduce &unknown st
a
te
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan
Car
p
enter
flo
w
: fix MACRO_ASS
I
GNMENT
_
HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Ca
r
p
enter
p
a
ram_li
m
it: don't store addr
e
sses a
s
PARAM
_
LIM
I
T
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
h
e
lper: make strip_expr()
strip o
u
t "+ 0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan C
a
rpenter
flo
w
: o
n
ly fak
e
paramet
e
r assignme
n
ts once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n
Carpenter
shift_to_ze
r
o
:
s
i
lence some warnings
i
nside macro
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Ca
r
penter
db/
c
reate_db
.
sh: verify that the info
fi
l
e exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan
C
arpente
r
d
a
t
a/kernel
.
uncon
s
tant_macros: add
ENQUEUE_MIGRATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Da
n
Carpe
n
ter
unwind: don't wa
r
n about
g
lobal var
i
ab
l
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan Carp
e
nter
flow: don't
r
e
parse inli
n
es ov
e
r and over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan Ca
r
penter
kernel
.
un
c
onst
a
nt_
m
acros: add some
p
end
i
ng st
u
f
f
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Car
p
enter
debu
g
: f
i
x broken com
p
ile because of missing code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpen
t
er
deb
u
g: skip
e
verything e
x
cept a g
i
v
en function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
d
e
b
u
g: add __smatch
_
s
tart/s
t
op_skip() to skip proce
s
sing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan
Carpenter
d
ebug: make __sm
a
t
c
h_about(
)
handle
S
SA states be
t
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpen
t
er
dereference: fix handli
n
g
D
EREFEREN
C
E
from
the databa
s
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carp
e
nte
r
dereference: only count foo->bar as a der
e
ference not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Da
n
C
a
r
pe
n
ter
data/kernel
.
ignore_unitialize
d
_pa
r
a
m
: add s
o
me m
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
D
a
n
Carpen
t
er
para
m
_cle
a
r: add s
u
p
p
ort
f
or
BUF_AD
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
param_limit: ignore BUF_C
L
EAR
h
ere as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan
C
a
rpenter
derefe
r
ence: create a add
_
dereference_h
o
ok(
)
func
t
io
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan
C
arpenter
buf_c
l
ear:
d
o a
spe
e
d
up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
D
an
Carpe
n
ter
kernel
_
use
r
_data: us
e
a param/key
table for
s
imple_
s
trtoul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
db/kernel
.
return_fixes
:
a
d
d debugfs_initialized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
D
a
n
Carpenter
db/ker
n
el
.
return_fixes:
a
d
d nl
a
_nest_start_no
f
lag()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
u
s
er_dat
a
: remove xdr_i
n
line_de
c
ode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_
d
ata: c
l
ean up how ssc
a
n
f
is ha
n
dled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an Carpenter
user_data:
c
lean up how i
o
v_i
t
er
_
count is han
d
led
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpen
t
er
p
o
ints_to_h
o
st_
d
ata: make a po
i
nter const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Ca
r
pe
n
t
er
u
ser_data/ptr: mov
e
things from user_dat
a
to user_ptr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n C
a
rpenter
d
b
:
do the
c
aller_info
s
t
uff
e
arlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
d
b
: fix returned in
f
orm
a
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Da
n
Carpenter
struct
_
assignment: mak
e
the f
a
ked
_
e
x
pression f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
a
n
C
ar
p
en
t
e
r
u
s
e
r
_data: fix
an i
s
_new sett
i
ng in
handlin
g
assign
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpent
e
r
kernel_user
_
d
a
ta: don't set
*m
y
_st
r
uct to use
r
d
a
ta
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next