ART: Check dex file constraint A1
Test: TODO
Change-Id: I77d6c7e4d6cf47fdc0268326b30808b56b59b813
diff --git a/libdexfile/dex/dex_file_verifier.cc b/libdexfile/dex/dex_file_verifier.cc
index f69b657..80ab80f 100644
--- a/libdexfile/dex/dex_file_verifier.cc
+++ b/libdexfile/dex/dex_file_verifier.cc
@@ -1610,6 +1610,10 @@
const uint16_t* insns = accessor.Insns();
uint32_t insns_size = accessor.InsnsSizeInCodeUnits();
+ if (insns_size == 0) {
+ ErrorStringPrintf("insns_size must not be zero (%ud)", insns_size);
+ return false;
+ }
if (!CheckListSize(insns, insns_size, sizeof(uint16_t), "insns size")) {
return false;
}