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
dereference: hard code nla_data() as dereferencing the parameter
2023-05-19
Dan Carpen
t
er
dereferen
c
e:
h
ard cod
e
nl
a
_da
t
a() as
d
ereferencin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-18
Dan Ca
r
pe
n
ter
c
heckin
g
_for_null_instead_of_err_ptr: add
list of un
t
rust
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-17
D
a
n Carpenter
checki
n
g_
f
or_n
u
l
l_in
s
tead_o
f
_err_pt
r
:
use sma
t
ch_kerne
l
_err_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-17
Dan
C
arpenter
kernel_er
r
_
p
tr: hack
around
f
or_
e
ach_gpio_desc_w
i
th_fl
a
g
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-15
Dan
C
arpen
t
er
s
c
r
ip
t
s/generisize
.
pl: g
e
nerisize
function names
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-12
Dan Car
p
ent
e
r
ke
r
ne
l
.
unreac
h
a
b
le
.
tu
r
n_o
f
f: add some
k
u
nit stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Ca
r
pente
r
preempt_info: a
d
d
_
_
bit_spin_unlock()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
an Carpenter
check_list/err_ptr: regi
s
te
r
the err_ptr code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n Carpent
e
r
deb
u
g/units: hook in the __smatch_u
n
its() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
vali
d
ation/sm_e
r
r_ptr: make IS_E
R
R() an inline
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Da
n
Carpenter
der
e
fer
e
nce: find more cro
s
s
func
t
ion dere
f
erences
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
an C
a
rpente
r
er
r
_pt
r
_deref: re-write t
h
e
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
kernel_err_ptr: track error pointers
in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
k
e
rnel
.
n
o_return_fun
c
s
: update to the late
s
t linux
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Car
p
enter
k
ernel
.
no_return_funcs: add kuni
t
_do_faile
d
_assertion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
D
a
n Car
p
e
n
ter
c
ompar
i
son: store modif
i
ed compa
r
isons
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units: move checks
t
o che
c
k
_ file and hid
e
u
n
der the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan C
a
r
pe
n
ter
units/debug:
add __sma
t
ch_units()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units: d
e
lete
s
ome accidental code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units: make unit
s
t
ates gl
o
bal
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan C
a
r
penter
macro_table
:
don't store duplicate ma
c
ros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Carpen
t
er
c
a
pped: handle for loops
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan C
a
rpenter
condit
i
ons: strip stuff o
f
f a STMT
_
EXPRESSION
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpenter
e
xpressions: *
&
foo is just foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpenter
kernel_u
s
er_data: take a
s
h
or
t
cut to spe
e
d up empty
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
mtag: create
a reverse ma
p
ping
from mtag to symbol
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
penter
pa
r
am_lim
i
t: imp
r
ove
print
i
ng the
li
m
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpe
n
ter
returns: delete some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
C
a
rpenter
db/u
n
tracked_param: move mark_c
a
ll_params_un
t
ra
c
ked()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpe
n
ter
db
:
fix s
q
l_insert_return_implies()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpe
n
ter
derefer
e
n
c
es_param: re-wr
i
te
s
i
m
pler
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
a
r
penter
impossible: don't mark retur
n
s as impossib
l
e
if t
h
r
e
ads
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan Ca
r
pen
t
er
struct_assignme
n
t: add copy_from_user
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Da
n
Carpenter
lo
c
king:
u
s
e
s
h
a
r
ed succe
s
s_fail_retu
r
n(
)
func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
D
a
n
C
arpenter
lo
c
kin
g
: add some more loc
k
ing functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpe
n
t
er
rosenberg: f
i
x a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan
C
arpenter
kernel
.
unco
n
sta
n
t_macros: add EX
T
4
_MOUNT_DAX_ALWAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan
C
a
r
penter
ros
e
nberg: fully initializing th
e
struct does no
t
clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpente
r
rosenberg:
r
evert "i
n
itializatio
n
and struct assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
a
n Ca
r
penter
l
o
cking: delete
some NULL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpe
n
t
e
r
l
ocking: a
d
d so
m
e
m
o
r
e
locking functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan
C
a
rpenter
bogus_address_pa
r
am: wa
r
n
about passing a b
o
gus address
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Da
n
Car
p
e
nter
units:
f
ix
t
he build
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan
C
arpen
t
e
r
check_trini
t
y: delete this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Dan
C
arpenter
locking: i
g
nor
e
fal
s
e positives caused by perf_event_enable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan
Carpenter
units:
s
tore what sort of units a
variable is
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan
C
arpenter
zero_to_err_ptr: add dev_err_probe()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Dan Carpent
e
r
free
_
strict: add sock_release()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carp
e
nt
e
r
db/fi
x
up_kern
e
l
.
s
h
: i
g
nor
e
p
aram limits from __dev_printk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
d
b
/f
i
xup_ke
r
n
el
.
s
h
:
vfs_read/write() are the only
i
mp
o
rtant
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpen
t
er
e
xtra
:
rever
t
the mod_exp
r
changes for m
o
dify expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
penter
e
x
t
ra: set no limits mark_sub_me
m
bers_gone()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
en
t
er
u
nwind: devm_ad
d
_
a
ction_
o
r_
r
eset() is now a
macr
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: separ
a
t
e path sta
t
es out i
n
t
o
a different
c
heck
i
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
e
n
ter
un
w
ind: ignore path states
i
n pre-merge hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carp
e
nter
unwind: don't wa
r
n
a
b
out
i
m
p
ossible leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpe
n
ter
un
w
ind: igno
r
e
c
o
mponent_match_add_release()
p
aths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
u
nwin
d
: us
e
the shar
e
d success_fail_return() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpent
e
r
unwind:
catch additi
o
nal bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
ente
r
unwin
d
:
fix a bug with SS
A
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carp
e
nter
unwin
d
: intr
o
duce &unknown sta
t
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Da
n
C
arpent
e
r
flow: fi
x
MACRO_ASSIGNM
E
NT_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan C
a
rpe
n
ter
pa
r
am_limit:
d
on't store addresses as PA
R
A
M
_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
an Carpen
t
er
h
e
l
p
e
r: make
stri
p
_exp
r
()
s
trip out "+ 0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Ca
r
penter
f
l
ow: only
f
ak
e
p
a
r
ameter assignment
s
once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan
C
arpenter
shi
f
t_
t
o_zero: silence
s
o
m
e wa
r
nings
i
nside
m
ac
r
os
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
db/cre
a
te_d
b
.
s
h: ver
i
fy that th
e
i
n
fo file exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Da
n
Carpe
n
ter
d
a
ta/kernel
.
un
c
o
n
stant_macros: add ENQUEUE_MIGRATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan Carpenter
unwind: don't warn a
b
out
globa
l
variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan Car
p
e
nter
flow: d
o
n't reparse inlines
o
ver and ove
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan Carpenter
kernel
.
un
c
onstan
t
_mac
r
os: add some
p
endin
g
s
t
uff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
d
ebug: fi
x
broken
c
ompile because of
missing c
o
de
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan C
a
rpenter
d
e
bu
g
: s
k
ip every
t
h
ing
e
x
c
ep
t
a given function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Da
n
Carpent
e
r
de
b
ug: add __sm
a
tch_
s
tart/st
o
p_skip() to skip p
r
oce
s
si
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug
:
make __smatc
h
_about() handle
S
S
A
s
tates better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Da
n
C
a
rp
e
nter
deref
e
r
e
nce: fix han
d
li
n
g DE
R
EFERENCE from the data
b
as
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan
Carpe
n
t
e
r
dereference: only count
f
oo->bar as
a de
r
efer
e
nce
n
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpen
t
er
d
a
t
a
/kernel
.
ignore_unitialized_param: ad
d
some more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpenter
param_clear:
add support for BUF_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan
C
ar
p
enter
p
aram_limit: ignore BUF_C
L
EAR 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
ce
_
hook() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
b
u
f_clear:
d
o a spee
d
up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan C
a
rpenter
k
e
rnel_user_data:
use a param/key table for simple_s
t
rtoul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan C
a
rpe
n
t
er
db/ke
r
nel
.
retu
r
n_fixe
s
: add
d
e
bugfs_initializ
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpente
r
d
b/kernel
.
return_
f
ixes:
add
n
la_nest_st
a
rt_nof
l
ag()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data: re
m
ove x
d
r_inline_deco
d
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data: clean
u
p h
o
w sscanf is hand
l
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an Car
p
enter
user
_
data: clean
up ho
w
iov_it
e
r_co
u
nt is
handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Ca
r
penter
p
o
int
s
_to_host_data: make a pointer const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan C
a
rpen
t
er
user_data/ptr:
m
ove things from
user
_
dat
a
to user_ptr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
db: do the
c
a
l
l
e
r
_
info stuff ea
r
lie
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
db: fix returned information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Ca
r
p
e
nter
struct_assign
m
e
n
t
: make the f
a
ke
d
_exp
r
es
s
ion function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
us
e
r
_
dat
a
:
f
ix
an is_new setting in handling assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpen
t
er
k
e
rnel
_
u
s
er
_
dat
a
: don't set
*
m
y
_struct to user
d
a
ta
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
Carpe
n
ter
kernel_user_data: i
g
n
o
r
e
void typ
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
d
b
/fixup_
k
ernel
.
s
h: only record one work
queue caller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
estate: pointers can
'
t hav
e
a fu
z
zy max
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
arpenter
points_to_user_data: all c
a
lls t
o
cop
y
_f
r
o
m_user()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Car
p
ente
r
s
t
ruct_assign
m
en
t
: introduce create_rec
u
rsive_
f
a
k
e_
a
ssi
g
nmen
t
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next