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: fully initializing the struct does not clear the holes
2023-05-03
D
an Carpenter
rosenberg
:
ful
l
y
ini
t
ializing the s
t
ruct does not clea
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carp
e
nter
rose
n
berg: revert "ini
t
iali
z
a
tion
a
n
d st
r
uct assi
g
nm
e
nts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Da
n
Carpen
t
er
lo
c
king: delet
e
s
ome
NULL ch
e
c
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
lock
i
n
g
: add
s
ome more lo
c
king functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Ca
r
penter
bogus_add
r
ess_p
a
ram: warn about p
a
ss
i
ng a bogus address
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Da
n
Carpenter
units:
f
i
x
th
e
b
u
ild
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan
C
a
r
p
e
n
ter
check
_
t
r
i
nity: delete this cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
D
a
n Carpenter
lockin
g
: ignore false
po
s
i
t
iv
e
s
caused b
y
perf
_
even
t
_enab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Ca
r
penter
units: stor
e
w
hat sor
t
of units a varia
b
le i
s
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
D
a
n Ca
r
penter
zero_to_e
r
r_pt
r
: add dev_er
r
_
prob
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
D
an C
a
rpent
e
r
fr
e
e_strict: add sock_rel
e
ase()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
p
e
n
t
e
r
db/fi
x
up
_
kernel
.
sh: ignor
e
param limi
t
s from __dev_prin
t
k(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
db/fixup_k
e
rnel
.
sh
:
vf
s
_r
e
ad/write() are the
only im
p
orta
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n
Carpe
n
ter
e
xt
r
a:
revert the mod_expr
chang
e
s
for modify expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
ar
p
enter
extra: set
no limits mark_sub_members_gone()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpenter
unwind: devm_add_action_or_reset(
)
is no
w
a
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: sep
a
rate path sta
t
es out i
n
to a d
i
f
f
erent chec
k
id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpen
t
er
unwind:
i
gnore path states in pre-mer
g
e hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpen
t
er
unwind: don't warn abou
t
impossible leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpenter
u
nw
i
nd: ignore component_match_add_
r
elea
s
e() paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpenter
unwind:
use t
h
e shared succ
e
s
s
_fail_r
e
t
urn()
functi
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpen
t
e
r
unwind: catch additi
o
nal bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpente
r
unwind: fix a bug with SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n
C
a
r
p
enter
unwind: introduce &u
n
known state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
D
an Carpenter
flow: fix MACRO_A
S
SIG
N
M
E
N
T_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Carpenter
param_
l
imit
:
don't store addresses as
PARAM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n Carpenter
helper: make st
r
ip_e
x
pr() str
i
p out "+
0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
flow: only fake p
a
ra
m
eter assignments once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
shift
_
t
o
_zero: silence some warnings in
s
ide
macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpe
n
t
er
db/create_db
.
sh: ver
i
fy that
the info file exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan Ca
r
pe
n
ter
data/kernel
.
unconstant_
m
acros: add
E
N
QUEUE_MIG
R
A
T
ED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan C
a
rpenter
unwind: don'
t
w
arn abo
u
t global va
r
iables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan Carpenter
flow: don't reparse inlines o
v
e
r
a
n
d over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan Carpen
t
er
kernel
.
unconstant_macros: add some pending
s
t
u
ff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
d
ebug: fix
broken compil
e
because
o
f
m
iss
i
n
g
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
D
a
n C
a
rpenter
d
ebug: skip everythin
g
except
a
given
functi
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpe
n
ter
debu
g
: add __smatch_start/stop_skip()
to
s
kip pr
o
cessing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug: make __
s
mat
c
h_about() handle SSA states
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpenter
derefer
e
nce: f
i
x
h
andling DEREFERENC
E
fro
m
the database
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpenter
derefere
n
ce: o
n
ly count foo->bar
a
s
a
derefe
r
ence
n
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpenter
data/kernel
.
ignore_u
n
i
t
iali
z
ed_param: add
s
o
m
e more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpen
t
e
r
param_clear: add
s
upp
o
rt for BUF_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
p
a
r
a
m_l
i
mit: ignore BUF_CLEAR here as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
d
e
refe
r
ence:
c
reate a ad
d
_derefe
r
ence_hook() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
D
an Carpenter
buf_
c
lear: do a sp
e
ed up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
D
a
n
C
ar
p
enter
k
ernel_u
s
e
r_d
a
ta: use a pa
r
am/key table for sim
p
le_strtoul(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpent
e
r
db/k
e
rn
e
l
.
return_fixes: add
debugfs
_
i
n
i
tialized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpent
e
r
db/kernel
.
return_fix
e
s
:
ad
d
nla_nest_start_noflag()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Da
n
Carpent
e
r
user_data: remove
xdr_inline_de
c
ode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user
_
data: cle
a
n up how sscanf
is handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Car
p
enter
user_data: clean
u
p how iov_iter_count
i
s
h
andled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
C
arpenter
points_to_host_data: make a pointe
r
const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n C
a
rpenter
user_data/
p
tr: move
things from user
_
dat
a
to user_p
t
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carp
e
nter
db: do the ca
l
ler_info stuff
e
arlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an Carpenter
db: fix ret
u
r
n
ed information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
struc
t
_
a
ssignment: make the faked_expression funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Ca
r
pent
e
r
user_data
:
fix an is_new set
t
ing in hand
l
ing
a
ssignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
kernel_user_data: don't set *
m
y_struct to user data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpente
r
kernel_user_data: ign
o
re void types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
db/
f
ixup_
k
e
r
nel
.
sh: only record o
n
e
work
queue
c
aller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
an Carp
e
nter
estate: pointers
c
a
n
't
h
a
v
e a fuz
z
y max
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
poi
n
ts_to_user_da
t
a:
a
l
l call
s
to
copy_fro
m
_u
s
er()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
an Carpenter
s
truct_assignment: introduce create_recur
s
i
ve_
f
ake_assign
m
en
t
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
an
C
arpen
t
e
r
parse_
c
all_ma
t
h: store ==$0 even f
o
r know
n
values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
hooks: sav
e
the contai
n
er
-
>owne
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
returns_negative_error_co
d
e: low po
s
i
t
ives are
not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
a
n Carpenter
returns_neg
a
tive_err
o
r
_
c
ode: empty
s
tates are n
o
t error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
a
n Carpent
e
r
points_t
o
_user
_
d
ata:
re
n
a
m
e set_points_to_u
s
er_data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Ca
r
penter
s
m
_has
h
: ex
p
ort str_to_ll
u
_hash_hel
p
er()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
D
an Carpenter
smatch: don't include "sco
p
e
.
h" f
o
r no reason
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpenter
f
low: p
u
ll parse_assignment()
into its
own fun
c
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Ca
r
penter
flow: revert previo
u
s commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan C
a
rpente
r
f
l
o
w: h
a
ndle struct as
s
ignments later
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Da
n
C
a
rpenter
points_to_
u
se
r
_data: handle
s
om
e
poin
t
e
r
math bette
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Da
n
Ca
r
p
enter
points_to_user_d
a
t
a
: c
o
mmunica
t
e USE
R
_PTR retur
n
s
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Da
n
Carpenter
point
s
_
t
o
_user_da
t
a: ha
r
d code some ks
m
bd stuff as
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Car
p
enter
f
u
nct
i
o
n_hoo
k
s: do early
s
tuff ev
e
n earli
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Car
p
enter
function_hooks: don't cal
l
db_return_
s
tates() early
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
D
an Carpenter
func
t
ion_hooks: introduce early add_funct
i
o
n_hook_e
a
rly()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
D
a
n Carpe
n
ter
u
n
r
e
a
chable: c
h
ange int to boo
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan C
a
rpente
r
unreachable
:
delete
an extra space character
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
D
a
n Carpen
t
er
unreachable: ignor
e
al
l
f
or_
X
XX macr
o
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan
C
arpent
e
r
expressions: make gen_expre
s
sion_f
r
o
m
_key() ha
n
dle
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan Ca
r
pe
n
t
er
express
i
ons: mak
e
gen_expr_from_param_
k
ey() wor
k
f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-13
Harshi
t
M
oga
l
apa
l
li
direct_return_instead
_
of_goto: don't warn
about
o
ther
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-13
Harshit Mogal
a
pa
l
li
direct_retu
r
n_i
n
stead
_
of_goto
:
Delete duplica
t
e
condition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-09
Dan Carpenter
s
l
eeping in atomic: s
i
l
ence some duplicate warnin
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpe
n
ter
db/kernel
.
return_fixes
:
update
n
o
t
ifier_to_
e
rrno()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
db/smd
b
.
p
y
: update
the type strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
an Carpenter
k
er
n
e
l
.
u
n
r
each
a
ble
.
i
gnore: add damon
_
for_ea
c
h_target
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
an Car
p
e
n
ter
e
x
pressions: add cast_expression()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan C
a
rpenter
expressio
n
s: f
i
x a ->
v
s
.
bug
i
n gen_express
i
on_from_key()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
an
Carpenter
extra: pa
s
s
a
differe
n
t
m
od_expr
f
or vani
l
l
a
assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Ca
r
penter
bu
f
_comp
a
r
ison:
a
dd support for struc
t
_size() ar
r
ay
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n
Ca
r
penter
hooks: co
m
mit som
e
missing bits
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
Carpenter
h
e
lper: 0-
s
32max
return
s
a
r
e
s
u
ccess
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
an Carpenter
help
e
r: add a strip_parens() in ge
t
_membe
r
_nam
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpente
r
kernel_ho
s
t_data: igno
r
e no
n
sense in
f
ormation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Ca
r
p
ente
r
db/
c
lear_user_d
a
ta: c
l
e
an
u
se
r
da
t
a
more thoroughl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan C
a
r
p
en
t
e
r
ker
n
el_use
r
_d
a
t
a: igno
r
e nonsense data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next