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
db/fixup_kernel.sh: delete some USER_DATA
2021-09-01
Dan Carpenter
db/fixu
p
_kernel
.
sh: delet
e
some US
E
R_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-09-01
D
an Carpenter
db/
f
i
x
u
p_
k
ernel
.
sh: remov
e
wo
r
k_struct->func
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-09-01
Dan
C
arpenter
db/fixup_ke
r
nel
.
sh: updat
e
vfs_wr
i
te() code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-09-01
Da
n
Carpent
e
r
db/ker
n
e
l
.
insert
.
retu
r
n_sta
t
es: add some functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-09-01
Dan
Carpenter
db/kernel
.
return_fix
e
s
: add som
e
mo
r
e functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-09-01
Dan Car
p
ent
e
r
db/mtag_info
.
schema: add
a UN
I
QU
E
c
onstraint
and add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-09-01
Da
n
C
arpenter
db: keep
the r
e
t
urn states from
strlen and sprintf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-09-01
Dan Carpenter
sleeping i
n
atomic: add s
o
me ne
w
check
s
to
w
arn ab
o
ut
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-09-01
Dan Carpenter
fun
c
t
ion_hooks: don't call
b
oth DB
an
d
implied return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-09-01
D
an Carpen
t
er
s
m
a
tch: introd
u
ce s
t
an
d
ard
hook types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-31
Dan Carp
e
n
ter
db/smdb
.
py: r
e
-wr
i
te p
r
eempt call trees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-31
Dan C
a
rpenter
va
l
id
a
tion/s
m
_
implied6
.
c: delete obso
l
ete test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-31
Dan C
a
rpen
t
er
user_data: fix re
t
urned user data
f
rom a
paramete
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-31
Dan
C
a
r
penter
v
a
lidation/
s
m_swi
t
ch: u
p
date te
s
t case
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-31
Dan Carpenter
pa
r
am_key: r
e
name get_name_sym_f
r
om_ke
y
()
t
o g
e
t_name_
s
ym_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-31
Dan Carpenter
arrays: h
a
ndle pos
t
op off
s
ets
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-31
Dan
Carpen
t
e
r
db: c
a
ll all callbacks for add_return_i
n
f
o
_c
a
llback
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-31
Dan C
a
rpe
n
ter
make: delete cwchash/hashtable
.
o
commit
|
commitdiff
|
tree
2021-08-25
Dan Carpente
r
loc
k
ing: silenc
e
some common false pos
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-25
Dan
Ca
r
pe
n
ter
loc
k
ing: si
l
e
nce
i915 warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-25
Dan Carpenter
validation: update
locking te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-12
Dan C
a
rpenter
smdb: a
d
d a "preem
p
t" option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carp
e
nter
smdb:
a
dd an option
for smdb
.
py functions struc
t
_type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carpenter
sm
d
b
.
py
:
add m
o
re ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carpenter
power_of_
t
wo: don't recor
d
ever
y
thing as
a p
o
wer of two
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-12
Dan
Carpenter
db: pr
e
fer storing param data over return da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-12
Dan Carpe
n
ter
f
ree_param: delet
e
a blank
l
i
ne
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-12
D
an Carpenter
check
i
ng_for_null
_
instead_of_err_ptr
:
s
ilence a f
a
lse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-11
D
a
n
Car
p
en
t
er
help
e
r: add a short cut in expr_equiv() fo
r
t
e
s
ting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-10
Dan Carpe
n
ter
un
i
nitialized: sil
e
n
ce fa
l
se postives warnings about
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-10
Dan Carpenter
k
ernel_printf
:
print a warn
i
n
g
for po
t
ential precision
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-10
Dan
Carpenter
kernel: fix a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-06
Dan
Carp
e
nt
e
r
d
b: ch
a
nge h
o
w inli
n
e functions
which are no
t
i
nlineable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-06
Dan
Carpenter
i
m
plied: find implications
f
or assignment c
o
nditio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-06
Dan Carpenter
kernel
_
u
s
er_data:
r
ecord when
a ty
p
e is s
e
t to user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-06
D
a
n Carpenter
e
x
t
ra: cle
a
n up va
r
i
able
use in
h
andle_bit_test()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-06
Dan Carp
e
nter
e
x
tra:
ignore self
assignments "foo = foo;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-05
Dan Carpen
t
er
validatio
n
: update sm_switch2
.
c
(
remove NULL de
r
eferen
c
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-05
Dan
Carpenter
param_key: introduce get_implied_r
l
_from_call_st
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-04
Dan
Car
p
enter
sma
t
c
h
.
h:
introd
u
ce
sm_peda
n
tic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-04
Dan Carpente
r
val
i
dat
i
on: delet
e
o
b
solete dev_hol
d
() ch
e
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-04
Dan Carpe
n
ter
n
e
t
d
ev_priv: small tweaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-08-03
Pavel S
k
ripkin
che
c
k_netd
e
v_priv: warn
a
bout using netdev priv data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-30
D
a
n
Carpenter
i
ndex_over
f
low:
f
ix f
a
lse positi
v
es when we're me
m
cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-30
Dan Carpenter
held
_
dev: d
e
lete this chec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-29
Dan Carpente
r
bits: fix matc
h
_assign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-29
Da
n
Carpenter
param_key: fix build, ad
d
containe
r
_of() stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-29
Dan Carpenter
bits: get
r
id of "unknown_b
i
t_info"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpen
t
er
param_ke
y
: handle &foo in sw
a
p_names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
slist:
allocate snames for a
l
l show_s
m
() returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-28
Dan C
a
r
penter
ssa: introduce s
s
a
_set_all
_
states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
s
s
a
:
f
i
x the modifi
c
ation hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carp
e
nter
s
sa: don't dynamically allocat
e
&undefi
n
ed and &merge
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
sto
r
ed_
c
ondit
i
ons: r
e
co
r
d
li
n
ks
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-28
Dan Carpenter
sto
r
ed_conditions
:
ignore know
n
co
n
ditions
more tho
r
oughly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-28
Dan
C
a
r
pent
e
r
type:
a
dd su
p
por
t
f
o
r pa
r
s
i
ng <~
c
o
ntainer_of keys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-27
Dan Carpen
t
er
fun
c
tion_hooks
:
move code aroun
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-26
Harshvardhan
J
ha
c
h
eck_do_while_loop_limit:
implements ch
e
cker fo
r
d
o
_w
h
ile
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-26
Dan
Carpente
r
im
p
l
i
e
d
,db: fix a
b
ug faking histor
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-22
Harshvard
h
an Jha
bits_c
l
ear and bits_set: Track bi
t
s cle
a
r
ed and set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-22
Harsh
v
ardhan Jha
extra: Fix
h
a
ndle_bit_test so that null set con
d
ition
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-22
Ha
r
shvar
d
han Jha
po
w
er
_
of_t
w
o: Track
variables w
h
ich are powe
r
s of
two
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-19
Dan Carpenter
kernel_user_
d
ata:
d
e
let
e
obsele
t
e
comme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-19
Dan Carpenter
kernel_user_data: AN
D
and MOD ar
e
ways to cap data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-19
Dan
Carpenter
m
a
th: assume
con
t
ainer_of() return va
l
id poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-19
Dan Carpenter
states: delete unuse
d
&ghos
t
s
tate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-19
Dan Carpen
t
er
D
o
cumentati
o
n/smatch: up
d
ate build requirements for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-06
Dan Carpenter
type: han
d
le key type for
"
*
$"
w
h
e
re the paramet
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-05
Dan Carpenter
atomic_inc_dec: tweak how t
h
e ret
u
rn sta
t
es are
c
a
lcu
l
ated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-05
Dan C
a
rpenter
atomic_inc_de
c
:
i
mpr
o
ve how inc/dec is recorded in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-05
Dan Carpenter
atomi
c
_in
c
_dec: create
separate tes
t
_id for
freeing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-01
Dan
C
a
r
penter
kernel: delete PCIBIOS_BA
D
_VENDOR_
I
D returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-01
Dan Carpent
e
r
db: add a featu
r
e which lets people delete a return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-07-01
D
a
n Carpe
n
ter
Documentation: add
libssl
-
dev an
d
li
b
t
ry-tiny-perl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-30
Da
n
Carpenter
buf
_
co
m
par
i
s
on: improve handli
n
g of bin
o
p size
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-30
D
an Car
p
en
t
er
extra: r
e
-write get_long_
n
ame_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpenter
kern
e
l
.
ignored
_
ma
c
ro
s
: add ASSERT() to igno
r
e
d
mac
r
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-30
Dan C
a
rpenter
sm
a
tch_data/kernel
.
clears_argument: ad
d
more functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpenter
s
match_data/kernel
.
unreachable
.
ignore: add
BUG(), WARN_ON
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-30
Da
n
Carpenter
user
_
data:
k
vm_read_g
u
est_virt() i
s
user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpenter
r
o
senberg
_
funcs: warn ab
o
ut informat
i
on leaks to
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpenter
comparison: ha
n
d
le code like if (si
z
e - used
== 0
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpe
n
ter
ke
r
nel: hook match
_
fls(
)
into the code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-30
Dan Carpenter
k
e
rnel: intr
o
duce get_gfp_param()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-28
D
a
n
C
a
r
penter
ex
p
ressions: introduce
get
_
parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpenter
param_key: m
a
rk get_variab
l
e_f
r
om_key() as deprecated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpent
e
r
function_hoo
k
s
: update co
m
ment explaining various function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-24
D
a
n
C
arp
e
nt
e
r
func
t
ion_hooks: don't reco
r
d paramet
e
rs == as =
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-24
Da
n
Carpenter
function_hooks: introd
u
ce add_function_param_k
e
y_hook_late()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-24
Dan Carpen
t
er
s
t
ates: add has_po
s
sible_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-18
D
a
n Car
p
enter
para
m
_
set: setting
stack data does
n
't not affect the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-08
Dan Carpenter
db: add support for deleting and split
t
ing returns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-08
Dan Carpenter
db: call ca
l
l
e
r
_
info hooks
w
he
n
local debug is enabled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-06-02
Dan
Carpenter
function
_
h
o
oks: print im
p
oss
i
ble
r
eturn in debug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-05-29
D
an Carpen
t
er
unwind: i
g
nore drmm_add_ac
t
ion() paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-05-29
Dan Carpenter
u
nw
i
n
d
:
t
weaks to h
o
w clk_prepare_enabl
e
() i
s
hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-05-27
Dan Carpente
r
hooks:
add DECLARATION
_
HOOK_AFTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-05-27
Dan Carpenter
allocation_funcs: add
a
l
ot more f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-05-27
Dan Carpenter
extr
a
:
p
r
eserve hard
m
ax
over LIMIT/
F
I
LTER actions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-05-27
D
a
n Car
p
enter
flow: do
n
't pa
r
se e
m
p
ty pre statem
e
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next