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
returns_negative_error_code: silence some false positives
2023-05-19
Dan Carpenter
returns_negative_error_code
:
silence
so
m
e
f
al
s
e positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-19
Dan Carp
e
nter
der
e
fe
r
ence: hard code nla
_
data() as derefer
e
ncing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-18
Dan Carpe
n
ter
c
hecking_for_
n
ull_i
n
stead_of_
e
rr_ptr: add li
s
t of
untrust
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-17
Dan Carpe
n
ter
checking_for_n
u
ll_instead_of_err_ptr:
use
smatch_kernel_err_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-17
D
a
n
Carpenter
kern
e
l_err
_
p
tr: hack a
r
o
und for_each_gpio_desc_
w
ith_f
l
a
g
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-15
Da
n
Ca
r
pent
e
r
scripts/generisize
.
pl:
generisize functi
o
n name
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-12
D
a
n Car
p
e
nt
e
r
ker
n
e
l
.
unre
a
chabl
e
.
turn_off
:
ad
d
some ku
n
it
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
p
r
eempt_info: a
d
d __bi
t
_spin_unloc
k
()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
check_
l
ist/er
r
_ptr: registe
r
the err_p
t
r code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan C
a
rpe
n
ter
debug/units: hook in the __smatch_units(
)
code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Da
n
Carpe
n
ter
validation/sm_e
r
r_p
t
r
:
make IS_ERR() an inline func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
D
an Ca
r
p
e
nter
dere
f
erenc
e
:
f
i
nd m
o
r
e
cross
fu
n
c
t
io
n
dereferences
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n Carpenter
err_ptr_deref
:
re-
w
rite the check
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Da
n
Carpenter
kernel_err_ptr: track error
poin
t
ers
i
n the database
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan
C
ar
p
e
nter
kernel
.
no_re
t
urn_func
s
: upd
a
t
e
to th
e
l
a
test linux
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpen
t
er
ke
r
nel
.
no_re
t
urn_fu
n
cs: add ku
n
i
t_do_failed_
a
sserti
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
c
o
mparison:
s
tore modified c
o
mp
a
risons
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
D
a
n
Carpe
n
ter
uni
t
s:
move ch
e
cks to ch
e
ck_ file and hide under
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units/d
e
b
ug: add
_
_s
m
atch_units()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpen
t
er
units: de
l
ete
s
ome acci
d
e
n
t
al
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
D
an
C
arpenter
un
i
ts: make
u
nit
s
tat
e
s global
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpent
e
r
macro_table: don
'
t
s
tor
e
d
u
plicate
m
a
c
ros
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
capped: handle for loops bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpenter
c
o
ndition
s
: strip stuff off a
STMT_EXPRES
S
ION
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
pen
t
er
expressions: *&
f
oo is just foo
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Carpe
n
t
er
k
ernel_user_data: take a short cut to speed up e
m
pty
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpe
n
ter
m
t
ag: create a rev
e
rse mappin
g
from
mta
g
to
s
ym
b
ol
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpente
r
p
aram_limi
t
: improve printing t
h
e limit
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpen
t
er
returns: delete so
m
e dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpenter
d
b
/
u
n
track
e
d_param: move mark_call_params_untra
c
ke
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpent
e
r
db: fix sql_i
n
sert_return_implies()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpenter
deref
e
rences_p
a
ram: re-write simpler
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
im
p
ossible: don't mark returns as
impossible i
f
threads
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-06
Dan Carpenter
struct_ass
i
gnment: add
copy_from_use
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpenter
locking: use shared succ
e
ss_fail_ret
u
rn()
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-05
Dan Car
p
e
n
t
e
r
locking:
a
dd
s
o
me mo
r
e lo
c
king functions
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-04
Da
n
Ca
r
pen
t
e
r
r
osen
b
erg
:
fix a
s
egf
a
u
lt
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpenter
kerne
l
.
unconst
a
nt_ma
c
ros: add
E
X
T4_MOU
N
T
_DAX
_
ALWAYS
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan C
a
rpenter
rosenb
e
rg: fully ini
t
ializ
i
ng the struct does
n
ot c
l
ea
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpe
n
ter
rosenberg:
revert "i
n
itialization and struct
a
s
signmen
t
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
D
a
n
Carp
e
n
ter
locking: delete so
m
e NULL c
h
e
c
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
D
a
n
Carpenter
locking: ad
d
some
mo
r
e
l
ocking functions
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan
Carp
e
nter
b
ogu
s
_add
r
ess
_
p
a
ram: warn a
b
out passing
a
bogus
a
ddr
e
s
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpenter
uni
t
s:
f
ix the build
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpe
n
ter
check_t
r
inity:
d
e
l
ete this code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-04-20
D
a
n Carpente
r
locking: ignore
false
positiv
e
s cau
s
e
d
by perf
_
ev
e
n
t
_enab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpenter
units: store what sort
o
f units a vari
a
bl
e
is in
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree