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
units: handle the situation where it an array of bytes
2023-06-12
Dan Ca
r
p
enter
uni
t
s: hand
l
e the sit
u
at
i
on
w
h
e
re it
a
n
ar
r
ay of bytes
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan C
a
rpenter
p
o
i
nts_to_
u
ser_data: up
d
ate wi
t
h so
m
e
ntfs user
d
ata
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Da
n
C
a
rp
e
nter
db/reload_
p
art
i
al
.
s
h: update to ha
n
d
le hash
e
d
f
i
l
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
D
a
n Carpenter
db/fill_db_caller
_
i
n
fo
.
pl
:
fix "too common fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-07
D
an
C
a
r
p
ent
e
r
unsigned
_
l
t
_
z
e
ro: re-write this che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-31
Dan
C
a
r
pe
n
ter
derefere
n
ce: fix a c
r
ash
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-23
Dan Carpenter
s
c
rip
t
s/generisize
.
pl:
h
andle "potenti
a
l
l
y
ta
g
ged address
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-19
Dan Carpenter
derefer
e
nce:
f
i
x
some f
a
lse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-19
Dan Carpenter
returns_negative_error_
c
o
d
e: sil
e
nc
e
some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-19
Dan Carpente
r
der
e
ference: hard code
nla_data()
as de
r
eferenci
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-18
Dan Carpenter
che
c
king_for_null_instea
d
_o
f
_err_ptr: add list of untrust
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-17
D
a
n
C
a
rpenter
c
h
ecking_for
_
n
ull_inste
a
d_
o
f_err_ptr: u
s
e smatch_kernel_err_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-17
Dan
Carp
e
nter
kernel_err_ptr:
hack around for_each_gpio_desc_
w
ith_flag
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-15
Da
n
Ca
r
pen
t
er
scripts/generisize
.
pl: generisize function
names
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-12
Dan Carpenter
k
e
rnel
.
unreachable
.
turn_off: add some kunit stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan C
a
rpenter
preempt_info: add __
b
it_spin_unlock()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
an Ca
r
pe
n
ter
check_list/err_ptr: register the err_ptr
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Ca
r
penter
debug/units: hoo
k
in th
e
__smatch_units() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Car
p
e
n
ter
validation/
s
m_er
r
_p
t
r: make IS_ER
R
(
)
an
i
n
line fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
de
r
eferenc
e
: find more cr
o
ss fun
c
ti
o
n
d
ereferences
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
C
arpenter
err_ptr_deref: re
-
w
r
i
te the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
Carpen
t
er
ker
n
el_err_pt
r
: track error
p
oin
t
ers in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
Car
p
e
n
ter
kern
e
l
.
no_return_f
u
ncs: update to the la
t
es
t
linux
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
an
Car
p
enter
kernel
.
no_return_funcs: add ku
n
it_do_failed_asse
r
tion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan C
a
rpenter
co
m
parison: store
m
odified compari
s
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Da
n
Carpenter
u
nits:
m
ove c
h
eck
s
to che
c
k_ file and hide under th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units/debug: add
_
_s
m
atch_units()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Da
n
Carpenter
units: delete some accidental code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan
C
arpe
n
ter
un
i
ts:
make unit states global
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpent
e
r
macro_tab
l
e: don
'
t store duplicate macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpente
r
cap
p
ed: handle for
l
oo
p
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
penter
co
n
ditions: strip stuff
off
a S
T
MT_EX
P
RESSI
O
N
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
p
e
n
t
er
expressio
n
s
:
*&foo is just foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpen
t
er
kernel_user
_
data: take a short
cu
t
to s
p
eed up emp
t
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Ca
r
pent
e
r
mtag: create a
r
e
verse mapping from mtag to symbol
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpe
n
te
r
param_limit: improve
p
rinting the lim
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpen
t
e
r
returns: d
e
lete some dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
db
/
u
ntrac
k
ed_param:
move ma
r
k_
c
all_
p
a
rams_u
n
tracked
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
db: fix
sql_in
s
ert_
r
eturn_implies()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
an C
a
rpe
n
ter
derefere
n
ce
s
_param: r
e
-write
s
imp
l
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
penter
imposs
i
b
le: do
n
't mark re
t
u
rns as impossibl
e
if thre
a
d
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan Carpenter
st
r
u
c
t_assignment: add copy_from_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpenter
locki
n
g:
use
s
ha
r
ed success_
f
ai
l
_return() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Car
p
ente
r
locking: ad
d
some more locking
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpenter
r
osenber
g
:
fix
a
s
egfa
u
lt
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan
C
arpen
t
er
kernel
.
u
ncon
s
t
a
nt_macros: add EXT4_MOUNT_DAX_ALWAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan
Carpente
r
rosenberg: fully ini
t
ializ
i
ng the
s
t
r
uct d
o
es not cle
a
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpente
r
ro
s
enberg: revert "initializa
t
ion a
n
d struct assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
lock
i
ng: delete so
m
e NULL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
l
o
ck
i
n
g
: add some m
o
re locking functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan C
a
rp
e
nter
bogus
_
addr
e
ss_
p
ara
m
: warn
a
bout pas
s
i
n
g a bogus address
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Da
n
Ca
r
pe
n
ter
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
D
a
n C
a
r
p
enter
lo
c
ki
n
g
:
ignore f
a
l
s
e positives caused by perf_event_enable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpe
n
ter
uni
t
s: store what sort of
u
nits a
var
i
a
ble 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
a
rp
e
n
t
er
free_strict: add
sock_release()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
db/fixup_kernel
.
sh: ignore
p
aram l
i
mits from __
d
ev_
p
rintk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
penter
d
b
/fixup_kerne
l
.
sh: vfs
_
read/write()
are t
h
e only
important
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
extra:
revert
the mod_expr
c
h
an
g
e
s
for modi
f
y expres
s
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
e
x
tra: set no limit
s
mark_sub_members_
g
one()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpente
r
unwind:
d
evm_add_
a
ction_or_reset
(
) is now
a
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpenter
unwind: s
e
parate path states out into a
d
iff
e
r
e
nt c
h
ec
k
id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carp
e
nte
r
unwind: ignore pa
t
h s
t
ates in pre-mer
g
e
h
oo
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
u
n
wind: don't warn about impossible
l
eaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an
C
arp
e
n
ter
unwind:
ignore componen
t
_m
a
t
ch_add_rel
e
ase() paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unw
i
nd: use the
shared
s
uccess_f
a
il
_
return() fu
n
ct
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n
Carpenter
unw
i
nd: catch additio
n
a
l bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n
Carpente
r
u
nwin
d
: fix a
bug with SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: introduce
&unknown
s
ta
t
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan Carpe
n
ter
flow
:
f
ix MACRO_ASS
I
GNMENT_HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Carpenter
para
m
_limit
:
don't store addresses a
s
PARAM_
L
IMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n
Carpenter
helper:
m
ake str
i
p_
e
x
p
r() strip out
"
+ 0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Car
p
enter
flow: on
l
y
fa
k
e
p
a
r
ameter assignme
n
ts
once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
an Carpen
t
er
shift_
t
o_zero: sil
e
nce some warning
s
ins
i
de macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Da
n
Car
p
enter
db
/
creat
e
_d
b
.
sh: verify that the info file exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan Carpenter
d
a
ta/k
e
rn
e
l
.
unconstant_macros:
add ENQUE
U
E_M
I
G
RATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
D
an Car
p
e
n
t
er
u
n
wind: don't wa
r
n a
b
o
ut global variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan Carpent
e
r
flo
w
: don
'
t reparse inl
i
nes
o
v
er and over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan Carpe
n
ter
k
er
n
el
.
unconstant_macros: add some p
e
nding stuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug: fix bro
k
en
c
omp
i
le because of
m
is
s
ing co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpe
n
ter
debug: sk
i
p everything ex
c
ept a given
f
unc
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Car
p
e
nter
de
b
u
g
: add __smatch_s
t
art/stop_s
k
ip
(
) to skip pro
c
essing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpe
n
ter
debug: make
__
s
m
atch_about()
h
andle SSA states bet
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan
C
arpenter
de
r
efe
r
ence
:
fix handling DEREFERENCE from the database
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan
C
arpenter
derefe
r
ence: only count
foo->ba
r
as
a
dereference not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan
C
ar
p
e
nter
data/ke
r
n
e
l
.
ign
o
re_unitialized_param: add some
m
ore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
D
an C
a
rpenter
pa
r
am_c
l
e
ar
:
add support
f
or
BUF
_
ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Da
n
Carpe
n
ter
p
a
ram
_
limit: ig
n
ore BUF_CLEAR here as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carp
e
n
ter
deref
e
rence
:
create a add_derefe
r
ence_hook
(
) fu
n
ction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carp
e
nter
buf
_
c
l
ear: do a
s
p
e
e
d
up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Ca
r
pen
t
er
kernel_user_data:
u
se a
p
aram/key table for simple
_
s
trtoul(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Da
n
Carpenter
d
b/kernel
.
ret
u
rn_fi
x
es: add debugfs_initi
a
lized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
D
an
C
arp
e
nt
e
r
db/kernel
.
return_fi
x
e
s: add nla_nest_start_noflag()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Car
p
en
t
e
r
u
ser_data:
remove xd
r
_inline_
d
e
c
ode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carp
e
nter
user
_
data: clean up how sscanf is handle
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
C
arpenter
user_data:
c
lean up how io
v
_
i
ter_count is h
a
n
dled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan C
a
rpenter
points_to_host_dat
a
: make
a
poin
t
er co
n
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Carpen
t
er
u
se
r
_
d
ata/pt
r
:
m
o
v
e things from use
r
_d
a
ta to
user_
p
t
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
Carpenter
db: do t
h
e caller_info
stuff earlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next