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
implied: we have to make the false states match as well
2015-07-31
Dan
Carpe
n
ter
implie
d
:
w
e have to make
t
he fa
l
se s
t
at
e
s match as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
D
a
n Carpenter
err_ptr: use t
h
e
a
ct
u
al
values to silence false positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
co
m
parison:
f
i
x an oo
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpenter
fixup_kerne
l
.
s
h
:
t
r
a
ck kmal
l
oced() vs
.
text d
a
ta better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
extra: don't try to record the
state fo
r
literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan
Carp
e
nter
flow: add a ->par
e
nt member
to
st
a
tem
e
n
t
str
u
cts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
nter
r
a
nges: don't allo
w
so many inve
r
t
ed r
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
a
rpente
r
type: im
p
rove
g
e
t
_member_ty
p
e_from_key()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
extra: handl
e
arrays bett
e
r
usi
n
g the chunk
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpent
e
r
type: make ty
p
e
_to_s
t
r() handle arrays
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan C
a
rpe
n
t
e
r
helper: tiny cleanup in get_c
o
mplication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Da
n
C
a
r
penter
imp
l
ie
d
: fix bug h
a
ndling unm
a
tched im
p
licat
i
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Ca
r
p
e
nter
extra: fix chunk handli
n
g a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
D
a
n Carpenter
validation: f
i
x
a
test
a
b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
D
a
n Carpen
t
er
d
eref_check:
s
ilence s
o
me fa
l
se p
o
siti
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Car
p
e
nter
d
eref_check: remove unnec
e
ssary call to gettin
g
_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
D
an C
a
rpenter
f
ixup_
k
ern
e
l
.
sh:
fix
t
he rtlwifi
h
a
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpente
r
u
n
co
n
s
t
ant_macros: add MAP_UNINITIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpe
n
ter
ptrlist: reading
d
eleted items in N
E
XT_
P
TR_LIST()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
a
rpenter
ranges: fix h
o
w
some r
a
nges a
r
e joined together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpen
t
er
ra
n
ges:
a
voi
d
a possible integer ov
e
rflow
p
roblem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
an Carpenter
pointer_math: ALI
G
N
i
s not byte
s
, but offsetof() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_math: don't co
m
p
lai
n
if a pointer
m
a
t
h
op
e
r
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpe
n
ter
pointer_math: sil
e
nce f
a
l
se a ton of false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpent
e
r
chunk: imp
r
ov
e
expr_
t
o_chunk_sy
m
_vs
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
hel
p
er: improv
e
get_complication
_
s
c
ore()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helper: export get
_
c
o
mplication_sc
o
re()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
type: export is
_
local
_
v
ariabl
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Da
n
Carpenter
ch
u
nk: change the
API a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Car
p
enter
extra: start tracking
"
chunks"
instead of just v
a
riables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan
Carpenter
math:
give up if calcul
a
t
ing a
v
alue is too complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan
C
arpenter
implied:
t
u
rn of
f
debug messag
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan
C
arpen
t
er
chec
k
_
list
.
h: m
o
ve store
d
_
cond
i
tion_links next to stored_
c
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flow: ignore arrays wi
t
h ove
r
a 10
0
0
elements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan
C
arp
e
nter
db/fixup_kernel
.
s
h
: hack
aro
u
nd slow rtl
w
ifi test
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpent
e
r
c
app
e
d:
u
se FOR_EACH_MY_SM
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
u
s
e
r_data2: add skb_network_he
a
d
er()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
user_da
t
a2: ha
n
dle pointers to user d
a
ta bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
user_d
a
ta: add kmap_atomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
u
s
e
r_d
a
ta: s/kmem
d
up
_
user
/
memdup_us
e
r/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
te
s
t_bi
t
:
add s
e
t_bit() and clear_bit()
f
un
c
tio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
check_deref: remove call to get
t
in
g
_a
d
dress()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carp
e
nter
es
t
ate: make clone_estate() take a
NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
D
an
C
arpe
n
t
e
r
whitespace:
c
h
ange some
s
paces to tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carp
e
n
ter
deb
u
g
:
a
dd so
m
e
t
o
ol
s
for dev
e
loping t
h
e
db parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
pe
n
ter
b
uf_size: im
p
rove resizable struct ha
n
d
l
i
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
R
a
sm
u
s
Vil
l
emoes
eliminate
some cats
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: fix a bu
g
in split
r
eturns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpen
t
er
extra:
int
r
oduce get_extra_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n
Carp
e
n
t
er
smatch: cha
n
ge
al
l
remainin
g
reference
s
f
r
om warn
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ra
s
m
u
s
V
illemo
e
s
prefix smatch generated files
by smatch_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
us
V
illemoes
test_ke
r
nel
.
sh:
c
l
ean
u
p
.
c
.
s
m
atc
h
fi
l
e
s
after cat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemo
e
s
Documen
t
ation: make
m
e
l
e
ss c
o
nfu
s
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
t
r
ace_par
a
ms
.
pl: fix h
a
s
h
/
h
a
sh reference con
f
usion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
kern
e
l
.
ignored_macros: add S
N
IC_BUG_ON(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpente
r
un
r
e
a
c
h
able: ignore list_for_
e
ac
h
_
e
n
try_cont
i
nue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Ca
r
penter
extr
a
: ha
n
dle x = (u8)y; corr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Car
p
enter
im
p
lied: fix
a l
e
ak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpenter
type: handle typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carp
e
nt
e
r
m
ath: handle _
_
smat
c
h_
i
mplied(
&
foo->bar) a
l
i
tt
l
e bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
te
r
assi
g
ned
_
expr: store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Car
p
ent
e
r
func
t
ion_hooks:
f
ix vali
d
ation/sm_co
m
pa
r
e
1
5
.
c handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Carpente
r
lo
c
king: add new
down_timeout
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpen
t
er
smatch_address: fix c
o
m
p
ile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpenter
fixup
_
ke
r
nel
.
s
h
: ignore some __vfs_wri
t
e(
)
c
a
lls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
penter
f
ixup_k
e
rn
e
l: update types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Makefile:
elim
i
na
t
e a llvm-config build
w
a
r
nin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan
C
arpenter
debug: improve __s
m
atch_s
t
ates()
o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpe
n
t
e
r
flo
w
: ignore
pare
n
the
s
is i
n
prev_expression_i
s
_ge
t
ting_address(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
D
a
n Carpen
t
e
r
un
r
e
a
chable: ign
o
re netdev_for_
e
ach_lower_dev
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
D
an Carpe
n
ter
f
l
o
w: cle
a
n
u
p prev_e
x
pression_is_getting_addre
s
s()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
C
arpenter
f
low:
"&foo->bar" is not a dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
smatch_address: sep
a
r
a
t
e things
o
u
t into
.
bs
s
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new* check_test_b
i
t: check for
test
_
bit(BIT(0
)
,
&
foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
D
a
n C
a
rpen
t
e
r
type: speed
up ge
t
_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
t
ype: im
p
rove get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpenter
flow: add
a
new
e
xp
r
-
>parent struct m
e
mber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_
k
ernel:
h
a
r
d
c
o
de __spi_syn
c
() retu
r
n
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Ca
r
penter
fixup_kernel
:
kmalloc(
)
can al
l
ocate more
d
ata
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Oleg
Droki
n
check_
l
oc
k
ing
.
c
:
Fi
x
an
n
oy
i
ng in
v
isi
b
le read_unlock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan
C
arpenter
smatch_address: sor
t
poi
n
t
e
rs into dif
f
e
r
ent ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Car
p
enter
ex
t
r
a
: remov
e
so
m
e unused
f
unction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Ca
r
penter
sm
a
tch
.
h: add t
h
e comparison hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpen
t
er
ty
p
e_to_str: fix
a
crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Firo Yang
smatch
.
h: add estate_get_single_valu
e
(
)
de
c
lar
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan Ca
r
pent
e
r
i
gnore_side_effects: get_c
h
ild_rcu() doubl
e
evaluat
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Da
n
Carpenter
implied: use comparison inform
a
tio
n
for implic
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan
C
arpenter
smatch
.
h: mov
e
stree_stac
k
declaration f
r
om smatch_s
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan
Carpenter
r
o
se
n
berg: add __bui
l
tin_me
m
set/mem
c
py()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arp
e
n
ter
user_
d
ata2: han
d
le returned s
t
r
u
ct
m
embers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
comparison: update a c
o
mment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
sm
d
b
.
p
y
: update to refle
c
t
L
IMI
T
/FILTER c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
u
n
w
i
nd:
add some null checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
t
ype: inc
l
ude smatch_slist
.
h to prevent a
se
g
fault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra:
don
'
t set stat
e
s
to unknown at the beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpe
n
ter
e
x
tra: don'
t
set true f
a
lse
s
t
ates if they
are the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arp
e
nter
function_hooks: add a hac
k
around
i
n compare_db_return_
s
tate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
list: add a commen
t
about re
g
is
t
er_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an C
a
rpenter
param_limit: handle struct
mem
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nt
e
r
s
tates: white spa
c
e fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next