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
rosenberg: revert "initialization and struct assignments don't fill holes"
2023-05-03
D
a
n C
a
rpenter
rosen
b
erg: revert "initializati
o
n an
d
st
r
uct
assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Car
p
enter
loc
k
i
n
g
: de
l
ete
some
N
ULL
c
hec
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
locking
:
a
dd som
e
more locki
n
g
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpe
n
ter
bo
g
u
s_
a
ddr
e
s
s
_
p
ar
a
m: warn abou
t
passing a bo
g
us address
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Ca
r
penter
units: fix
the b
u
ild
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan C
a
rpenter
check_trinity: d
e
lete this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
D
an C
a
rpen
t
er
locking: ignore false positives caused b
y
per
f
_even
t
_enable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpenter
units: store wha
t
sort
of units
a
var
i
able is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Da
n
Carpe
n
t
e
r
zero_to_err_p
t
r: add d
e
v_err_probe()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Dan Carpenter
free
_
s
trict: add sock_release()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
enter
db/fixup_kernel
.
sh:
i
gnore pa
r
am limits from
_
_
dev_printk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carp
e
nte
r
db/fixu
p
_kern
e
l
.
sh:
vfs_read/write() are the only important
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
extra: revert the mod
_
expr ch
a
nges for modify expr
e
ssion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
extra: se
t
no lim
i
ts mark_sub_memb
e
rs_gone()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carp
e
nter
unwind: d
e
vm_ad
d
_action_o
r
_reset
(
) is no
w
a
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpen
t
e
r
unwind: separate path states out
i
n
to a d
i
fferent check i
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Ca
r
penter
unw
i
nd: ignore path sta
t
es in pre-m
e
rge hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpenter
u
nwi
n
d: don't warn about
imp
o
ssible leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Car
p
enter
unwind: ign
o
re compone
n
t_mat
c
h
_
ad
d
_
rel
e
a
se() paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: use
the s
h
ared su
c
c
e
ss_fail_return()
f
unction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpen
t
er
unwind: catch
additi
o
n
al bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpe
n
te
r
unwind:
f
ix a bug with SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carp
e
nter
unwind: intr
o
duce &unknown
s
tate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
D
a
n
Carpenter
flow: fi
x
MA
C
RO_ASSIGNMENT_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Ca
r
penter
param_limit: don't
s
tore addresses as PARA
M
_
LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
h
e
lper: ma
k
e strip_ex
p
r() strip
out
"+
0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
flow: only fak
e
param
e
ter assign
m
ents once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
an Carpenter
shift_t
o
_zero
:
sil
e
nc
e
some warnings
i
nsi
d
e macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
an Carpenter
db/create_
d
b
.
sh: verif
y
that the
i
nfo fil
e
e
xists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Da
n
Carpen
t
er
data/kernel
.
unconstant_macros: add
ENQUEUE_M
I
G
R
A
TE
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
D
a
n Ca
r
penter
unwind: do
n
'
t
warn about
gl
o
b
a
l v
a
riable
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan Carpenter
flow: don't reparse inlin
e
s ov
e
r and o
v
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Da
n
C
ar
p
e
n
ter
kernel
.
u
n
c
o
n
s
t
a
nt_macr
o
s: add some pending stuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan
Carpenter
debug: f
i
x broken compi
l
e because
o
f missing
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
d
ebug: skip everything except a given function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
D
an Carpenter
debug: add
_
_smatch_start/stop_skip() to skip pro
c
e
ssing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Ca
r
penter
d
ebug: make __smatch_about()
h
andl
e
SSA
s
tates
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
D
a
n Carpenter
de
r
eference: fix hand
l
ing
D
EREFEREN
C
E
f
rom t
h
e databas
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Da
n
Carp
e
nter
dereference
:
on
l
y count foo->bar as a deref
e
rence not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
D
an Carpente
r
data
/
kernel
.
ig
n
ore_unitialized_param: add some m
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpenter
param_
c
lear: add su
p
port for BU
F
_
A
D
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Da
n
Carpenter
param_limit: ignore BUF_CLEA
R
here
a
s well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
dereference: create
a a
d
d_der
e
ference_ho
o
k(
)
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Car
p
enter
buf_clea
r
: do a spe
e
d
u
p
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Da
n
Carpenter
kernel
_
user_data: use a param/key
t
able for simple_strto
u
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan
C
arpenter
d
b
/
ker
n
el
.
re
t
urn_fixes
:
add
debugfs_initialized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
db/
k
ernel
.
retur
n
_
fi
x
es: a
d
d nl
a
_nest_star
t
_nofla
g
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
Car
p
enter
user_d
a
ta: remove xdr_inline_decode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Car
p
enter
user_data: clean up how sscanf is handle
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
Car
p
enter
user_
d
ata: cl
e
an up h
o
w
i
ov_it
e
r_count is handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Ca
r
p
enter
points_to_ho
s
t_data: make a
p
oin
t
e
r
c
onst
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpen
t
e
r
user
_
dat
a
/ptr:
m
ove thin
g
s fr
o
m
u
ser_data
to
u
ser
_
pt
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpe
n
ter
db: do the cal
l
er_info stuff earlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
db:
f
i
x r
e
turned inf
o
rmation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Carpenter
struc
t
_
assignment:
m
ake the f
a
ked_express
i
on
f
unc
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan C
a
rpent
e
r
user_
d
ata: f
i
x an is
_
new
s
etting in ha
n
dl
i
ng assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
kernel_use
r
_dat
a
: don
'
t
set *my_struct to us
e
r
d
ata
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
ker
n
el_user_data: ig
n
or
e
v
o
id typ
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
Carpenter
db/fixup_kernel
.
sh: only r
e
cord one work queue caller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpen
t
e
r
estate: pointers can't have a fuzzy m
a
x
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
points_to_us
e
r_data: all ca
l
ls to copy_from_us
e
r
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
Carpenter
str
u
ct
_
assi
g
nme
n
t
: intro
d
u
c
e
create
_
recursive_fake
_
assig
n
ments()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
an
C
ar
p
enter
parse_call
_
math: store
==$0 eve
n
for
k
nown valu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
hooks:
save
the container->
o
wner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
r
eturns_negative_error_cod
e
:
l
ow positives
are not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan
Ca
r
pen
t
er
returns_negative_error_code:
empty states are not error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
a
n
Car
p
enter
poin
t
s_to_us
e
r_data: rename
s
et_points_to_user_data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpent
e
r
sm_h
a
sh: export str
_
to_llu_hash_helper(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Ca
r
p
e
nter
smatc
h
: d
o
n
'
t
in
c
lude "scope
.
h" f
o
r
n
o
r
e
a
son
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
D
an C
a
rpenter
flow: pull par
s
e_a
s
signmen
t
() i
n
t
o i
t
s
own
f
unction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpenter
flow: r
e
v
ert previous
c
ommit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan
C
arpenter
flow: han
d
le str
u
ct a
s
signments la
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
D
a
n Carpenter
points_to_user
_
data: handle some
pointe
r
ma
t
h
better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Da
n
Carpenter
poin
t
s_t
o
_
u
ser_data: co
m
m
u
nicate USER_PT
R
returns to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Ca
r
penter
points_to_user_
d
ata: hard code some
k
s
m
b
d stuff as
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
D
a
n Carpente
r
funct
i
on_hooks: do early stuff even ea
r
lier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Car
p
enter
f
u
n
c
tion_ho
o
k
s
: don't call db_return_st
a
tes() early
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpenter
function_hooks:
i
ntroduce
early add_function_
h
o
o
k_early
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Da
n
Carpenter
unreach
a
ble:
c
hange int to bool
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan C
a
r
p
enter
unreachable: delet
e
an ext
r
a space cha
r
a
c
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan Carpe
n
ter
u
nreac
h
abl
e
:
ign
o
re
all fo
r
_XXX m
a
cro
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan Carpenter
express
i
ons: make gen_ex
p
r
essi
o
n
_
from_k
e
y
(
)
h
andle
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan Carpenter
expressions:
make gen_
e
xpr_from_param_key() w
o
rk for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-09
D
a
n
Carpent
e
r
sleeping in
a
tomic: s
i
lence
s
ome du
p
licate wa
r
nings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Da
n
Carp
e
nte
r
db/kernel
.
r
eturn_fix
e
s: u
p
date notifier_
t
o
_
e
rrn
o
()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n Carpent
e
r
d
b
/s
m
db
.
py: update the type strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Car
p
enter
kernel
.
unr
e
a
c
hable
.
ignor
e
:
a
dd da
m
on_for_each_tar
g
et
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
C
arpenter
expres
s
ions: add c
a
st_expression()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpent
e
r
expressions: fix a -
>
vs
.
bug in gen_
e
xpressi
o
n_from_key()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Car
p
enter
e
xt
r
a: pass
a
different
m
od_expr for
v
anilla assign
m
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Ca
r
penter
buf
_
comparison: add support for st
r
uct
_
size()
a
rra
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Da
n
Carpe
n
t
e
r
h
ooks: co
m
mit
s
ome
missing bits
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
C
ar
p
enter
help
e
r: 0-s32ma
x
returns
are success
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Da
n
Ca
r
penter
he
l
per:
ad
d
a
s
t
rip_parens() in get
_
mem
b
er_nam
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
k
ernel
_
host_data: ignore nonsens
e
info
r
mation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Da
n
C
arpenter
db/clear_user
_
data:
c
lean use
r
data m
o
re thoroughl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
an Carpenter
kernel_user_data: ignore nonsense data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carp
e
nter
k
e
rnel_user_data:
a
dd so
m
e more f
u
ncti
o
ns t
h
at r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
Carpenter
f
unction_hoo
k
s
:
create fake_param_assi
g
n_helper()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
Dan Ca
r
pent
e
r
preempt_
i
n
fo:
a
dd r
h
t_loc
k
and b
i
t
_spin_l
o
ck
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next