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
db/fixup_kernel.sh: ignore param limits from __dev_printk()
2023-04-06
Da
n
Carpenter
db/fixup_kernel
.
sh
:
i
gnore param lim
i
ts from __dev_printk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carp
e
n
t
er
d
b
/fix
u
p_ker
n
el
.
sh: vfs_read/write() ar
e
t
he only important
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpen
t
er
e
x
tra: rev
e
rt
t
he
m
od_expr changes
f
or modify expre
s
s
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
extra: set no limi
t
s ma
r
k_sub_member
s
_gone()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind
:
devm_add_acti
o
n_or_res
e
t() is now a ma
c
ro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: separate path stat
e
s out
into a d
i
fferent check id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind:
i
gnore path
s
t
ates
i
n
pre
-
m
e
rge hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpente
r
unwind: don
'
t
warn a
b
o
u
t
impossible leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
pent
e
r
unwind: ignore com
p
onent_m
a
t
ch
_
add_release()
p
aths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
a
r
penter
unwind: u
s
e the shared success_fail_
r
et
u
r
n
()
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpenter
unw
i
nd:
c
atch additional bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpente
r
unwind: fi
x
a bu
g
with SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
penter
u
nwind: introduce
&
un
k
now
n
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan Carpenter
flow: fix MACRO_ASSIGNM
E
NT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Car
p
enter
param_limit: don
'
t store addresses as PARAM_L
I
MI
T
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan
C
arpente
r
helper: ma
k
e strip_expr()
s
trip
out "
+
0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
an Carpenter
flow: only fake
p
arameter as
s
i
gnments once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpen
t
er
s
hif
t
_to_zero:
s
ilence so
m
e warnings inside macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
d
b/create_
d
b
.
sh: verify
t
hat the info file exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
Dan Ca
r
penter
data
/
kerne
l
.
u
n
constant_macros: add ENQUEUE_MIGRATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
D
a
n Ca
r
penter
unwind
:
d
on't warn a
b
o
u
t
g
lobal var
i
abl
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
D
a
n Carpenter
flow: d
o
n
'
t reparse inlines over and ov
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan C
a
rpenter
ke
r
nel
.
unconstant_m
a
cros: add some pen
d
ing stuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug: fix
b
roken compile
b
e
caus
e
of
m
issing code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
D
an Carpenter
debu
g
: skip everything except a gi
v
en function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Da
n
Car
p
enter
debug: a
d
d __smatch_sta
r
t/stop_skip
(
) to s
k
ip
p
rocess
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan C
a
rp
e
nte
r
debu
g
: make
_
_sma
t
ch_about
(
)
h
a
ndle SSA states be
t
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpenter
dereference:
fix handlin
g
DEREF
E
REN
C
E f
r
o
m
the da
t
ab
a
s
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Da
n
Carpenter
der
e
ference:
only count fo
o
->bar as a d
e
r
e
ference not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpe
n
ter
data/ker
n
el
.
ignore_unitialize
d
_param: add some mor
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpenter
param_clear: add support for BUF_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Da
n
Carpenter
param
_
l
im
i
t: ignore
B
UF_CLEA
R
here
a
s well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
der
e
fere
n
ce: cre
a
te a add_dere
f
erence_ho
o
k() fu
n
ction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
buf_clea
r
: do a
s
peed up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
kernel_user_data: use a param/key table fo
r
simple_strt
o
ul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan
Carpenter
d
b
/kerne
l
.
r
e
turn_fixes:
a
d
d
deb
u
g
f
s_i
n
i
t
ialized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Da
n
Carpenter
db/kernel
.
return_fixe
s
: a
d
d nla_nest_star
t
_nof
l
a
g()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an Ca
r
penter
user_data: remove xd
r
_in
l
ine_decod
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpente
r
u
ser_data: clean up how sscanf is handl
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carp
e
nter
u
ser_data:
cl
e
an up how iov_iter_coun
t
i
s
h
andled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpente
r
points_
t
o_host_data:
m
a
ke a p
o
inter
c
onst
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Ca
r
p
e
nt
e
r
us
e
r
_
data/ptr:
move things from user_data to user_ptr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Ca
r
penter
db: do the caller
_
info st
u
ff earl
i
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n Carpente
r
d
b: fix re
t
u
rned
informati
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpen
t
er
s
t
ruct_
a
ssignm
e
nt:
make
the faked_expression f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
user_data
:
fix an is
_
new setting in handling assig
n
ments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
a
n
Carpenter
kernel_user_d
a
ta: do
n
't set
*
m
y_struct to user data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
C
a
rpent
e
r
ke
r
nel_user_data: igno
r
e
void types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
a
n
Carpenter
db/
f
ixup_kernel
.
sh: o
n
ly record
o
ne work queue calle
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
an
C
arpenter
e
s
tate: p
o
inters can't
h
ave
a
fuzzy max
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
arpenter
po
i
n
t
s
_
to_user_data: all calls
to copy_f
r
om_user
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
an Carpenter
stru
c
t_as
s
ignment: introduc
e
create_
r
e
cursiv
e
_
f
ake_a
s
signm
e
nts()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carp
e
nter
p
a
r
s
e_call_math: store ==$0 even
for
k
nown v
a
l
ue
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Car
p
enter
hoo
k
s: sav
e
the container
-
>owner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpente
r
returns
_
negati
v
e_error_code: low positives are not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carp
e
nter
ret
u
rns
_
n
e
g
a
tive_error_code: emp
t
y stat
e
s are not error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
an Ca
r
penter
po
i
n
ts_to_use
r
_d
a
ta:
r
ename set_po
i
n
ts_
t
o_use
r
_data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Da
n
C
a
rpenter
s
m
_
hash:
e
x
p
ort str_to
_
llu_hash_helper(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Da
n
Carpenter
smatch: don't
include "s
c
ope
.
h" for no reason
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpe
n
ter
flow:
p
ull
p
arse_assignment() into i
t
s own fu
n
c
t
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpen
t
er
fl
o
w
: revert previo
u
s commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan
Carpen
t
er
flow: h
a
ndl
e
struct assig
n
ments later
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Ca
r
p
enter
points_to_u
s
e
r_data
:
handle s
o
m
e poi
n
ter math
better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
D
an Carpente
r
points_to_user_data: communicate USER_PTR re
t
urn
s
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpent
e
r
points_to_user
_
d
a
ta: h
a
r
d
code some ksmbd stuff
as
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
D
an C
a
rpenter
f
unction_hooks: do early stu
f
f e
v
en ea
r
lier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan C
a
r
p
e
nt
e
r
function_
h
ooks: d
o
n't
c
all d
b
_retu
r
n_states()
e
ar
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
D
an Carpenter
functio
n
_hooks:
i
ntroduce
early add_funct
i
on_
h
ook_early()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan Carp
e
nter
u
n
reacha
b
le: ch
a
ng
e
int to bool
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan Carpenter
u
nreac
h
abl
e
: delete a
n
ex
t
ra space character
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan
C
arpenter
unre
a
chab
l
e: ignore a
l
l f
o
r_XXX macr
o
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan
C
arpenter
express
i
ons: make gen_ex
p
ression_fr
o
m_key
(
) handle
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan Carpenter
expression
s
: make ge
n
_exp
r
_from_param_key() work
for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-13
Har
s
hit Mogal
a
pall
i
direct_r
e
tur
n
_
i
nstead_of
_
goto: do
n
't warn about other
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-13
Hars
h
it Mo
g
a
lapalli
direct_r
e
turn_i
n
s
t
ead_of_g
o
to: Delete duplic
a
te co
n
d
i
t
io
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-09
Dan
C
arpenter
s
l
e
eping i
n
atomic: silence some duplic
a
te warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
db/kernel
.
return_fixes: update notifier_to_
e
rrno()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n
Carpenter
db/smdb
.
py:
u
pdate t
h
e type str
i
ng
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Da
n
Carpenter
k
ernel
.
unreachable
.
ignore: ad
d
damon_for_each
_
target
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan C
a
rpenter
expressio
n
s: add cast_e
x
pressi
o
n()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpen
t
er
expre
s
sions
:
fix a -> vs
.
bug in
g
en
_
e
xpre
s
sion_from_key()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n
C
arpenter
e
x
tra: p
a
ss a
different mo
d
_
e
xp
r
fo
r
vanilla as
s
ign
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan C
a
rpenter
bu
f
_comp
a
rison
:
add s
u
p
p
ort for str
u
ct_size() ar
r
ay
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
Carp
e
nter
hook
s
: commit some missin
g
bits
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n Carpent
e
r
h
elper: 0-s32max re
t
urns are
success
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
an
Carpente
r
help
e
r
:
add a s
t
r
ip_parens()
in g
e
t_member_name()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Ca
r
pen
t
er
kernel_host_data: ignore nonsense information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n Carp
e
nter
db/clear_user_data: clean user data m
o
re thoro
u
ghly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
C
a
rpente
r
k
ernel_user_data: ignore nonsense data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan C
a
rp
e
nt
e
r
k
ernel_user_data: add s
o
me more
functio
n
s t
h
a
t retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
function_hook
s
: create fake_para
m
_assign_hel
p
er(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
Dan
C
arpente
r
preempt_i
n
fo: ad
d
rht_lock and bit_sp
i
n_lo
c
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
D
a
n Ca
r
penter
scheduling_in_atomic: Add mas_store_gfp() as a
spec
i
al
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
D
a
n Car
p
enter
dma_mapping_error:
delet
e
obsolete check
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-07
Dan
Carpent
e
r
direct_return_instead_of_goto: don't
w
arn abo
u
t printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-06
D
an Carp
e
nter
sl
e
ep_info: handle
mutexes corr
e
ct
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-02
Dan Carp
e
nter
e
x
pressi
o
ns: handle a
c
ase in gen_expression_
f
r
o
m_key()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-02
Dan
Carpenter
db: i
m
prove
recor
d
i
n
g when we
return a par
a
meter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-01-19
Dan Carpenter
kernel_u
s
e
r
_data: i
o
v
_
iter_
c
o
unt() returns
user
d
a
ta
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-01-18
Dan Ca
r
pe
n
t
er
p
aram_key: expo
r
t
t
h
e split_
p
aram_key() functi
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next