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
user_data: fix returned user data from a parameter
2021-08-31
Dan Carpenter
user_data:
f
i
x returned user data fro
m
a parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan Carp
e
n
ter
validation/sm_
s
witch: upda
t
e
t
est case
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan Carpenter
p
a
r
am_ke
y
: r
e
n
ame get_
n
ame_sym_from_key
(
)
to get_name_sym_
f
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan Carpente
r
a
r
rays:
handle post op
offsets
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan Carpenter
db: cal
l
all
callba
c
ks fo
r
add_
r
eturn_info_
c
allback
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-31
Dan Ca
r
penter
make: de
l
ete cw
c
hash
/
h
ashtable
.
o
commit
|
commitdiff
|
tree
2021-08-25
Dan Carpenter
lo
c
king: silence some com
m
o
n
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-25
Dan C
a
rpenter
l
o
c
king: sil
e
nce i915 warning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-25
Dan Carpenter
vali
d
a
t
i
o
n:
u
pdate locking
t
e
sts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carpenter
smdb: add a "preempt" optio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
D
an Carpen
t
er
smdb: add an option for
s
mdb
.
py functions struct_type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan Car
p
en
t
er
s
mdb
.
p
y
:
add m
o
re types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Da
n
Carpenter
power_of_two: don't re
c
o
r
d
e
v
e
rything as a power of t
w
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan
Carpenter
db: prefer storin
g
p
aram
da
t
a over return data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Da
n
C
a
rp
e
nter
fr
e
e_param: delete a
b
l
ank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-12
Dan C
a
rpenter
check
i
n
g
_
for_null_instead_
o
f_err_ptr: s
i
le
n
ce a false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-11
Da
n
Ca
r
p
e
nt
e
r
he
l
p
e
r
:
ad
d
a short cut in expr
_
equiv()
f
or testing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-10
Dan Carpenter
uninitial
i
zed:
s
ilence false postives w
a
rnings about
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-10
Dan Carpent
e
r
ke
r
nel_print
f
: print a
w
arning for potent
i
al
pre
c
ision
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-10
D
a
n Carpenter
kern
e
l: f
i
x a
NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
Dan Carp
e
nter
db: change how inline
f
unctions which are not in
l
ineable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
D
an Carpen
t
er
impl
i
e
d: find implicat
i
ons for
ass
i
gnment co
n
ditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
Dan C
a
rpenter
k
ernel_u
s
er_data: r
e
cord when a type is se
t
to
u
ser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
D
a
n
Car
p
e
nter
extra: clean up variab
l
e use in h
a
ndle_bi
t
_test()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-06
Dan Carpenter
ext
r
a: ignore self
assignments "foo = foo;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-05
Dan Ca
r
penter
validat
i
on: update sm_switch2
.
c (remove
NU
L
L dereference
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-05
D
a
n
Car
p
enter
param_key: introduce
get_impl
i
e
d
_rl_from_call_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-04
D
an Carpenter
smatc
h
.
h
: introduce sm_pedanti
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-04
Dan Carpenter
vali
d
a
tion: delete
o
b
s
olete dev_hold() check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-04
Dan Ca
r
penter
netde
v
_priv: small tweaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-08-03
P
a
vel
S
kripkin
check_n
e
t
d
e
v
_priv:
w
arn about u
s
ing netdev priv d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-30
Dan Carpen
t
er
in
d
ex_overfl
o
w:
f
i
x
false positives when we're m
e
m
c
p
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-30
Dan Carpen
t
er
held_d
e
v: de
l
ete this
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-29
Dan Carpenter
bit
s
: fix match_assign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-29
Dan Carpe
n
ter
param_key: fix b
u
ild,
a
d
d container_of() stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-29
Dan Carpenter
bits:
g
et rid of "u
n
k
nown_bit_info
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
para
m
_key: handle &foo in swap_names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
D
a
n Carpe
n
ter
slist: allocate sna
m
e
s
for all sho
w
_sm() retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Ca
r
p
enter
ssa: introduce ssa_se
t
_
a
l
l
_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
ssa: fix
t
he modification
h
oo
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
D
a
n
Carpenter
ssa: don't
d
yn
a
m
i
ca
l
ly allocate &undefined
and &
m
e
r
ged
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
stored_
c
onditions: rec
o
rd links better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpente
r
store
d
_conditions: ig
n
or
e
know
n
conditions more thoroughly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carp
e
nter
type: a
d
d support for
p
arsing <~ con
t
ainer_of keys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-27
Da
n
C
arpenter
fun
c
tion_hooks: move code aro
u
nd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-26
Harshva
r
dhan Jha
che
c
k_do_
w
hile_loop_limit: implements checker
for d
o
_while
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-26
Dan Carpenter
implied,db: fix a bug faking his
t
ory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-22
Harshvardhan Jha
bits_clear and bits_set: Track bi
t
s c
l
eared and
s
et
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-22
Harshvardhan
Jha
extra
:
Fix handle_bit_test so
t
ha
t
null se
t
condition
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-22
Harshva
r
dha
n
Jha
power_of_two: Track v
a
ria
b
les w
h
i
c
h are powers of
two
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Dan Carpenter
kernel_u
s
er_data: delete obs
e
l
e
te com
m
en
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Dan Carpenter
kernel_user_dat
a
: AN
D
and
MOD are ways to cap
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Da
n
Ca
r
pe
n
ter
math: assume
c
onta
i
ner_of() retur
n
vali
d
point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Dan
Carp
e
nter
s
tates: delete u
n
u
s
ed
&ghost state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-19
Dan Carpenter
Documentation/smatch: update bui
l
d
r
e
quirements for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-06
Dan Carpenter
type: han
d
le key t
y
pe for "*$"
wh
e
r
e
t
he
p
arameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-05
Dan
C
a
rpent
e
r
a
tom
i
c_inc_dec
:
tweak how the
r
eturn s
t
ates are calculate
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-05
Dan
C
arpenter
atomic_inc_dec: improve how inc/dec
is recorded
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-05
Dan Carpenter
ato
m
i
c
_inc_dec: cr
e
ate
s
eparat
e
test_id for fre
e
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-01
Dan Ca
r
p
e
n
ter
kernel:
delete
P
CIBIO
S
_BAD_VENDOR_ID returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-01
Dan
C
a
rpe
n
te
r
db:
add a feat
u
re w
h
ich lets peopl
e
dele
t
e a ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-07-01
Dan Ca
r
penter
Documentati
o
n
:
add libss
l
-
dev
and li
b
try-tin
y
-perl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Da
n
Ca
r
pent
e
r
buf_comparison: improve handling of binop
s
izes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan Ca
r
penter
extra:
re-write get_long
_
name
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan C
a
rpenter
kernel
.
i
gnore
d
_mac
r
os: add ASSERT(
)
to ignored ma
c
ros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Da
n
Carpenter
smatch_data
/
kernel
.
cl
e
ar
s
_argument: add mo
r
e functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
D
an
Carp
e
n
ter
smatch_da
t
a/ker
n
el
.
unr
e
ac
h
able
.
i
g
nore: add BUG(), WARN_ON
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan
Carpente
r
user_
d
ata: k
v
m_read_guest_virt() is user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpe
n
ter
r
o
sen
b
erg_fun
c
s: warn abou
t
inform
a
tio
n
leak
s
t
o
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpenter
compa
r
ison: handle
c
ode like if (size - used =
=
0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
Da
n
Carpenter
kernel: hook match_fls(
)
into the code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-30
D
an
C
arpenter
kernel: int
r
oduce ge
t
_gfp_param(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-28
Dan Carpe
n
ter
expressions
:
introduce get_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpenter
par
a
m_key
:
mark
get_variable_fr
o
m_key() as deprecated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan
Carpenter
f
u
n
c
t
i
on_
h
ooks: up
d
at
e
comment e
x
plaining v
a
rious function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpe
n
ter
functio
n
_hooks: don't
record parameters
== as =
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
D
an Carpent
e
r
f
unction_hoo
k
s: introduce add_function_param_ke
y
_hook_
l
at
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-24
Dan
Carpenter
states:
a
dd has_possi
b
le
_
state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-18
Dan
Carpenter
pa
r
am_set: setti
n
g sta
c
k d
a
ta
d
oesn'
t
not affect the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-08
Dan Carpe
n
te
r
db: ad
d
support for delet
i
ng and s
p
litting r
e
turns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-08
Dan Car
p
enter
db
:
cal
l
call
e
r_info ho
o
ks
wh
e
n local debug is e
n
abled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-06-02
Dan Carpenter
function
_
hook
s
: print impo
s
sibl
e
retu
r
n i
n
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-29
Dan Carpenter
un
w
ind
:
ignor
e
drmm_add_
a
c
tion() paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-29
Dan Ca
r
pen
t
er
unwind: tweaks to how clk_prepare_enab
l
e
(
)
is han
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-27
Dan
Carpenter
hoo
k
s: add D
E
C
LARATI
O
N_HOOK
_
AFTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-27
D
a
n Carp
e
nter
allocation_funcs: add a lot more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-27
D
an Car
p
e
nter
e
xtra: pre
s
erve hard max ove
r
LIMIT/FIL
T
ER actions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-27
D
a
n
Carpe
n
ter
flow: do
n
't par
s
e
empt
y
pre
sta
t
emen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
atomic_inc
_
d
ec: make get_best_matc
h
(
) stricter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
D
a
n Carpente
r
a
tomic_i
n
c
_dec: si
l
ence s
o
me common
f
alse positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan
C
ar
p
ente
r
a
tomic
_
inc_dec:
m
ove custom functi
o
n
hook to end o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
at
o
mi
c
_inc_
d
ec: make the
i
mplied start/end a
pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
ato
m
ic_i
n
c_dec: fix na
m
es of reference counter
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpen
t
er
container_of
:
fix the build
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpenter
free_stric
t
: silence some
kfree_skb() fals
e
p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Carpent
e
r
points_to_user_data: ign
o
re fa
k
e cal
l
assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
D
a
n Carpenter
passes_array_
s
ize: handle "fro
b
(skb->data, skb->len
)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan
Carpenter
d
b: expo
r
t is_fn_p
t
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Ca
r
penter
conditions: s
e
t the
pare
n
t expression
f
o
r
fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2021-05-20
Dan Car
p
enter
sy
m
bo
l
: introduce lookup_ma
c
r
o_
s
y
m
bol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next