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
kernel.unreachable.turn_off: add some kunit stuff
2023-05-12
Dan Carpenter
kerne
l
.
unreachabl
e
.
turn_of
f
: add some kuni
t
stu
f
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
preempt_
i
nfo: add
__bi
t
_
spin_
u
nlo
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
Carpenter
check_list/err_
p
tr: register the e
r
r
_ptr
c
od
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
an Carpenter
debu
g
/un
i
ts: hook in
the
__smatch_units() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Ca
r
penter
validati
o
n/
s
m_err_ptr: make
IS_ER
R
() an inline function
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n Ca
r
penter
der
e
ference: find more cross function d
e
r
eferences
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpente
r
err_ptr
_
de
r
ef: re-write the c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n Carpenter
kernel_
e
r
r_ptr:
t
r
a
c
k
e
r
ror
pointe
r
s in the data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
kernel
.
no_return_funcs:
update to the latest linux
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
ker
n
el
.
no_return_funcs: add kunit_do_fa
i
led_assertion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
D
a
n Carpenter
compa
r
ison: store mo
d
ified compar
i
sons
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
un
i
t
s:
m
ove checks to check_ file and hid
e
un
d
er the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan
Carp
e
n
t
e
r
units/debug: add __smatch_u
n
its()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan
C
arpenter
un
i
ts: delete some
a
ccid
e
n
tal code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpent
e
r
units: m
a
k
e
unit
s
ta
t
es globa
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
mac
r
o_table: d
o
n't store duplica
t
e macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
capped: handle f
o
r loop
s
b
e
t
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
cond
i
ti
o
ns: strip stuf
f
off a STMT_EXPRESSION
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpenter
expression
s
: *&
f
oo is just foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
kern
e
l_us
e
r_data: take a short
c
ut to speed up empty
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
mtag: c
r
eate
a rever
s
e m
a
pping f
r
om mtag to
symbo
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Carpenter
p
a
ra
m
_limit: improv
e
pr
i
nting the
l
i
m
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n
Ca
r
pente
r
r
eturns: d
e
lete
s
ome dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Car
p
enter
db/untracked_par
a
m
: move mar
k
_call_params_
u
ntracked()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Car
p
e
nter
d
b
:
fix
sql_ins
e
rt_
r
etur
n
_
i
m
pli
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
dereferences_param: re-writ
e
simpler
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Carpe
n
t
er
im
p
o
s
sible: don't mark r
e
turns as impossible if thr
e
ads
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan Carpe
n
ter
s
truct_as
s
i
gnment: a
d
d c
o
p
y_from_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Car
p
enter
locking: use
s
hared su
c
cess_fail_return()
fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
D
an Carpenter
locking: add some m
o
r
e
locking functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpe
n
ter
r
o
senberg
:
fix a segf
a
ul
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpen
t
er
ke
r
nel
.
unconstant_macros:
a
dd EXT4_MOUNT_DAX_ALWAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan
C
arpenter
rosenberg: fully initi
a
lizing the
struct does not clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carp
e
n
te
r
r
o
s
e
nberg: revert "initialization and
s
truct assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan
C
arp
e
nter
lock
i
ng: dele
t
e some N
U
LL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpe
n
t
er
locking: add some
m
ore
l
o
c
king
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
bo
g
us_ad
d
ress_param: warn a
b
out passing
a
b
ogus address
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Car
p
enter
uni
t
s: f
i
x
the
b
uil
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpenter
che
c
k
_tri
n
ity: de
l
ete this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
D
an Ca
r
p
e
nt
e
r
locking
:
igno
r
e false positives caused b
y
p
erf_event_enab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
D
a
n Carp
e
nter
u
nit
s
: stor
e
wha
t
sort of un
i
ts a vari
a
ble is
i
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpe
n
t
e
r
zero_to_err
_
ptr: add dev_err_
p
robe(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Da
n
Carpen
t
er
fr
e
e_strict: add
sock_re
l
e
ase()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
db/
f
ixup_kernel
.
sh:
i
gnor
e
param li
m
its
f
rom __dev_printk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
db/
f
ixup
_
kernel
.
sh: vfs_r
e
ad/write
(
)
a
re the
o
nly important
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Carpenter
extra: re
v
ert the mod_expr changes for mo
d
ify e
x
pression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
C
a
rp
e
nter
ex
t
ra:
set
no
l
imits mark
_
sub_members_gone()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: de
v
m_add_action_or_reset() is n
o
w a
m
acro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Ca
r
penter
unwind:
separat
e
path s
t
a
t
es out
into a differen
t
c
h
eck id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
u
n
wind
:
ignore
pa
t
h states in pre-merge hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Ca
r
pe
n
ter
unwind: don't wa
r
n about impossibl
e
l
e
aks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Car
p
enter
unw
i
nd: ignore component_match_add_relea
s
e
(
) p
a
ths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: u
s
e t
h
e s
h
a
r
ed succe
s
s_fail_return()
f
u
n
ction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Carpenter
unwind: c
a
tch add
i
t
i
onal bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Carpenter
unwind: fix a b
u
g with SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpente
r
unwin
d
: intr
o
duce
&
u
nkno
w
n
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
D
a
n
C
arpenter
f
low
:
fi
x
M
ACRO_AS
S
IG
N
ME
N
T_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Da
n
Carpenter
param_limit: don
'
t
st
o
re addr
e
sses as
P
A
RAM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpent
e
r
helper: make strip_expr() strip out "+ 0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
flow: on
l
y fake parameter assignments once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Ca
r
p
e
nter
s
hift_to_zero: silenc
e
s
o
me
w
ar
n
ings
inside
macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
db/creat
e
_
d
b
.
sh: verify that t
h
e i
n
fo
f
ile exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan
Carpenter
data
/
ke
r
ne
l
.
un
c
onstan
t
_
mac
r
os: add E
N
QUEUE_MIGRA
T
E
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan
C
arpe
n
ter
unwind: don't warn about globa
l
varia
b
les
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan Carpen
t
er
f
lo
w
: d
o
n't rep
a
rse inlines
o
v
er an
d
o
v
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
D
a
n Carpenter
kernel
.
uncon
s
t
a
nt
_
macros: add
s
ome pend
i
ng stuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan
C
arpent
e
r
debug: fix broken compile because of missing code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
D
an
Carpenter
d
ebug: s
k
ip everything
e
xce
p
t
a
g
iven function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carp
e
nter
debug:
add __smat
c
h_start/stop_skip() to
skip pro
c
e
s
sing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan
Carpenter
debug:
m
a
k
e __smatch
_
about(
)
handle SSA states better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
D
an Carpente
r
der
e
ference:
f
ix hand
l
ing DEREFER
E
NCE from
t
he database
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpen
t
e
r
derefere
n
ce: only count foo->bar as
a
d
erefe
r
ence n
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpenter
data
/
kernel
.
ignore_un
i
t
ial
i
zed_
p
a
ram:
add some
m
ore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Da
n
C
a
r
penter
param_clear: add support for BUF_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpen
t
er
param_limit: ignore
B
U
F
_CLEAR here as we
l
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Ca
r
penter
dereference: crea
t
e
a
add_dereference_hook()
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan
C
arpenter
b
u
f_clear: do a speed up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carp
e
n
ter
k
erne
l
_user_d
a
ta:
use a
p
aram/key ta
b
le for si
m
p
le_strt
o
ul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpente
r
db/kernel
.
return_fixes: a
d
d debu
g
fs
_
i
niti
a
l
i
zed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
db/
k
ern
e
l
.
return_fixes: a
d
d n
l
a_nest_start_
n
oflag
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data: remove
x
dr_inline
_
decode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
C
arp
e
nte
r
user_
d
ata: cle
a
n
up how sscanf is handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Car
p
enter
user_dat
a
: clean up 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:
m
ak
e
a
pointer const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_data/ptr: move things fro
m
u
s
er_data to user
_
ptr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpen
t
er
db: do the
c
al
l
er_info
s
tuff
earl
i
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan C
a
rpenter
db:
fix r
e
turned information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpen
t
er
struct_assign
m
ent: make the faked_expression function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
user
_
dat
a
: fix an is_n
e
w setting
in handling
a
s
signm
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Ca
r
penter
ke
r
nel_user_d
a
ta: don't set *my_s
t
ruct to user data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
Carpenter
ke
r
nel_user_data: ignore void type
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpente
r
db/fixup_kernel
.
sh:
only re
c
ord one work queue caller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
estate: po
i
nters can't hav
e
a
f
uzzy max
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
poi
n
ts_to_u
s
er
_
data: all ca
l
ls to cop
y
_from_us
e
r()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
arpenter
struct_assignm
e
n
t
:
introduce create_recurs
i
v
e
_
f
a
k
e_a
s
signm
e
nts()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
a
n
Carpenter
pa
r
se_
c
a
l
l_math: store ==$0
eve
n
for known values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan
Carpenter
h
ooks:
s
av
e
the container->o
w
ner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan
Carpenter
returns_negative_e
r
ror
_
code
:
low posit
i
ves are not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
retu
r
ns_neg
a
tive_err
o
r_code
:
em
p
ty sta
t
es are not error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Da
n
Carpenter
points_to_user_data: r
e
na
m
e
set_point
s
_to_
u
ser_data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next