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
unsigned_lt_zero: re-write this check
2023-06-07
Dan Carpe
n
ter
u
n
signed_
l
t
_
zero: re
-
write this check
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-31
Dan Carpenter
dereferen
c
e: fi
x
a
cra
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-23
Dan Carpenter
scri
p
ts/generisiz
e
.
p
l
: handle "potentially tagged address
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-19
D
a
n
C
arp
e
n
t
er
d
ereferen
c
e: fix some fals
e
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-19
D
an Carpenter
returns_nega
t
i
ve_error_code: si
l
ence some fa
l
se po
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-19
Da
n
C
a
rpe
n
t
e
r
derefer
e
nce: hard cod
e
nl
a
_data
(
) as
d
er
e
ferencing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-18
Dan Carpenter
checkin
g
_fo
r
_null_instead_
o
f_err_ptr: add list of untrust
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-17
Dan
C
arpenter
checking_for_
n
ul
l
_instead_o
f
_err_ptr: us
e
smatc
h
_kernel_er
r
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-17
Dan Ca
r
pente
r
kernel
_
err_pt
r
: hack aro
u
n
d
for_e
a
ch_gpio_desc_with_flag()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-15
Dan Ca
r
penter
scrip
t
s/gen
e
risize
.
pl: gene
r
i
s
iz
e
function names
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-12
Da
n
Carpenter
kernel
.
unre
a
chab
l
e
.
turn_of
f
: add so
m
e kunit stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Ca
r
pente
r
preempt_info
:
add __bit_spin_
u
nlock(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
D
an Car
p
enter
ch
e
ck_list/err_
p
tr: register the err_ptr code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
debug/units: hook i
n
the _
_
smatch_units()
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n Ca
r
penter
validation/sm
_
err_ptr: make IS_
E
RR() an inline func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan
Car
p
ente
r
derefe
r
en
c
e: find more cross func
t
ion d
e
re
f
erences
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan C
a
rpenter
err_ptr_deref: re-write the check
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n Ca
r
penter
kernel_err
_
pt
r
: track erro
r
pointe
r
s
in t
h
e database
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Da
n
C
a
r
pen
t
e
r
k
ernel
.
no
_
r
e
turn_funcs: up
d
a
t
e
to the late
s
t linux
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
kernel
.
no_return_funcs: add kunit_do
_
f
a
iled
_
a
s
sertion()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
compari
s
on:
s
tore modified comparis
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
D
a
n Ca
r
p
enter
u
nits: move checks
t
o
check_ file and
h
ide
u
nder the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan Ca
r
p
enter
units/debug:
a
dd __smat
c
h
_
units()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan
C
a
rpenter
un
i
t
s
: delete some
a
ccid
e
n
tal code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan C
a
rpenter
units: mak
e
unit state
s
global
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpente
r
macr
o
_table:
don't st
o
re dupli
c
ate macros
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpenter
capp
e
d
: ha
n
dl
e
for loop
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
conditions:
strip stuff off a STMT_EXPRESSION
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Car
p
enter
expressions: *&foo
i
s just foo
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpenter
k
e
r
nel_user_d
a
t
a: take a sh
o
rt c
u
t
t
o
s
peed
up empt
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpenter
mtag: create a revers
e
mappin
g
from mta
g
to sym
b
ol
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
an Carpenter
p
a
ram_limi
t
:
imp
r
ove prin
t
ing t
h
e limit
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n
Carpenter
r
etur
n
s:
d
e
lete some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpenter
db/u
n
t
r
acked_p
a
ram: mo
v
e
m
ark_cal
l
_param
s
_untracked()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpen
t
e
r
db
:
fix sql_insert_return_implies()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n
Carpenter
derefere
n
c
es_pa
r
am: re-wri
t
e simpler
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
impossible: don't
m
ark returns as impos
s
ible if threads
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-06
Dan Carpenter
struct_as
s
ignment: add copy_from_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-05
Dan
C
arpenter
locking: use shared s
u
ccess_
f
a
i
l_r
e
turn() f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpente
r
locking: add some more loc
k
ing
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-04
Da
n
Carpen
t
er
r
osenberg:
f
i
x
a
s
eg
f
aul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpenter
kernel
.
unconsta
n
t_
m
acros:
a
d
d
EXT4_M
O
UN
T
_
D
AX
_
ALWAY
S
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan Ca
r
penter
rosenbe
r
g: fully initia
l
izing
the
s
truct does not cl
e
ar
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
r
o
sen
b
erg: re
v
er
t
"initializa
t
i
o
n and
struc
t
ass
i
g
nments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
locking: dele
t
e some NULL
checks
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Da
n
Carp
e
n
ter
locking: add
s
ome more locking functions
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan
Carpen
t
er
bo
g
us_address_
p
aram: warn about
passing a
b
o
gus address
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-02
D
an Carpenter
un
i
ts: fix the bui
l
d
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpenter
check_trinity: delete this
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-04-20
Dan
Carp
e
n
t
er
locking: ignore f
a
lse posi
t
ives caused by p
e
rf_event_en
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-04-19
Dan
C
arpenter
un
i
ts: sto
r
e wh
a
t
sort of u
n
its a var
i
ab
l
e i
s
i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree