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