git.osdn.net Git - android-x86/art.git/commit

author	David Brazdil <dbrazdil@google.com>
	Tue, 19 Jan 2016 14:25:29 +0000 (14:25 +0000)
committer	David Brazdil <dbrazdil@google.com>
	Mon, 1 Feb 2016 12:18:48 +0000 (12:18 +0000)
commit	68b5c0b677bae53b3bae5d1890e21fae527f3df3
tree	0bfdef080978ba7f5c264aa4ab269a07e9949771	tree \| snapshot
parent	7f1551d28b3674799a4bb2b198bf6b16f32082af	commit \| diff

ART: Disallow uses of uninitialized references

The following instructions accepted uninitialized reference types
as their arguments:
- instance-of
- check-cast
- throw
- iput-object (stored value argument)
- sput-object
- invoke-* (non-this arguments)

Monitor-enter and monitor-exit are allowed.

Bug: 26594149

Change-Id: I2a4decb1fba274b8969b17bc237ac0fd19b93c80

13 files changed:

runtime/verifier/method_verifier.cc		diff \| blob \| history
runtime/verifier/reg_type-inl.h		diff \| blob \| history
runtime/verifier/register_line-inl.h		diff \| blob \| history
test/800-smali/expected.txt		diff \| blob \| history
test/800-smali/smali/b_26594149_1.smali	[new file with mode: 0644]	blob
test/800-smali/smali/b_26594149_2.smali	[new file with mode: 0644]	blob
test/800-smali/smali/b_26594149_3.smali	[new file with mode: 0644]	blob
test/800-smali/smali/b_26594149_4.smali	[new file with mode: 0644]	blob
test/800-smali/smali/b_26594149_5.smali	[new file with mode: 0644]	blob
test/800-smali/smali/b_26594149_6.smali	[new file with mode: 0644]	blob
test/800-smali/smali/b_26594149_7.smali	[new file with mode: 0644]	blob
test/800-smali/smali/b_26594149_8.smali	[new file with mode: 0644]	blob
test/800-smali/src/Main.java		diff \| blob \| history

art

RSS Atom

About OSDN

Find Software

Develop Software

Help