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: don't call both DB and implied return hooks callback
2021-09-01
Dan Carpente
r
functi
o
n
_hooks: don't call both DB and implied
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-09-01
Dan
Ca
r
penter
sma
t
ch: introduce standard
hook types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
D
an Car
p
e
nter
db
/
smdb
.
py:
r
e
-
write pree
m
pt call tr
e
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan
Carpent
e
r
validation/sm_i
m
pli
e
d6
.
c:
d
elete
o
bsolete test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan Car
p
enter
u
ser_data: fix returned user da
t
a from a
parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan Car
p
enter
va
l
idatio
n
/sm
_
s
w
i
t
ch: up
d
ate test
case
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan Carpenter
p
a
ram_
k
ey:
rename get_na
m
e_sym
_
from_key(
)
to ge
t
_name_sym_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan
Carpenter
ar
r
ays: ha
n
dle
p
o
s
t op offsets
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan
C
arpent
e
r
db: call all
c
allback
s
for ad
d
_retu
r
n_info_
c
allback
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan Carpenter
m
a
ke: delete cwchash/ha
s
htab
l
e
.
o
commit
|
commitdiff
|
tree
2021-08-25
D
an Carp
e
n
t
er
l
oc
k
ing: sil
e
nce
some commo
n
f
a
l
s
e pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-25
Dan
Ca
r
p
ente
r
lo
c
king: silence
i915
w
arnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-25
Dan Carpenter
val
i
dation: update locking tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
D
an Carpenter
sm
d
b: ad
d
a "preempt" o
p
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan Car
p
enter
smdb: add an option
f
o
r smdb
.
py
f
unctions struct_type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carpenter
smd
b
.
py: a
d
d more t
y
pes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan Ca
r
pent
e
r
power
_
of
_
two:
d
o
n't record
everything as a power of two
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carp
e
n
t
er
db:
pref
e
r
s
tor
i
ng param data o
v
er return dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carpent
e
r
free_param:
delete a blank li
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carpenter
c
he
c
king
_
fo
r
_nu
l
l
_instead_of_err_ptr: sil
e
n
ce
a
false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-11
Dan Carpente
r
helper:
a
dd
a sho
r
t cut
i
n expr
_
equiv() for testing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-10
Dan Carp
e
nter
u
n
initialized:
silen
c
e false postives warning
s
abo
u
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-10
Dan Carpenter
k
ernel_pr
i
ntf
:
print
a
warning for poten
t
ia
l
precision
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-10
D
an Carpe
n
ter
ker
n
el: fix a
NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
Dan Car
p
enter
db: change how inline funct
i
o
n
s whic
h
a
r
e not inlinea
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
Dan Carpe
n
ter
impl
i
e
d
: fi
n
d implicati
o
ns for assignment conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
Dan
Car
p
enter
kernel_user
_
data: r
e
cord when a type is set to
u
se
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
Dan Carpenter
extra: c
l
ean up variable
u
se in
h
andle_b
i
t_test()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
D
an Carpenter
extra: ignore
self
a
ssignments
"foo =
f
oo;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-05
Dan Carpe
n
ter
validation: update sm_swi
t
ch2
.
c
(remove NULL dereference
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-05
Dan Carpenter
param_key: introduce get_implied
_
rl_from_call_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-04
Dan
C
arpen
t
er
smat
c
h
.
h: in
t
roduce sm_pedantic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-04
Dan
C
arpenter
validation:
delete obsolete dev_hold() check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-04
D
an Carp
e
n
ter
n
etd
e
v_p
r
iv: small t
w
eaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-30
Da
n
C
a
rpen
t
er
inde
x
_overflow: fix false positives w
h
en we're
memcpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-30
Dan Ca
r
p
enter
h
eld_dev: d
e
lete thi
s
c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-29
Da
n
Carpenter
b
i
ts: fix m
a
tch_as
s
ign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-29
Da
n
Carpente
r
param_key: fi
x
bui
l
d, add co
n
tainer_of()
s
tuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-29
Dan Carpenter
bi
t
s: get rid of "unknow
n
_bit
_
info"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
param_ke
y
: handle &foo in swap_names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Ca
r
pen
t
er
slist
:
al
l
ocate sna
m
es for all
s
h
ow_sm() returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
ssa
:
introduce ssa
_
set_all_state
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
D
a
n Carpenter
ssa: fix the modif
i
cation hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan
Carpent
e
r
ssa: don'
t
dynamically allocate &undefin
e
d and &merged
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Da
n
Carpe
n
ter
s
t
ored_conditions
:
record
lin
k
s bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
stored_conditions: ignore
k
nown conditions more
thoroughly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan
Carpenter
type: add suppo
r
t for
p
a
r
s
ing <~ container_of
keys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-27
Dan Carpen
t
er
fu
n
ction_hooks: mov
e
code ar
o
u
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-26
Dan Ca
r
penter
implied
,
db: fix
a
b
ug faking
h
is
t
or
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Dan Carpenter
kernel_
u
ser_data:
d
elete o
b
selete comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Da
n
Carpe
n
ter
k
ernel_user
_
data
:
AND and MOD are ways to
cap da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Da
n
Carpe
n
ter
math: as
s
u
m
e
con
t
aine
r
_of()
return valid pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Dan Carpenter
s
tat
e
s: delet
e
unused
&
ghost state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Dan Car
p
enter
Documenta
t
ion/smat
c
h: update buil
d
requirements
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-06
D
a
n Carpenter
t
y
pe: handle key typ
e
f
o
r "*$" where
t
h
e parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-05
Dan Carpenter
atom
i
c_in
c
_dec:
t
wea
k
how the retur
n
stat
e
s are
ca
l
c
ulated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-05
Dan Carp
e
nter
atomic_inc_dec: improve how in
c
/
d
ec is recorded in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-05
Dan Carp
e
nter
atomic_inc_dec:
cre
a
te
separate test_id for freeing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-01
Dan Carp
e
nt
e
r
kerne
l
: del
e
te PCIBIOS_BAD_VE
N
DOR_ID
returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-01
Dan Carpenter
d
b: add a feature which lets people dele
t
e a return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-01
Da
n
Carpenter
D
o
cum
e
nt
a
t
ion: add li
b
ssl-dev and li
b
tr
y
-tiny-perl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan
C
arpenter
buf_comparison: impro
v
e h
a
ndling of binop sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
D
an Carpenter
extra: re-write get_long_n
a
m
e
_sym(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan
Car
p
en
t
e
r
kerne
l
.
ignore
d
_mac
r
os:
add ASSERT
(
)
t
o ignor
e
d
m
acros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpe
n
t
er
sma
t
c
h
_da
t
a/kernel
.
cle
a
rs_argument: ad
d
mor
e
f
uncti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpen
t
er
smatch_data/kernel
.
unreach
a
ble
.
i
gnore: add
B
UG(), WARN_ON
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
D
a
n Car
p
enter
us
e
r
_data: kvm_
r
e
ad_guest_virt
(
) i
s
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan
Carpenter
rosenberg_func
s
: war
n
about in
f
ormati
o
n
leaks to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpen
t
er
c
o
mparison: handle
c
ode like if
(
size - use
d
== 0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
D
a
n Carpenter
k
e
r
n
e
l: hook
match_fls() into the code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan
Carpent
e
r
ker
n
el: int
r
oduce
g
et_gfp_param
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-28
Dan Carpe
n
ter
expressions:
i
ntroduce get
_
parent_
s
tmt
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpe
n
ter
para
m
_key: mark g
e
t_vari
a
b
l
e_from_key()
as d
e
precat
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carp
e
nter
f
u
nction_ho
o
ks
:
update comment explai
n
in
g
various functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpenter
function_h
o
oks
:
do
n
't re
c
ord parameters == as =
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpenter
f
u
nction_hooks: introduce add_f
u
nction_param_key_hoo
k
_la
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpenter
s
tates: add
ha
s
_possib
l
e
_stat
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-18
Dan Carpenter
para
m
_
s
et: setti
n
g stac
k
data does
n
'
t
not affe
c
t
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-08
Dan
Ca
r
penter
db: add s
u
pport f
o
r
deleting and sp
l
itting retur
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-08
D
an Carpenter
db: call ca
l
ler_info hooks when lo
c
al debug is enab
l
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-02
Da
n
C
arpe
n
t
e
r
function_
h
ooks: print impos
s
i
bl
e
r
etu
r
n
i
n d
e
b
ug out
p
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-29
Dan Carpente
r
unwind: ignore drmm_add_action() p
a
t
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_prepare_enable() is h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-27
Dan Carpenter
hooks: a
d
d
DECLARATION_HOOK_AF
T
ER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-27
Dan
C
arpen
t
er
al
l
o
cation_
f
u
n
cs: add
a lot more fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-27
Dan C
a
r
p
e
n
ter
extra: prese
r
ve
h
a
rd max over LIMIT/FILTER actions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-27
Dan C
a
rpe
n
ter
fl
o
w: don't parse empty pre statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan
C
arpenter
atomic_inc_dec: make get
_
best
_
ma
t
ch() stricter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Da
n
Carpenter
atomic_inc_dec: silence s
o
me common fa
l
se po
s
i
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Da
n
Carpenter
atomic_in
c
_dec: mo
v
e custom
f
uncti
o
n hook
to
e
nd of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
atomic_inc_
d
ec: make the implied s
t
art
/
en
d
a
pointe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
atomic_inc_dec: fix n
a
mes
o
f re
f
e
rence counters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Car
p
e
nt
e
r
container_
o
f: fix th
e
build
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
D
an Carp
e
nter
free_strict: silence some kfree_skb
(
)
f
a
l
s
e pos
i
t
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan
Carpenter
po
i
n
t
s_to_user_data: ignor
e
fake call
a
ssignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Da
n
Carpen
t
er
passes_array_
s
ize: h
a
ndle "fr
o
b(skb->data, skb->len)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
db
:
expo
r
t is
_
f
n_ptr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
conditions
:
set
the
p
arent expression for fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
D
a
n C
a
r
pen
t
er
symbol: introdu
c
e lookup_macro_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-18
Dan
C
arpente
r
kernel_user_dat
a
: ignore v4l2_subdev_call()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next