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
function_hooks: mark params untracked if there is not data in the DB
2023-06-27
D
a
n
C
arpenter
function
_
ho
o
k
s: mark
p
ara
m
s untrack
e
d
if ther
e
is not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan Car
p
enter
s
match_i
m
pl
i
ed:
delete
some d
e
a
d c
o
de in han
d
le
_
zero_c
o
m
p
ar
i
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Da
n
Carpenter
param_cleared: d
o
n't record ne
s
ted structs as BUF_CL
E
A
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
ranges: handle
IMPOSSIBLE_COMPARI
S
ON
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan Car
p
enter
flow: i
n
troduce s
h
allow assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
D
a
n Carpenter
c
o
n
ditions:
f
ix handling of "f
o
o
=
bar ?: baz;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
D
an Carp
e
n
t
e
r
flow: add a commen
t
to handle__
b
uilti
n
_choose_expr_assigns()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
struct_ass
i
g
nment: delete
s
o
m
e
dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
stru
c
t_assi
g
nme
n
t: don't track stuff that
w
e
d
on'
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
struct_
a
ssignment
:
use BUF_ADD in
s
tead of
P
A
R
A
M
_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan
Carpenter
struc
t
_a
s
sig
n
m
ent: add my_id
var
i
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan
C
a
r
penter
s
t
ruct_assignment:
add mem
c
py
_
fromio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Da
n
Carp
e
n
t
er
f
l
ow
:
add sup
p
ort for _
_
cleanup__ fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
D
a
n
Carpenter
pa
r
se:
handl
e
_
_
cleanu
p
__ att
r
ibute
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan
C
a
rpenter
kernel_netde
v
_priv: track netde
v
p
ri
v
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
param_limit: update a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpente
r
param_key: remove some bo
g
us warning messages
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-23
Dan Carpenter
function_hoo
k
s: prevent a cra
s
h
ing bug parsin
g
fake
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-19
Dan Carpenter
type: su
p
port
_
_auto
_
type
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-14
Dan Carpenter
db/fixup_kerne
l
.
sh:
d
elete kfree() poison inf
o
rma
t
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-14
D
an C
a
rpenter
ke
r
nel: handle with_intel_
r
untime_pm() macros better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-14
Dan Car
p
ente
r
flow
:
handle
de
c
la
r
ations inside for l
o
o
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan Ca
r
pente
r
strlen: ha
n
d
l
e
strchr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpenter
str
l
en: store strle
n
inform
a
tion
a
s a ran
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpen
t
er
strlen: han
d
le p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan
C
a
r
penter
strlen: smal
l
cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
D
an Carpente
r
d
e
ref_ch
e
ck: warn
a
b
out
d
eref
e
re
n
ces b
e
f
o
re an IS_ERR
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan C
a
rpenter
deref_ch
e
ck
:
use a
d
d_dere
f
er
e
nce_ho
o
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpenter
units: h
a
ndle the s
i
tua
t
i
o
n w
h
er
e
it an array of bytes
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpent
e
r
points_to_user_da
t
a: up
d
at
e
wit
h
some ntf
s
use
r
d
at
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpenter
db/re
l
oa
d
_partial
.
sh: update to handle hashed
f
il
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-12
Da
n
Carpenter
db/fi
l
l
_
db_caller_info
.
pl:
fix "too common
fu
n
ct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-07
Dan Carpenter
unsigned_lt_ze
r
o: re-writ
e
this che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-31
Dan Carpenter
de
r
eferenc
e
: f
i
x a c
r
ash
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-23
Dan Carpenter
sc
r
ipt
s
/generisize
.
pl: handle "potentially tagge
d
ad
d
re
s
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-19
Dan Carpenter
derefe
r
ence: fi
x
some
f
alse
p
o
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-19
Dan
Carpenter
re
t
urns_negative
_
error
_
code: silence some false posi
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-19
Dan Ca
r
penter
de
r
efer
e
nce: hard cod
e
n
la_data() as derefe
r
encing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-18
Da
n
C
a
rpenter
checking_for_nul
l
_instead_of_err_p
t
r:
a
dd list of untrust
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-17
Dan Ca
r
pente
r
check
i
n
g
_f
o
r
_nu
l
l_instead_of_err_pt
r
:
u
s
e smatch
_
kerne
l
_err_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-17
Dan Car
p
ent
e
r
ker
n
el_err_ptr:
h
ac
k
a
round for_e
a
ch_gpio_desc_with_flag
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-15
Dan
Carpenter
scripts/gener
i
size
.
pl: gen
e
risize
f
unction na
m
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-12
Dan Carpenter
kernel
.
unreach
a
ble
.
turn_off: a
d
d
s
ome
k
unit s
t
u
f
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n Carpent
e
r
pre
e
mpt_in
f
o
:
add __bi
t
_
spi
n
_
u
nlock()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
C
arpenter
check_li
s
t/err_ptr: register the er
r
_ptr code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
C
arpen
t
er
debug/un
i
ts: hook in the _
_
smatch
_
units() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
validatio
n
/sm_err
_
p
t
r: make
I
S
_
E
RR() a
n
inli
n
e
f
u
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n
C
arpenter
dereference: f
i
nd mo
r
e
cr
o
ss function deref
e
renc
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Ca
r
penter
e
r
r_ptr_
d
er
e
f:
re-write the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
kernel_err_ptr: track error point
e
rs in the d
a
tabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
kernel
.
no_
r
e
t
urn_fun
c
s: update to the l
a
test linux
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Da
n
Carpenter
k
ernel
.
no_return_funcs:
add kun
i
t
_
do_fa
i
led_assert
i
on
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
compar
i
son: store
modifie
d
compari
s
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan
C
ar
p
ent
e
r
u
nits:
m
o
ve checks to ch
e
ck_ file and hide under
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan
C
arpenter
units/deb
u
g: add _
_
s
m
atch_units(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
D
a
n
C
a
r
p
e
nter
u
n
i
ts: delete some accidental c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan
Carpenter
uni
t
s:
m
ake unit
states gl
o
bal
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
an Carpen
t
er
m
a
cro_ta
b
le:
d
on't st
o
re dup
l
icate macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan C
a
r
p
enter
cap
p
ed: ha
n
dle for loops better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Car
p
ent
e
r
conditions: strip stuff off a
STM
T
_EX
P
RESSION
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
an C
a
rpenter
ex
p
ressions:
*
&
f
oo is just foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
an Ca
r
pe
n
ter
kernel_us
e
r_data:
t
ake a short cut to speed up emp
t
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
m
t
ag: crea
t
e a reverse mapping f
r
om mtag
t
o symb
o
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Car
p
enter
param_limi
t
: improve printing
t
he limit
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpe
n
ter
r
eturn
s
:
d
e
lete som
e
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
C
arpenter
db
/
un
t
racked_param: mo
v
e mark_call_params_un
t
r
acked()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carp
e
nt
e
r
db: fix sql_ins
e
r
t
_r
e
turn_implies()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpenter
dereferences_param: r
e
-write simpler
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpe
n
t
er
imp
o
ssible: don't mark
returns as
imposs
i
ble if thre
a
ds
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan Carpen
t
er
struct_
a
ssignment
:
add cop
y
_
f
rom_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpenter
locking: use
shared su
c
cess_fa
i
l_return() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Da
n
Ca
r
pente
r
locking:
add
s
ome more locking
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
D
a
n Carpenter
rosenbe
r
g: fix a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
D
an
Carpenter
kernel
.
unconstant_ma
c
ros: add
E
XT4_MOUNT_DAX_
A
LWAYS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan C
a
rpenter
ro
s
enberg: fully initi
a
lizing the struct does not clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
ro
s
e
n
be
r
g:
revert "initiali
z
ation and str
u
ct
a
ssignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
l
o
ck
i
ng: delete som
e
NULL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
locking: add some more loc
k
ing functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpe
n
ter
bogus_add
r
ess_param: warn abo
u
t passing a bogus
address
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
D
an Carpenter
u
nits: f
i
x the build
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpenter
check_trin
i
ty:
dele
t
e this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Dan Carpenter
locking: ignore false positives cause
d
by perf_event_ena
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpenter
units: store
w
hat sort of units a v
a
riable is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpe
n
ter
zero_t
o
_e
r
r_ptr: add dev
_
e
r
r_probe()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Dan Ca
r
p
enter
fre
e
_strict
:
add soc
k
_release()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carp
e
nte
r
db/fixup_kernel
.
sh: ignore
p
aram
limi
t
s fr
o
m
__dev_
p
rintk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
C
arpenter
db/fixup_kernel
.
sh: vfs
_
read/w
r
ite() are the only i
m
p
o
rt
a
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
extra: revert the mod_expr chang
e
s
for modify express
i
o
n
.
.
.
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
Dan Carpenter
un
w
ind: devm_a
d
d
_act
i
on_or_rese
t
(
) is now a ma
c
ro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carpenter
unw
i
nd: separate path states out
i
nt
o
a different ch
e
ck id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
unwind: ignore path state
s
in pre-merge hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind
:
d
o
n't warn about impos
s
ibl
e
leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpe
n
t
er
unwind: ignore
co
m
p
onen
t
_m
a
tch_add_release() paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpenter
unwind: use
the
shared success_fa
i
l_return() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpenter
u
n
win
d
:
c
atch additional bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carpente
r
unwind:
f
i
x a
b
ug with S
S
A
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: introduce &u
n
kno
w
n state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan Carpenter
flow: fix MACRO_A
S
S
I
GNME
N
T
_
HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Da
n
Carpent
e
r
p
a
r
am_
l
imit: don't store addresses as PARAM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next