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
surface form: Android platform
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 (ART)
surface form: Android Runtime

Android Dalvik VM
surface form: Dalvik virtual machine
usedIn Android
surface form: Android operating system
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.

ART inputFormat Dalvik Executable format
subject surface form: Android Runtime