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/debug: add __smatch_units()
2023-05-10
Dan Carpe
n
ter
units/debug: add __smatch
_
unit
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carp
e
nte
r
units: delete
some acciden
t
al cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
D
a
n Carpe
n
ter
u
n
i
t
s: make unit states global
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
macro_table: don't s
t
or
e
d
u
plicate ma
c
ros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
capped:
handle
f
o
r loops better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpe
n
ter
c
o
nditions: strip stuff of
f
a STMT_
E
XPR
E
SSION
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
an
Car
p
enter
expressions:
*
&foo is just f
o
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpente
r
kern
e
l_u
s
er
_
data:
ta
k
e a sho
r
t cut to spee
d
up
empty
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
mt
a
g: create a r
e
verse mapping fr
o
m mtag to sy
m
bol
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
pen
t
er
param_limit
:
i
m
prove print
i
ng the limit
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
returns: delete som
e
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Ca
r
penter
d
b
/untracked_param: move mark_call_params_untracked()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carp
e
nter
db: fix sql_insert_retur
n
_implies()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carp
e
nte
r
deref
e
rences_param:
re-wr
i
t
e
simpler
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
i
mposs
i
ble: don't mark r
e
t
urns as impossible if threads
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan Carpenter
struct_assi
g
nmen
t
: ad
d
copy_from_us
e
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Ca
r
penter
lo
c
king: use share
d
success
_
fail_
r
et
u
r
n
()
funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Da
n
Car
p
e
nte
r
locking: add some m
o
re locking function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpente
r
r
osenberg: fix
a
segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan
Carpenter
kernel
.
u
n
constant_m
a
c
r
os:
a
dd EX
T
4_MO
U
N
T_DAX_ALWAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
a
n Carp
e
n
t
er
r
ose
n
berg: fu
l
ly initializing the str
u
ct d
o
e
s
not
c
lear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
r
ose
n
be
r
g: revert "initial
i
zation and struct assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan C
a
r
p
enter
l
o
ck
i
ng:
d
el
e
te so
m
e NULL c
h
ecks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
locking: add some more locking
f
unc
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan C
a
rpenter
bogus_address_param:
w
ar
n
about
p
assing
a
b
ogus
a
d
d
ress
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Car
p
en
t
er
units: fix the bui
l
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Car
p
enter
check_t
r
inity: delete this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
D
an
C
a
r
penter
locking:
ignor
e
false positives caused by
p
erf
_
event_
e
nab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan
C
arpente
r
units:
s
tore w
h
at sort of units a variab
l
e is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpenter
z
e
ro_to_er
r
_ptr
:
ad
d
dev
_
err_probe()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Dan Carpente
r
free_strict: add sock
_
release()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
d
b
/fixup_kern
e
l
.
s
h
: ignore
p
a
r
am limits fr
o
m
__dev_printk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpen
t
er
db/fixup
_
k
e
rnel
.
sh:
v
fs_read/write
(
) are the o
n
l
y
im
p
ortant
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
extra: r
e
vert the mod_expr changes for modi
f
y express
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpente
r
extra: set no limi
t
s mark_sub_members_
g
one()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n
C
a
rpente
r
unwind: devm_a
d
d_action_or_re
s
e
t
() is now a mac
r
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
enter
unwind: separate
path states out
i
nt
o
a
different check id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Ca
r
penter
unwind:
ignore path
states i
n
pre-me
r
ge hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
pent
e
r
unwind:
don't warn ab
o
ut impossible leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpente
r
unwi
n
d:
ignore c
o
mp
o
nent
_
ma
t
ch
_
ad
d
_
re
l
e
a
s
e
(
) paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: use the s
h
ared success_fail_retu
r
n() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
e
n
te
r
u
n
w
in
d
: ca
t
ch additio
n
al bu
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: fix a
bug
with SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an
C
arpenter
u
nwind: introduce &unkno
w
n
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan Carpen
t
er
flow: fix MACR
O
_ASSIG
N
MENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Car
p
ent
e
r
p
a
ram_limit: don't sto
r
e
addresses as PARAM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n Carpenter
h
elper: make strip_ex
p
r() strip out "+ 0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan
C
ar
p
enter
flow
:
on
l
y fake parameter
a
ssignment
s
once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
shift_
t
o_zero: sil
e
nce some warnin
g
s inside m
a
cros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n Ca
r
pente
r
db/creat
e
_db
.
sh: verify that the info file exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan Carpenter
data/k
e
rnel
.
u
ncon
s
t
ant_macro
s
:
a
dd ENQUEUE_MI
G
R
ATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan Carpente
r
unwind: don
'
t warn about globa
l
vari
a
bles
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan
C
ar
p
enter
flow
:
don't repar
s
e inlines over and over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan Ca
r
pe
n
t
er
kernel
.
unconstant_mac
r
os: add some pending stuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Car
p
enter
debug
:
fi
x
b
roken compile be
c
ause of miss
i
ng code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Ca
r
pe
n
ter
debu
g
:
ski
p
everything
e
x
cept
a
given function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug
:
add __smatch_start/stop_skip
(
)
t
o skip processing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Ca
r
penter
deb
u
g: make __smatch_about() handle SS
A
sta
t
es bet
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Car
p
e
nter
der
e
fer
e
nc
e
: fix
handli
n
g DEREFERENCE
f
ro
m
the
data
b
ase
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpen
t
er
der
e
f
e
rence: only count foo->bar as a dereference no
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan
C
arpenter
data/
k
ernel
.
i
g
no
r
e
_uni
t
ialized_param: add some more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
D
a
n Car
p
en
t
er
param_cle
a
r: add
s
u
p
por
t
for BUF_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Da
n
Carpente
r
p
a
ram_l
i
mit: ignore BU
F
_CLEA
R
h
ere as we
l
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpente
r
dereferenc
e
: cr
e
ate a add_derefe
r
enc
e
_
hoo
k
() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Da
n
Carpe
n
ter
buf_clear: do
a
speed up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
kernel_user_data: u
s
e a par
a
m/
k
e
y
ta
b
le for simple_strtoul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan
C
arp
e
nter
d
b
/kerne
l
.
return_fixes: add
d
e
b
u
gfs_i
n
itialized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
db
/
kernel
.
r
et
u
rn_fixes: add nla_nest_st
a
rt_noflag()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Da
n
Carpen
t
er
user_data:
remove xdr_in
l
ine_
d
ec
o
de()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpe
n
ter
u
s
er_data
:
cle
a
n up how sscanf is hand
l
ed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Da
n
Carpenter
user_dat
a
: c
l
e
an u
p
how
iov_iter
_
count
i
s
ha
n
dled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Carpenter
p
oints_to_h
o
st_data: make a pointe
r
c
onst
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Ca
r
p
enter
use
r
_
d
ata/ptr: mo
v
e thi
n
gs
from user
_
data to user_p
t
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpen
t
er
db: do
t
h
e
caller_info st
u
ff earlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Car
p
enter
d
b
:
f
ix ret
u
rned
i
nformation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
Carpen
t
e
r
struct_a
s
signmen
t
: make the faked_expres
s
ion function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
a
n Carpenter
user_d
a
ta:
f
i
x an is_new setting in handling assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
a
n
C
a
rpe
n
ter
kernel
_
user_da
t
a: don
'
t set
*
my
_
struct to user data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
kernel_u
s
er_data
:
ignore void ty
p
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
db/f
i
xup_kernel
.
sh: only record on
e
work que
u
e caller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
Car
p
enter
estate: pointe
r
s can't ha
v
e
a fuzz
y
max
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
a
n Carpenter
points_to_user_d
a
t
a
: all calls to copy_from_
u
ser()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpente
r
struct_assi
g
n
ment: i
n
t
roduc
e
c
r
e
ate_recursive_fake_assignment
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Car
p
enter
p
arse_
c
al
l
_m
a
th: store ==$0 ev
e
n for k
n
o
wn values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
a
n
C
arpe
n
ter
hooks: s
a
ve t
h
e con
t
a
iner->owner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan
C
arpe
n
ter
return
s
_ne
g
ative_error_
c
ode: low posit
i
v
es are not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Car
p
e
nter
return
s
_n
e
gative_
e
r
r
or_code: empty states
a
r
e not error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Car
p
enter
points
_
to_user_data: rename
set_poi
n
ts_
t
o_user_data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpenter
sm_has
h
: export s
t
r_to_llu_hash_helper()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpenter
smatch: don
'
t include "scop
e
.
h" for no rea
s
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpente
r
flow:
p
ull pars
e
_assignment()
i
n
t
o its
ow
n
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpenter
flow: revert p
r
evious com
m
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpenter
flow: ha
n
dle
s
truct assi
g
nments later
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpenter
po
i
nts_to_use
r
_da
t
a: h
a
ndle some po
i
nter math bet
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Da
n
Carpenter
points_to_user_data: commun
i
c
a
t
e USER_PTR re
t
u
rns
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpe
n
ter
points_to_
u
s
er_data:
hard co
d
e some ksmbd st
u
ff as
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Da
n
Car
p
en
t
er
function_hooks: do earl
y
stuff ev
e
n
earl
i
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carp
e
nter
function_hooks: don't
call db_return_s
t
ate
s
() early
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
D
a
n
Carpenter
functio
n
_
h
o
o
ks: introdu
c
e ea
r
ly ad
d
_function_hook_ea
r
ly()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan Carpenter
unreachable: ch
a
nge int
t
o
b
ool
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next