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: record if the DB is missing information
2020-09-16
Dan Carpenter
db: record if the DB is mis
s
ing infor
m
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-16
Dan Carpenter
unwind: fix request_resou
r
ce(
)
c
hecking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-16
Dan Carpenter
d
b
: split ranged impl
i
cation
hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-15
Dan
C
arpenter
param_key: int
r
oduce
ge
t
_nam
e
_sym_fro
m
_key()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-15
Dan Carpenter
r
ang
e
s: add
i
s
_err_or_null()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-15
Dan
C
arpen
t
er
u
n
wind:
r
e-w
r
it
e
the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-15
Dan Car
p
enter
param_key: move functions to new file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-11
Dan
Carpenter
he
l
per
:
in
t
roduce get_param_key
_
fr
o
m_var_
s
y
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-11
D
an Carpenter
r
eturn_to_param: del
e
t
e
d
e
b
ug co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-11
Dan
C
arpe
n
t
e
r
retu
r
n_t
o
_pa
r
am:
F
ix return
e
d func
t
ion parsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-10
D
an
C
arpenter
function_hooks: check the
r
e
turn
f
r
o
m the im
p
li
e
d_retur
n
_hoo
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-10
D
a
n Carpente
r
function_hooks: rename a varia
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-04
Dan Ca
r
penter
db/ke
r
n
e
l
.
insert: the device_
a
dd()
function sets the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-04
Dan Carpenter
db/kernel
.
ins
e
rt: Inse
r
t some vmall
o
c(
)
limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-01
D
an Ca
r
pente
r
validation: update lockin
g
t
e
sts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-01
D
a
n
Car
p
enter
Merge git://git
.
kernel
.
org/p
u
b/s
c
m/devel/sparse/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-01
Dan Carpenter
helper: expo
r
t ge
t
_param_key_f
r
om_s
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-09-01
Da
n
C
arpenter
l
ockin
g
: turn
o
f
f
loc
k
ing ch
e
c
k
f
o
r non-SMP co
n
fig
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-14
Dan Carpenter
f
r
ee_strict/frees_param:
re-write th
e
s
e checks
a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-14
D
a
n Carpenter
free:
f
i
x pars
i
ng of pare
n
t_is
_
free_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-14
Dan Carpe
n
ter
buf_size: add
support for kvcalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-14
Dan
Car
p
enter
buf_size: improve support for vari
a
ble size arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-14
D
a
n Carpenter
buf_size: improv
e
support for z
e
ro size array
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-13
Dan Carpente
r
capped: move bin
o
p
handling
i
nto
a sepa
r
at
e
f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-13
Dan Carpenter
c
a
pped: har
d
m
ax does not mean capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-11
D
an C
a
rpenter
db/smdb
:
port it to python3
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-11
Dan
Carpent
e
r
db/smdb: ad
d
U
SER_PTR types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-06
Dan
Ca
r
pent
e
r
equiv: delete unused
r
emov
e
_fro
m
_equi
v
_expr() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-05
Da
n
Car
p
enter
us
e
r_
d
ata: c
l
ean up m
a
tch_assign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-05
Dan
Carpe
n
ter
user_data: ma
r
k a
r
ray_index_mask_nosp
e
c as capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-05
D
an Carpenter
p
o
ints_to_user_dat
a
: reset
t
he state t
o
not
u
ser d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-05
Dan Ca
r
penter
db: don't store unre
a
chable calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-05
Dan C
a
rpenter
deref
e
re
n
ces_param: mar
k
m
o
r
e
parameters
as dereferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-05
D
an Carpe
n
t
er
m
a
t
h: array paramete
r
s can be NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-08-03
Dan
C
ar
p
enter
points_to_user_
d
ata
:
Fi
x
a
s
e
gf
a
ul
t
pa
r
sing
k
ernel
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-21
Dan Carpe
n
t
e
r
atomi
c
_inc_dec:
cr
e
at
e
a
n
ew inc_de
c
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
user_data/points_to_user_data:
r
e-
w
rite user tr
a
cking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
flow: fix certa
i
n inlin
e
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
db:
c
r
eate fa
k
e as
s
ignments for calls a
n
d re
t
urn
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-14
Dan
Carpenter
kernel: impro
v
e handling of kernel parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-14
D
an C
a
rpe
n
ter
k
ernel:
im
p
ro
v
e ha
n
dling for
I
S_ERR(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpen
t
er
user_data: upda
t
e a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
math
:
fix a compile issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-14
Dan
C
arpenter
math: assu
m
e
p
oi
n
ter a
d
d
itions d
o
n't overflow
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
b
uf
_
size: fake func
t
i
o
n assigns
a
re always unknown
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
m
a
th: a
d
d s
u
pport
for __builtin
_
ffs(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-14
Dan
C
arpen
t
e
r
alloca
t
ing
_
enough_
d
a
ta: silenc
e
c
o
ntainer_of() fal
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpent
e
r
Merge git:/
/
g
i
t
.
kernel
.
org/pu
b
/scm/devel/sparse/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-06-19
Dan
Carpenter
type: mar
k
foo
.
bar
.
baz as a
local variab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-06-18
Dan Car
p
enter
extra: mtag: don't store unknown states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-06-08
Dan
Carpenter
d
b:
Fi
x
b
uffer ove
r
flow in state_nam
e
_to_param_
n
ame()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
a
t
o
mic_i
n
c_dec: remove an unused paramet
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-26
Dan
Carp
e
nter
atomic_inc_d
e
c: don't wa
r
n ab
o
ut
impos
s
ib
l
e paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-26
Dan Ca
r
pent
e
r
atomi
c
_inc_dec:
igno
r
e local static variab
l
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carp
e
nter
a
tomic_inc_dec
:
unknown value
s
are not failur
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpe
n
t
er
ato
m
ic
_
inc_de
c
: do
n
't record
increment/decrement if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-26
Dan Car
p
e
n
ter
a
t
omic_
i
nc_
d
ec: record potential decreme
n
t
s
a
s
a
d
ecrement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-26
D
a
n Carpenter
atomic_inc_dec: don't store information in impos
s
i
ble
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-26
D
a
n Carp
e
nter
at
o
mic_inc_dec: add m
o
re fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
a
t
omic
_
i
nc_de
c
:
d
on't d
o
uble set states to &
i
nc/&dec
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-26
Da
n
Car
p
enter
atomic_inc_dec
:
chang
e
how
unmat
c
hed states are hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-26
Dan C
a
rpenter
a
tomic_
i
nc_dec: re
n
ame "orig" to "start_state"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-20
D
an Car
p
e
n
ter
kernel_p
r
i
n
t
f: print
error p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-20
Dan C
a
rpenter
kerne
l
_printf: add
support for %ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-20
D
a
n Carpenter
kernel_printf: add _G
N
U_SOUR
C
E def
i
ne
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-19
Dan Carpent
e
r
D
ocumen
t
ation/
s
match: add a r
e
ference to the mailing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-12
D
a
n Carpenter
buf_size: ign
o
re certa
i
n assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-11
D
a
n Carpen
t
er
atomic_inc_
d
ec: f
i
x comp
i
le
e
ven hard
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-11
D
an Carpen
t
er
db: spli
t
p
os
s
ibl
e
states
e
ven w
h
en they're equal to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-07
Dan Car
p
ente
r
smatc
h
: f
i
x the compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-07
Dan Ca
r
penter
s
hift_to_zero: b
e
even
more
c
onservative (avoid fal
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpe
n
ter
debug: a
d
d more deb
u
g
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpenter
db:
d
on'
t
bother with unknown s
i
zes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpenter
bu
f
_siz
e
: update some kernel
f
unctions: vzal
l
oc() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-06
Dan Car
p
enter
b
i
ts: Fix handling of |= and &=
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-06
Dan
C
arpent
e
r
bits: move is_loop_
i
terato
r
() earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpen
t
er
kernel: preserv
e
t
h
e s
m
st
a
te when
h
a
ndling IS_
E
RR()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-06
Dan Car
p
en
t
er
kernel: fix a
t
ype bug
h
andling err_
c
ast(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carp
e
nte
r
k
e
r
nel: add support
f
o
r
clo
s
ure_call()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpent
e
r
buf_si
z
e: c
h
eck point
e
r size
earl
i
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpent
e
r
buf_size:
f
ix h
a
nd
l
ing of un
k
nown flexible
a
r
ray sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan
C
a
r
pent
e
r
buf_
s
ize: ignore z
e
r
o
re
t
ur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan
C
a
rpen
t
er
extra: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpenter
extr
a
: delete some
d
e
ad
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
D
a
n Carpente
r
build_
k
er
n
el_dat
a
.
sh: pr
i
nt a message after the
k
erne
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan Car
p
e
nter
d
b
/kerne
l
.
re
t
urn_fixes:
ww_mutex_lock() can't return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
D
an Carpent
e
r
c
a
pped: h
a
nd
l
e & and
% slightly
d
iffer
e
ntly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
db/ret
u
rn_states:
f
i
x call_id ty
p
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpente
r
db/create_db
.
sh: si
l
ence
warning when -p option
isn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
m
a
rk_fu
n
ction_ptrs_searchabl
e
: mark more
f
u
n
c
tion
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
D
a
n
Ca
r
p
ente
r
co
n
tainer_of: fix importing the
mt
a
g data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
estate: ch
e
ck
hard m
a
x
i
n est
a
tes_equi
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
D
an Carpenter
estate:
a
d
d
a ->ne
w
flag
t
o track
n
ew states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
Car
p
ente
r
helpe
r
: export get_arr
a
y_expres
s
ion
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpente
r
implied: fix parsi
n
g for PARAM_LIMIT implic
a
ti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
impl
i
ed: n
o
n-merg
e
d st
a
te
s
have n
o
impli
c
ation
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carp
e
nt
e
r
type: impro
v
e get_m
e
mbe
r
_typ
e
_from_key()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpe
n
ter
t
ype_val: ignore "idr_find"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan C
a
rpenter
i
m
plied:
tur
n
on debug_implied wh
e
n reg
u
lar d
e
bu
g
is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
Ca
r
p
e
nter
e
rr_
p
tr:
delete dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next