Added second pass which does code flow checking to verifier.
Ran this through libcore and it finds no errors, but I still need to
create tests to make sure it catches errors when it should. Also, it's
still missing 2 pieces, replacement of failing opcodes and generation of
the register map.
Change-Id: I0f4c4c20751b5b030ca44c23e1d1c2e133404e0c
diff --git a/src/dex_verifier_test.cc b/src/dex_verifier_test.cc
index e6d8096..39e14c4 100644
--- a/src/dex_verifier_test.cc
+++ b/src/dex_verifier_test.cc
@@ -18,7 +18,7 @@
Class* klass = class_linker_->FindSystemClass(descriptor);
// Verify the class
- ASSERT_TRUE(DexVerify::VerifyClass(klass));
+ ASSERT_TRUE(DexVerifier::VerifyClass(klass));
}
void VerifyDexFile(const DexFile* dex, ClassLoader* class_loader) {
@@ -41,7 +41,7 @@
TEST_F(DexVerifierTest, IntMath) {
const ClassLoader* class_loader = LoadDex("IntMath");
Class* klass = class_linker_->FindClass("LIntMath;", class_loader);
- ASSERT_TRUE(DexVerify::VerifyClass(klass));
+ ASSERT_TRUE(DexVerifier::VerifyClass(klass));
}
} // namespace art