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_err_ptr: track error pointers in the database
2023-05-11
D
a
n Carpenter
kern
e
l_e
r
r
_
ptr: track error pointers in the
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
C
a
rpenter
ke
r
nel
.
n
o_return_fu
n
c
s: upda
t
e
t
o the lat
e
st linux
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
k
e
rnel
.
no_return_funcs: add kunit_do_
f
a
i
led_asser
t
ion(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
comparison: store modified
c
omparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
u
n
i
ts: move
c
hecks to
c
heck_ file a
n
d
hide und
e
r the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
D
an Car
p
en
t
er
units/debug
:
add __smatch_units()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Ca
r
penter
units: delete some a
c
c
idental code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
uni
t
s: make
unit sta
t
es global
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpe
n
ter
macro_table: don't s
t
ore du
p
licate macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpen
t
er
capped:
han
d
le f
o
r
loo
p
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Ca
r
pen
t
er
conditi
o
ns:
s
trip
s
tuff off a S
T
M
T
_EXP
R
ESSION
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n C
a
rpenter
expressions: *&foo is just foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
penter
kernel_user_data
:
ta
k
e a short cu
t
to sp
e
ed up empty
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carp
e
nter
mta
g
:
c
r
e
ate a reverse
m
apping
f
r
o
m m
t
ag to symbol
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpenter
param_limit: improve p
r
in
t
ing
the
limit
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
a
rpenter
r
eturns
:
delete s
o
me dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpent
e
r
db/untracked_pa
r
am: move mark_call
_
p
a
ram
s
_u
n
tracked()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
db: fix
s
ql_inse
r
t
_
return_impli
e
s(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Carp
e
nter
derefe
r
ences_param: re-
w
ri
t
e
s
impler
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carp
e
nter
impossible: don't
mark return
s
as i
m
possible
i
f
t
h
re
a
ds
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan C
a
r
p
en
t
er
struct_assignment:
a
d
d
copy_from_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Ca
r
pent
e
r
lo
c
king: use shared success_fail_return() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
D
an Carpe
n
ter
l
ocking: ad
d
some more locking functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Car
p
enter
r
o
senb
e
rg: fix a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpenter
kerne
l
.
uncons
t
a
nt_macros: add EXT4_MOUNT_DAX_ALWAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
an Car
p
enter
rosenbe
r
g:
f
ully initializing the struct does not clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
an Carpenter
r
o
sen
b
erg: re
v
ert "initializat
i
on and s
t
ruct a
s
s
i
g
n
ment
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carp
e
nte
r
locking: dele
t
e so
m
e NUL
L
che
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
a
n
Ca
r
penter
l
ocking
:
add some m
o
re locking functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan
Carpe
n
t
e
r
bogu
s
_address_p
a
ram: wa
r
n
about passing a bogus addres
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
D
an Carpenter
units:
f
i
x
t
he build
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Car
p
ent
e
r
check_trin
i
ty: delete this
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
D
an Carpenter
l
ocking: i
g
nore false
p
osi
t
ives caused by p
e
rf_event_
e
n
abl
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpent
e
r
u
n
its: store what s
o
rt
o
f un
i
ts
a
variable is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpen
t
er
zero_to_e
r
r_
p
tr: add dev_err_probe()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Dan
Carpenter
free_strict: add so
c
k_release()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
d
b
/fixup_kern
e
l
.
sh: ignore param limits from __dev_printk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
enter
db/fi
x
up_kernel
.
sh: vfs_rea
d
/write() are the only importa
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carpenter
ext
r
a: revert the mod_
e
x
p
r changes fo
r
modify expr
e
ssion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
extra:
s
et no limits
m
ark
_
sub_members_gone
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n
Carpenter
unwind:
d
evm_ad
d
_acti
o
n
_
or_reset() i
s
now a macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Ca
r
pent
e
r
u
n
w
i
n
d
: separa
t
e
path states out into a di
f
feren
t
check id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpe
n
ter
unwind:
ignore path states
in
p
r
e-mer
g
e hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpenter
u
nwind:
d
on't war
n
about
i
mpossible leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpe
n
ter
unwind: ignore com
p
onent_match_add_release() pa
t
hs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
u
n
w
ind:
use the shared success_fail_retu
r
n() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
un
w
ind: ca
t
ch addition
a
l bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: fix a bug w
i
th
S
SA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Car
p
ent
e
r
u
nw
i
nd: intr
o
duce &un
k
nown
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan Carpenter
f
low
:
f
i
x MACRO_A
S
SIGNMENT_HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan C
a
rpenter
param_limit: don't store addres
s
e
s as PARAM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
helper: make strip
_
e
x
p
r() strip ou
t
"
+
0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Da
n
Carpenter
flow: only
fake parameter assignments once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Car
p
enter
s
h
ift_to_z
e
ro:
silence s
o
m
e warnings
i
nside ma
c
ros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
an Carpenter
d
b
/create_db
.
sh: verify tha
t
the in
f
o
file exist
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan Carpenter
data/kerne
l
.
u
n
con
s
t
a
nt_
m
acros: ad
d
ENQUEUE_MIGRATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
D
a
n Carpenter
u
n
wind: don't war
n
abou
t
g
lobal variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
D
a
n Carpe
n
t
e
r
flow: don
'
t reparse in
l
i
nes
over an
d
over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan Carpente
r
kernel
.
un
c
o
n
stan
t
_macros: add some
pending stuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpente
r
de
b
ug:
fix br
o
ken compile
b
e
cause of mis
s
in
g
co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
deb
u
g: skip everything e
x
cept a give
n
f
u
n
ction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan
C
arpenter
debug: add __
s
match_
s
tart/stop_
s
kip() to skip processing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Da
n
Car
p
e
n
ter
de
b
u
g
:
ma
k
e
__smat
c
h_
a
bout() handle SSA
s
tates
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpente
r
dere
f
ere
n
ce: fix handling DEREFERE
N
CE from t
h
e database
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan
Carpenter
de
r
eference: only co
u
nt foo->bar as
a
dereference not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpenter
data/kernel
.
ig
n
ore_
u
nitialized_param: add some more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan
C
arp
e
nter
pa
r
am_clear
:
add s
u
p
por
t
f
o
r
BUF_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
D
a
n
Carpe
n
ter
param_limit: ign
o
re BU
F
_
C
L
EAR her
e
as w
e
ll
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpente
r
dereference: create a
ad
d
_dereference_hoo
k
() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Da
n
Carpenter
buf_clear: do a spe
e
d
up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan C
a
rpenter
kernel_u
s
er_data:
use
a param/key table
f
o
r simple_strtoul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
D
a
n Carpenter
db/
k
e
rnel
.
retur
n
_
fixes: ad
d
debugf
s
_initial
i
zed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpe
n
te
r
db/ke
r
nel
.
ret
u
rn
_
fixes: add nla_ne
s
t_star
t
_noflag()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpente
r
u
s
er_data:
r
emo
v
e
xd
r
_inlin
e
_
d
ecode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_
d
ata: clea
n
up how sscanf i
s
h
a
ndled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpen
t
er
user_data: clean up how iov_i
t
er
_
count is h
a
ndle
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
points_to_hos
t
_data: make a p
o
inter cons
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Carpente
r
user_data/ptr: mo
v
e
t
h
ings
from user_
d
ata to use
r
_p
t
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpente
r
db: do
th
e
caller_info
s
tuf
f
earl
i
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpen
t
er
db
:
fix returned infor
m
ation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Da
n
Carpenter
s
truct_ass
i
gnment: make
t
he faked_expression function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
user_d
a
ta: fix an is_n
e
w
s
et
t
ing in handlin
g
assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpent
e
r
k
e
rnel_u
s
er_data: d
o
n
'
t se
t
*my_str
u
ct to
user data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
C
arp
e
nter
kern
e
l_use
r
_data: ignore voi
d
types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Ca
r
pent
e
r
db/fixu
p
_ke
r
nel
.
sh: only record one work queue cal
l
er
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpente
r
e
sta
t
e: pointers can't have a fu
z
z
y
m
a
x
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
Carpe
n
ter
p
o
ints_to_user_data:
all calls to cop
y
_fr
o
m_user()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
struct_as
s
ignmen
t
: introduce c
r
e
ate_recursive_fake_assignm
e
nts
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
a
n Car
p
enter
p
arse_call_math: store
==$0 even for known valu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan
C
arpente
r
ho
o
k
s
: sa
v
e t
h
e containe
r
->owner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan
Carp
e
n
t
er
r
e
turns_negativ
e
_error_code: low positives are
not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
returns_negative
_
error_code: empty states are not error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Da
n
Carp
e
nter
points
_
to_u
s
e
r_data: rename set_poi
n
t
s
_
to_user
_
data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpenter
sm_ha
s
h: export str_
t
o_llu_hash_hel
p
e
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
D
a
n
Carpe
n
te
r
smatch
:
don
'
t includ
e
"scope
.
h" for
n
o reason
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan C
a
r
pen
t
er
flo
w
: p
u
ll parse_
a
ss
i
gnment() into its own
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
D
an Car
p
enter
flow:
revert previous commi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan
C
arp
e
nte
r
flow:
h
a
ndle stru
c
t assignments la
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carp
e
nt
e
r
points_to_user_data:
h
andle some pointer ma
t
h
b
e
t
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpe
n
ter
point
s
_to_
u
s
e
r
_
d
a
ta: communi
c
ate
U
S
E
R
_PTR r
e
turns
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next