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 Carp
e
nter
db: rec
o
rd if
t
he
D
B
is missing
i
n
f
o
r
m
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
D
a
n
Carpenter
unwind: fix requ
e
s
t
_
resource() checking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
D
an Ca
r
pen
t
er
db: split
rang
e
d implication hook
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
D
a
n
Carp
e
nter
p
aram_k
e
y: in
t
roduce get_
n
am
e
_
s
ym_from_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Da
n
Carpenter
r
a
nges:
a
dd is_err_or_null()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan Carpe
n
ter
u
nwind: re-write the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan Carpenter
param_key:
move functio
n
s to new f
i
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
Dan Carpent
e
r
hel
p
er: introduce get
_
param
_
k
ey_from_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
D
a
n Carpenter
return_to_par
a
m
:
d
e
l
e
te
d
ebug
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
Dan Carpenter
return_to_p
a
ram: F
i
x retur
n
ed function
par
s
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-10
D
a
n
Carp
e
nter
function
_
hooks: chec
k
the
r
et
u
rn from the implied_
r
eturn_hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-10
Dan
C
arpenter
f
u
nction_hooks:
re
n
ame a va
r
iable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-04
Dan
C
arpenter
d
b/kernel
.
i
n
s
e
rt: th
e
device
_
add() function sets the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-04
Dan Carpenter
db/kernel
.
inse
r
t: Insert some vmalloc() limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
D
a
n Carpenter
va
l
idation: update l
o
cking
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
Dan Carpen
t
er
M
erge git
:
//git
.
k
e
rnel
.
org/pub/scm/devel
/
sparse/sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
Dan Car
p
enter
hel
p
er:
e
x
p
o
r
t get_param_key_from_s
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
D
a
n Carpenter
l
ocking: turn off lock
i
ng chec
k
for no
n
-SMP configs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-24
G
w
e
n
dal Grig
n
o
u
M
a
k
e
file:
I
nstall datab
a
se i
n
a
s
hare directory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Dan Carpenter
free_strict/frees
_
param:
r
e-write
th
e
se checks a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Dan Carpenter
free: fix par
s
in
g
o
f p
a
r
e
nt_is_free_var_
s
y
m
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
D
a
n Carpenter
buf_size
:
add su
p
po
r
t for kv
c
all
o
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Dan
C
a
rpe
n
t
er
buf_siz
e
: improve support for
v
ariable size arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Dan
Ca
r
penter
buf_s
i
z
e
: improv
e
suppor
t
for zero
size ar
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-13
Dan Carpenter
capped: move
bi
n
op handling into a sepa
r
ate fun
c
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-13
Dan Carpenter
c
apped
:
har
d
m
a
x
do
e
s not mean
cap
p
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-11
Dan Car
p
enter
db/smdb: port it
to
p
ython
3
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-11
Dan
Car
p
enter
db/smdb:
ad
d
USER
_
PTR types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-06
Dan
C
arpenter
equ
i
v
: delete unuse
d
r
emove_from_equiv_expr() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carpente
r
u
s
er_data
:
cl
e
an up
m
atch_assign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan
Carpenter
user_da
t
a: mark
ar
r
ay
_
index_mask_nos
p
ec as capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carpenter
points_to_user_
d
ata: re
s
e
t
th
e
state to not user
data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
D
a
n
C
arpenter
db:
do
n
't stor
e
u
n
re
a
ch
a
ble calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
D
an Carpenter
d
e
re
f
erences_
p
aram:
m
a
r
k
more parameters as derefer
e
nced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carpenter
ma
t
h: array parameters c
a
n
b
e NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-03
Dan Carpente
r
points_to_user_data:
F
i
x
a se
g
fault parsing kernel
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-21
D
a
n Carp
e
n
t
er
atomic_
i
nc_dec: create a new inc_dec ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
an Carpenter
user_data/poi
n
ts_to
_
user_data: re-write u
s
er tracking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Ca
r
penter
flow:
f
ix certain
inline funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
db: create fa
k
e
assignments for
c
alls and
returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carp
e
nter
ke
r
nel: imp
r
ove handling of ke
r
nel
p
a
r
a
meters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan
C
arpenter
ke
r
nel: improve handling
f
or IS_ERR()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
a
n
Carpenter
user
_
d
a
t
a
: update a commen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpen
t
er
math: fix a compile issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
math: assume poin
t
er additions don't ov
e
rflow
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpente
r
buf_si
z
e: fa
k
e funct
i
on
assigns are always unknow
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan
C
a
rp
e
nter
math
:
add suppor
t
fo
r
_
_bui
l
tin_ffs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpe
n
ter
allocating_enough_data: sile
n
ce container_of(
)
f
a
lse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Ca
r
penter
M
erge git://git
.
kern
e
l
.
org/pub/scm/d
e
ve
l
/sparse/sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-06-19
D
a
n Carpent
e
r
type: mark
f
oo
.
bar
.
ba
z
as a loca
l
v
a
r
iable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-06-18
Dan Carpenter
ext
r
a
:
mtag: don't
store u
n
kno
w
n states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-06-08
Dan Carpe
n
te
r
db: Fix buffer
overflow in s
t
ate_n
a
me_
t
o
_param_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
D
a
n Ca
r
pen
t
er
a
t
om
i
c_inc_dec:
r
e
m
ove an u
n
used parame
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan C
a
rpenter
at
o
m
i
c
_
inc_de
c
: don't warn about
impossible
paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Ca
r
penter
atomic_inc_dec
:
ignor
e
local static variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Da
n
Carpente
r
atomic_inc_
d
ec: unknown value
s
are
not fail
u
res
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Car
p
ente
r
atomic_
i
nc_dec: don't
r
ecord increment/decreme
n
t
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
D
an Carpe
n
ter
atomic
_
inc_dec:
record po
t
e
ntial decrements as a de
c
remen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
D
a
n Carp
e
n
ter
atomic_inc_de
c
: don't
s
tore i
n
fo
r
mation in
i
m
poss
i
ble
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Ca
r
penter
at
o
mic_i
n
c_dec:
a
dd more functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
atomi
c
_inc_de
c
: don't double
s
et s
t
ates to &inc/&dec
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan
Ca
r
penter
atomic_inc_d
e
c
:
chang
e
how
u
n
m
at
c
hed
states are ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Da
n
Ca
r
p
e
nter
atomic_inc_dec: rename "ori
g
" t
o
"
s
t
art
_
state"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-20
Da
n
Carpe
n
ter
kernel_printf: pr
i
nt error po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-20
D
a
n Car
p
enter
k
e
rnel_printf: add support
f
o
r
%ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-20
Dan Carpen
t
er
k
e
rnel_
p
rintf: add
_
GNU_SOURCE
d
efine
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-19
Dan Carpent
e
r
Do
c
umentation/smatch: add a reference to the mailing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-12
John Levon
Check
f
o
r
N
U
L
L stmt in check_all_fu
n
c
_retur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-12
Dan
C
a
r
penter
buf_
s
ize: ignore certain as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-11
Dan Carpenter
atomic_i
n
c_dec:
f
i
x
compile
even
harder
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-11
Dan Carpenter
d
b: split possible state
s
even when
they're equa
l
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-07
Da
n
Car
p
ente
r
smatch:
f
ix
the co
m
pile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-07
Dan Carpenter
shift_
t
o_
z
er
o
: b
e
e
ven more c
o
n
s
ervative
(av
o
id fa
l
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpenter
deb
u
g: add
m
ore d
e
bug in
f
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Da
n
Carp
e
nter
db: d
o
n't bother
w
ith un
k
n
own sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan
C
arp
e
nt
e
r
buf_size: up
d
a
t
e
som
e
k
er
n
el functions: vz
a
lloc
(
) an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Da
n
C
arpe
n
ter
bits:
F
ix handling of |= and &=
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpente
r
b
its:
move is_loop
_
it
e
rator
(
) ea
r
l
ier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpenter
kernel: prese
r
ve
t
he sm state w
h
en
h
andling
I
S
_
E
R
R()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan
Ca
r
pe
n
ter
kern
e
l: fix a ty
p
e bug handling err_cast()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan C
a
rpenter
ke
r
n
e
l: add su
p
po
r
t
for closure_ca
l
l(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan
C
arpenter
buf_s
i
ze
:
check
p
o
i
nt
e
r size earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan
C
arpenter
buf_siz
e
: fix handlin
g
of unknown flexible array
s
izes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpenter
buf_size: ignore zero re
t
urns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Da
n
Carpe
n
ter
extra: fix compil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan
Car
p
e
n
te
r
extra: delete some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carp
e
nter
b
u
il
d
_ke
r
nel
_
data
.
sh
:
pr
i
nt a mess
a
ge after th
e
kernel
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan
C
a
rpenter
db/ker
n
el
.
return_fixe
s
: ww_mu
t
ex_lock() can't return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Car
p
ent
e
r
c
a
p
pe
d
: handl
e
& and % slight
l
y
differ
e
ntly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan
C
arpenter
db/return
_
states
:
fix call_id type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
db/cre
a
t
e
_db
.
sh:
silenc
e
warning wh
e
n -p option i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
D
an Ca
r
penter
mar
k
_fun
c
tion_pt
r
s_searchable: m
a
rk m
o
re func
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
D
a
n Carpenter
con
t
ainer_of: fix import
i
ng the mtag data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
D
an Carpenter
e
s
tate: check hard max
in es
t
ates
_
e
q
uiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
D
a
n Carpenter
estate: add a ->
n
ew flag
t
o t
r
ac
k
new sta
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpent
e
r
h
e
lper: export
get_arra
y
_expression(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
Ca
r
pe
n
t
er
i
m
plied: fi
x
parsing for PARAM_LIMIT
i
mpl
i
cati
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Ca
r
pe
n
ter
i
mpli
e
d: non-merged states have
n
o i
m
p
l
ications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
Carpenter
type: impr
o
ve ge
t
_member
_
t
ype_fr
o
m_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Car
p
e
n
ter
typ
e
_
v
al: ignore "idr_find"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next