Dalvik Executable format

E357602

The Dalvik Executable format is a compact bytecode format used by Android to package and run compiled application code in its runtime environment.

All labels observed (1)

Label Occurrences
Dalvik Executable format canonical 1

How this entity was disambiguated

Statements (49)

Predicate Object
instanceOf Android runtime component ⓘ
bytecode format ⓘ
file format ⓘ
alsoKnownAs .dex format ⓘ
DEX ⓘ
containedIn Android application package ⓘ
designedFor mobile devices ⓘ
resource-constrained devices ⓘ
developedFor Android platform ⓘ
linked to: Android
fileExtension .dex ⓘ
generatedBy d8 compiler ⓘ
dx tool ⓘ
hasComponent class definitions list ⓘ
data section ⓘ
field identifiers list ⓘ
header section ⓘ
method identifiers list ⓘ
prototype identifiers list ⓘ
string identifiers list ⓘ
type identifiers list ⓘ
includes bytecode instructions ⓘ
inputFrom Java class files ⓘ
instructionSet register-based ⓘ
introducedWith early versions of Android ⓘ
optimizedFor efficient verification ⓘ
fast loading ⓘ
low memory usage ⓘ
primaryUse execution of application bytecode ⓘ
packaging compiled application code ⓘ
replaces individual Java .class files in Android packages ⓘ
stillRequiredFor backward compatibility on Android ⓘ
stores annotations ⓘ
class definitions ⓘ
debug information ⓘ
field definitions ⓘ
method definitions ⓘ
string constants ⓘ
type information ⓘ
successorFormat ART compiled code representations ⓘ
OAT format ⓘ
supports exception handling metadata ⓘ
multiple classes per file ⓘ
type-safe execution ⓘ
usedBy Android Runtime ⓘ
Dalvik virtual machine ⓘ
linked to: Android Dalvik VM
usedIn Android operating system ⓘ
linked to: Android
uses little-endian encoding ⓘ
verifiedBy ART verifier ⓘ
Dalvik verifier ⓘ

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Android Runtime → inputFormat → Dalvik Executable format ⓘ
subject linked to: ART