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
param_key: rename get_name_sym_from_key() to get_name_sym_from_param_key()
2021-08-31
Dan Carp
e
nt
e
r
p
a
ra
m
_key: rena
m
e
g
e
t_name_s
y
m_from_k
e
y()
to get_name_sym_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan Ca
r
penter
arrays: handle post op offsets
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan C
a
rpenter
db:
c
a
l
l all callbacks f
o
r a
d
d_return_info_ca
l
l
b
ack
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan Carpent
e
r
make: delete cwchas
h
/hashtable
.
o
commit
|
commitdiff
|
tree
2021-08-25
Dan Carpenter
lockin
g
: silen
c
e some common false positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-25
Dan Carpent
e
r
loc
k
ing: silenc
e
i915 war
n
i
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-25
Dan
Carpenter
validation: update
l
ocking te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan
C
arp
e
n
t
er
s
m
db:
ad
d
a "
p
ree
m
pt" opti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carp
e
nter
smdb:
add an optio
n
for smdb
.
py function
s
st
r
u
c
t
_type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carpe
n
ter
s
m
d
b
.
py: ad
d
m
o
re types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carpenter
p
owe
r
_
of_two: don't record
everything as a power of
t
wo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan
C
arpenter
db: prefer storing
p
aram da
t
a o
v
er return data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan
Ca
r
p
enter
free_
p
a
ram: dele
t
e a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carpenter
ch
e
cking_for
_
null_in
s
tead_of_err_ptr
:
s
ilence a false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-11
Dan Carpenter
helpe
r
:
a
dd a short cut in expr_equi
v
()
f
o
r
testing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-10
Dan C
a
rpenter
uni
n
iti
a
lized
:
sil
e
nc
e
fa
l
se postives
w
arning
s
abo
u
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-10
D
a
n Carpenter
kernel_p
r
intf:
p
rint a warning for potential precision
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-10
Da
n
Carpent
e
r
k
erne
l
: fix a NUL
L
der
e
fe
r
ence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
Dan Carp
e
nter
db: ch
a
ng
e
ho
w
inline functions wh
i
ch are not i
n
lineable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
D
a
n Carpenter
i
mplied:
f
ind
implications for
a
ssignment condit
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
Dan Carpenter
kernel_user_data: record when a
t
ype is
s
et
t
o
user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
Dan Carpenter
e
xtra: clean u
p
variab
l
e us
e
in
h
andle_bit_test()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
Dan Carpente
r
ext
r
a: ignore sel
f
ass
i
gnments "foo = foo;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-05
Dan Carp
e
n
ter
val
i
dation: upd
a
te sm_switch2
.
c (remove NULL dereference
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-05
Dan Carpe
n
ter
para
m
_key: introdu
c
e get_implied_rl_from
_
call_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-04
D
an Carpenter
sma
t
ch
.
h: int
r
odu
c
e sm_ped
a
ntic
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-04
Dan Carpenter
vali
d
a
tion: d
e
lete obsolete
dev_hold() check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-04
Dan Carpenter
net
d
ev_p
r
iv: small tweaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-30
Dan C
a
r
p
enter
index_overflow
:
fi
x
false posi
t
ives when we're memcpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-30
Dan
C
ar
p
enter
held_de
v
: delete
t
his
c
h
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-29
Dan
C
arpen
t
er
bi
t
s: fix matc
h
_assign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-29
D
a
n
Carpent
e
r
pa
r
am_key
:
fix
b
uild, add conta
i
ner_of
(
)
s
tuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-29
D
a
n Carpenter
bits:
g
et rid of "unknown
_
bit_info"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Da
n
Carpenter
p
aram_key:
h
andle &foo in
s
wap_nam
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan
C
a
rpenter
slist: al
l
ocate
s
n
a
mes
for al
l
show_s
m
() returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
D
an Carpe
n
t
er
ssa:
i
nt
r
oduce ssa_
s
et_all_s
t
ates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan C
a
r
pente
r
ssa:
fix the
m
odif
i
cation hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
ssa: don't dynamically allocate &undefined and &merged
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
s
t
ored_condit
i
ons: rec
o
r
d links bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Da
n
Car
p
enter
stored
_
co
n
ditions: ignore
k
nown
conditio
n
s
more
t
horoug
h
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
t
ype:
a
d
d
suppo
r
t for parsing <~ container_of keys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-27
Dan
Carpenter
functi
o
n_hooks:
m
o
v
e
c
ode around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-26
Dan
C
arpenter
implied,db: fix a bug faking
history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Dan Carpent
e
r
kernel_
u
ser_data: delete
o
bselete commen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
D
an Carpent
e
r
kernel_u
s
er_dat
a
: AND and
MOD a
r
e
way
s
to cap
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Dan Carpenter
math:
assu
m
e co
n
ta
i
ne
r
_of
(
) return valid p
o
i
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Dan Ca
r
p
enter
states: delete unu
s
e
d &ghost state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
D
a
n Carpenter
Documentation/smatch: update b
u
ild requirements for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-06
Dan Carpenter
type: handle
key
t
y
pe for "
*
$"
where
t
he parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-05
Da
n
Carpe
n
ter
ato
m
ic_inc_dec: tweak how the
return states ar
e
c
a
lculated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-05
D
a
n Carpenter
a
t
o
mic_inc_de
c
:
i
mprove how inc/dec is reco
r
d
ed in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-05
Dan C
a
rp
e
nter
atomic_inc_dec
:
create
separate test_id fo
r
fr
e
ein
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-01
Dan Carp
e
nt
e
r
kerne
l
:
delete
PC
I
B
IOS_
B
AD
_
VEND
O
R
_
ID returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-01
D
an Carpenter
db: add
a feature wh
i
ch lets peop
l
e delete
a return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-01
Dan Carpen
t
er
Do
c
umentati
o
n: add
l
ibssl-
d
ev and
libtry-ti
n
y-per
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Da
n
Carpenter
buf_comparison: im
p
rove handling of
binop siz
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpenter
extra: re-w
r
ite get_long
_
na
m
e
_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carp
e
nt
e
r
kerne
l
.
i
gn
o
red_macros
:
a
dd A
S
SERT
(
) to ign
o
red macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan
C
arpenter
smatch_
d
a
t
a
/kernel
.
clears_
a
rgument: add
m
ore functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpenter
s
match_data/kerne
l
.
unreachable
.
ignore: add BUG(), W
A
RN_ON
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
D
a
n
C
arpenter
user_data: kvm_rea
d
_gu
e
st
_
virt() is use
r
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carp
e
nter
rose
n
berg_fu
n
cs: warn about in
f
o
r
mation le
a
ks to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
D
an
C
arpenter
comparison: handle code like if (siz
e
-
u
s
ed == 0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Da
n
Carpenter
ke
r
nel:
hoo
k
match_fls(
)
into th
e
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan
Carpenter
kernel: intro
d
uce ge
t
_gfp_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-28
Dan
C
arpenter
exp
r
ession
s
: in
t
roduce get_parent_
s
tmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpenter
pa
r
am_k
e
y: mark get
_
variable_
f
rom_key() as depr
e
cated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpenter
f
u
nction
_
h
ooks: update comment ex
p
l
a
ining vari
o
u
s function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpenter
function_hook
s
: d
o
n't
r
ecord
p
arame
t
ers =
=
a
s
=
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpenter
function_hooks: i
n
troduce add_function_param_key_hook
_
late()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpenter
s
tates
:
add
ha
s
_
p
os
s
ible_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-18
Dan
Carpenter
param_set: setting
sta
c
k data
doesn't not affect the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-08
Dan Ca
r
p
e
nt
e
r
db: a
d
d support for deleting and splitting re
t
urns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-08
Dan Carpenter
db: call caller
_
info hooks when local
debug
i
s en
a
bled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-02
Dan
C
arpenter
function_hook
s
: print impo
s
sible r
e
turn in debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-29
Dan
Carpenter
un
w
ind: igno
r
e drm
m
_add_action() pat
h
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-29
Dan Carpenter
unwind: twea
k
s
to how clk
_
prep
a
re_enable
(
) is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-27
D
an Carpenter
hook
s
: add
D
EC
L
A
RA
T
ION_HOOK_AFTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-27
Dan Carpente
r
a
ll
o
cation_funcs: ad
d
a lot mo
r
e functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-27
Dan Carp
e
nter
extra: pres
e
rve hard max
over LIMIT/FILTER actions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-27
D
an Carpenter
f
l
o
w
: don't parse empty pre sta
t
ements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
atomic_inc_dec: make g
e
t
_
b
est_mat
c
h() s
t
ricter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpe
n
t
er
at
o
mic_inc_dec: sile
n
ce som
e
co
m
mo
n
false
positi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
atomic_
i
nc_dec: move cust
o
m
f
un
c
tion hook to
e
nd of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Da
n
Carpenter
atomic_inc_dec: make the implied sta
r
t/end a
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
a
t
omic_inc_dec: fix names of refe
r
e
nce counters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
D
a
n Carpe
n
t
er
con
t
ainer_of: fix the bui
l
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
f
r
e
e_strict
:
sil
e
nce
some
k
f
ree_skb() f
a
lse
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Ca
r
penter
point
s
_to_user_da
t
a: igno
r
e fake cal
l
a
ss
i
gn
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpe
n
t
e
r
p
as
s
e
s_array_size: handle
"frob(skb->data, skb->len)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
db: export i
s
_fn_ptr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpent
e
r
conditions: set
t
h
e parent expression for fake assig
n
men
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
symbol: i
n
t
roduce lookup_macr
o
_
symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-18
Dan Car
p
enter
k
e
r
n
e
l
_u
s
er_data: ignore v4l2_subdev_call()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-18
Dan Carp
e
nte
r
l
ocking: ign
o
re efx_rwsem_assert_w
r
ite_loc
k
ed
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-17
Dan Carpenter
e
x
t
r
a:
fix type
b
ug handlin
g
fake param
e
ter assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-14
D
a
n Carpen
t
er
ssa: parse
the assig
n
ments later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-14
Da
n
Carpenter
s
sa: fix a cr
a
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-11
Dan
C
arpenter
validation/sm_equi
v
4: u
p
date
u
nwind check output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-11
D
a
n
Carpenter
smatch
.
h: in
t
roduce
sm_wa
r
ning_line()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next