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
kernel_netdev_priv: track netdev priv data
2023-06-27
Dan Carpenter
kernel_
n
etdev_priv: tra
c
k netdev
priv data
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan C
a
rpenter
p
a
ram
_
limi
t
:
update a c
o
mment
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Da
n
Carpen
t
e
r
para
m
_key:
remove s
o
me bogus war
n
in
g
messages
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-23
Dan Carpente
r
function
_
hooks: prevent a crashing bug
parsing
fake
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-19
Dan Ca
r
penter
type
:
support __auto_type
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-14
Dan Carpenter
d
b/fix
u
p_
k
ernel
.
sh: delete kfree() pois
o
n information
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-14
Dan
C
a
rp
e
nter
kernel: handle with_inte
l
_runtime_pm(
)
m
a
cros be
t
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-14
D
an
C
arpen
t
er
flow
:
ha
n
dle declarations inside for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpente
r
strlen: h
a
ndle strchr()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
D
a
n Carpen
t
er
strlen
:
store strlen informatio
n
as a ran
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpen
t
er
strlen: handl
e
p++
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan
Carpe
n
ter
strl
e
n
:
small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpenter
deref_
c
heck
:
warn about dere
f
e
rences befor
e
an IS_E
R
R
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carp
e
nter
deref_check
:
use add_derefere
n
c
e_hook()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan C
a
rpenter
units: handle the
s
it
u
ation where
i
t
a
n array of byte
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Da
n
Carpe
n
t
er
points_to
_
use
r
_
d
a
t
a: update with
so
m
e ntfs user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan
C
arpenter
db/reload_p
a
rtial
.
sh
:
upda
t
e to handle hashe
d
fi
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
D
an Car
p
en
t
er
db/fil
l
_
db_call
e
r_i
n
f
o
.
p
l
:
fix "too co
m
mon func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-07
Dan C
a
rpen
t
er
uns
i
g
ned
_
l
t_ze
r
o
: re-write
t
his chec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-31
Dan C
a
rpenter
dereferen
c
e: fix a crash
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-23
Dan C
a
rpenter
script
s
/
generisize
.
pl:
h
andle "p
o
tentially tag
g
e
d
addre
s
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-19
Dan Ca
r
p
enter
dereference: fix some
false pos
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-19
D
a
n Carpenter
returns_negat
i
ve_error_code
:
silen
c
e some fal
s
e p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-19
D
a
n
C
a
r
p
e
nter
d
e
re
f
erence: hard code nla
_
data() as d
e
r
e
f
ere
n
cing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-18
Dan
C
arpent
e
r
checking_fo
r
_nul
l
_i
n
stead_
o
f_err_ptr: add list of
un
t
rust
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-17
Dan Carpenter
checkin
g
_for_nu
l
l_
i
nstead_of_e
r
r_ptr: use smatch_
k
ernel_err
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-17
Dan Carpent
e
r
k
e
rnel
_
err_ptr: hack around f
o
r_e
a
ch_gpio_
d
esc_w
i
th_flag(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-15
Dan Ca
r
pente
r
scripts
/
gener
i
size
.
pl: generisize fu
n
ction na
m
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-12
Dan Carpente
r
ke
r
ne
l
.
unreachable
.
turn_off: add some kunit stuf
f
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpen
t
e
r
preempt_
i
nfo: a
d
d __bit_spin
_
u
n
l
ock()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
c
he
c
k_list/er
r
_ptr: register
t
h
e
err_ptr code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan
C
arp
e
nter
de
b
u
g
/units: hook i
n
the __smatc
h
_units() code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpente
r
vali
d
ation/sm_
e
rr_ptr: make IS_ERR
(
) an
i
nline fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan
Car
p
enter
dereference:
f
i
n
d m
o
re
c
r
oss fun
c
t
ion
dereference
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
D
an Carpenter
e
r
r_ptr_deref: re-write the c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpe
n
t
e
r
kernel_err_ptr
:
track
error pointer
s
i
n the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Da
n
Carp
e
nte
r
kernel
.
no_retu
r
n_funcs: updat
e
to the
latest linux
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Da
n
C
a
rpenter
kern
e
l
.
no_return
_
funcs
:
add ku
n
i
t
_do_failed_assertion()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan Ca
r
penter
comp
a
rison: store m
o
dified co
m
pari
s
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpente
r
uni
t
s:
m
ove checks
t
o che
c
k_ file and hide
under the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan
C
arpenter
u
n
its/debug: add __smatch_u
n
its()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpen
t
er
units: de
l
e
te some acci
d
e
n
t
a
l code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units:
make unit states
g
lobal
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpenter
m
a
cro_table: don't store
d
uplicate macr
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
capped: ha
n
dle for loops be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carp
e
nter
c
onditions: s
t
r
i
p stuff off a S
T
MT
_
EXPRESSION
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan C
a
rpenter
exp
r
essio
n
s: *&foo is ju
s
t
foo
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpenter
kernel_user_data: take a
s
h
o
rt cut to
s
pee
d
up empty
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpent
e
r
mtag: crea
t
e a
r
everse mapp
i
n
g from mtag to symbol
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan C
a
rpenter
param_limit: improve
printing the
li
m
it
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
penter
r
etu
r
ns: delete some dead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Car
p
enter
db/u
n
tracked_pa
r
am:
m
ove mark_
c
all_
p
ar
a
ms_
u
ntracke
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpent
e
r
db: fi
x
sql
_
insert_return_im
p
lies()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
penter
d
ere
f
e
r
ences
_
p
a
ram
:
re-wr
i
te simpler
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpenter
impossible: don't m
a
r
k returns as impossibl
e
i
f
t
hre
a
ds
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-06
Dan Carpenter
struct_ass
i
gnment
:
ad
d
cop
y
_from
_
us
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-05
Dan
C
a
r
p
enter
l
ockin
g
:
u
s
e shared
s
ucce
s
s_fail_return() function
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpente
r
locki
n
g: add some more locking functions
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpenter
rosenber
g
: fix a segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-04
D
a
n Carpenter
k
ernel
.
u
nco
n
stant_macros: add
E
X
T4_MOUNT_DAX_ALWAYS
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
rosenber
g
:
full
y
i
nitiali
z
ing
the s
t
r
uct does not cl
e
a
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Da
n
Carpenter
rosenberg: revert "initialization
and struct as
s
ignment
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan Car
p
en
t
er
locking: delete some NUL
L
c
h
e
c
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
l
ocking: add
s
om
e
mo
r
e locking function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
bogus_add
r
ess_param: warn about
passing a bo
g
u
s
address
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-02
Dan Ca
r
pen
t
er
units:
f
ix the build
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carp
e
nter
ch
e
ck_trinity: delete this cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-04-20
Dan Carpenter
locking: ignore fa
l
se
p
o
sitives cau
s
e
d
by perf_event_enable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-04-19
Dan C
a
rpe
n
ter
units: store what sort of
u
nit
s
a variable is i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree