blob: fba1d34d05e4b501d51388d06729e81829df79dc [file] [log] [blame]
/*
* Copyright (C) 2011 The Android Open Source Project
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#include "dex_verifier.h"
#include <stdio.h>
#include "UniquePtr.h"
#include "class_linker.h"
#include "common_test.h"
#include "dex_file.h"
namespace art {
namespace verifier {
class DexVerifierTest : public CommonTest {
protected:
void VerifyClass(const std::string& descriptor) {
ASSERT_TRUE(descriptor != NULL);
Class* klass = class_linker_->FindSystemClass(descriptor.c_str());
// Verify the class
std::string error_msg;
ASSERT_TRUE(DexVerifier::VerifyClass(klass, error_msg)) << error_msg;
}
void VerifyDexFile(const DexFile* dex) {
ASSERT_TRUE(dex != NULL);
// Verify all the classes defined in this file
for (size_t i = 0; i < dex->NumClassDefs(); i++) {
const DexFile::ClassDef& class_def = dex->GetClassDef(i);
const char* descriptor = dex->GetClassDescriptor(class_def);
VerifyClass(descriptor);
}
}
};
TEST_F(DexVerifierTest, LibCore) {
VerifyDexFile(java_lang_dex_file_);
}
TEST_F(DexVerifierTest, IntMath) {
SirtRef<ClassLoader> class_loader(LoadDex("IntMath"));
Class* klass = class_linker_->FindClass("LIntMath;", class_loader.get());
std::string error_msg;
ASSERT_TRUE(DexVerifier::VerifyClass(klass, error_msg)) << error_msg;
}
TEST_F(DexVerifierTest, RegTypes_Primitives) {
RegTypeCache cache;
const RegType& bool_reg_type = cache.Boolean();
EXPECT_FALSE(bool_reg_type.IsUnknown());
EXPECT_FALSE(bool_reg_type.IsConflict());
EXPECT_FALSE(bool_reg_type.IsZero());
EXPECT_FALSE(bool_reg_type.IsOne());
EXPECT_FALSE(bool_reg_type.IsLongConstant());
EXPECT_TRUE(bool_reg_type.IsBoolean());
EXPECT_FALSE(bool_reg_type.IsByte());
EXPECT_FALSE(bool_reg_type.IsChar());
EXPECT_FALSE(bool_reg_type.IsShort());
EXPECT_FALSE(bool_reg_type.IsInteger());
EXPECT_FALSE(bool_reg_type.IsLong());
EXPECT_FALSE(bool_reg_type.IsFloat());
EXPECT_FALSE(bool_reg_type.IsDouble());
EXPECT_FALSE(bool_reg_type.IsReference());
EXPECT_FALSE(bool_reg_type.IsLowHalf());
EXPECT_FALSE(bool_reg_type.IsHighHalf());
EXPECT_FALSE(bool_reg_type.IsLongOrDoubleTypes());
EXPECT_FALSE(bool_reg_type.IsReferenceTypes());
EXPECT_TRUE(bool_reg_type.IsCategory1Types());
EXPECT_FALSE(bool_reg_type.IsCategory2Types());
EXPECT_TRUE(bool_reg_type.IsBooleanTypes());
EXPECT_TRUE(bool_reg_type.IsByteTypes());
EXPECT_TRUE(bool_reg_type.IsShortTypes());
EXPECT_TRUE(bool_reg_type.IsCharTypes());
EXPECT_TRUE(bool_reg_type.IsIntegralTypes());
EXPECT_FALSE(bool_reg_type.IsFloatTypes());
EXPECT_FALSE(bool_reg_type.IsLongTypes());
EXPECT_FALSE(bool_reg_type.IsDoubleTypes());
EXPECT_TRUE(bool_reg_type.IsArrayIndexTypes());
const RegType& byte_reg_type = cache.Byte();
EXPECT_FALSE(byte_reg_type.IsUnknown());
EXPECT_FALSE(byte_reg_type.IsConflict());
EXPECT_FALSE(byte_reg_type.IsZero());
EXPECT_FALSE(byte_reg_type.IsOne());
EXPECT_FALSE(byte_reg_type.IsLongConstant());
EXPECT_FALSE(byte_reg_type.IsBoolean());
EXPECT_TRUE(byte_reg_type.IsByte());
EXPECT_FALSE(byte_reg_type.IsChar());
EXPECT_FALSE(byte_reg_type.IsShort());
EXPECT_FALSE(byte_reg_type.IsInteger());
EXPECT_FALSE(byte_reg_type.IsLong());
EXPECT_FALSE(byte_reg_type.IsFloat());
EXPECT_FALSE(byte_reg_type.IsDouble());
EXPECT_FALSE(byte_reg_type.IsReference());
EXPECT_FALSE(byte_reg_type.IsLowHalf());
EXPECT_FALSE(byte_reg_type.IsHighHalf());
EXPECT_FALSE(byte_reg_type.IsLongOrDoubleTypes());
EXPECT_FALSE(byte_reg_type.IsReferenceTypes());
EXPECT_TRUE(byte_reg_type.IsCategory1Types());
EXPECT_FALSE(byte_reg_type.IsCategory2Types());
EXPECT_FALSE(byte_reg_type.IsBooleanTypes());
EXPECT_TRUE(byte_reg_type.IsByteTypes());
EXPECT_TRUE(byte_reg_type.IsShortTypes());
EXPECT_FALSE(byte_reg_type.IsCharTypes());
EXPECT_TRUE(byte_reg_type.IsIntegralTypes());
EXPECT_FALSE(byte_reg_type.IsFloatTypes());
EXPECT_FALSE(byte_reg_type.IsLongTypes());
EXPECT_FALSE(byte_reg_type.IsDoubleTypes());
EXPECT_TRUE(byte_reg_type.IsArrayIndexTypes());
const RegType& char_reg_type = cache.Char();
EXPECT_FALSE(char_reg_type.IsUnknown());
EXPECT_FALSE(char_reg_type.IsConflict());
EXPECT_FALSE(char_reg_type.IsZero());
EXPECT_FALSE(char_reg_type.IsOne());
EXPECT_FALSE(char_reg_type.IsLongConstant());
EXPECT_FALSE(char_reg_type.IsBoolean());
EXPECT_FALSE(char_reg_type.IsByte());
EXPECT_TRUE(char_reg_type.IsChar());
EXPECT_FALSE(char_reg_type.IsShort());
EXPECT_FALSE(char_reg_type.IsInteger());
EXPECT_FALSE(char_reg_type.IsLong());
EXPECT_FALSE(char_reg_type.IsFloat());
EXPECT_FALSE(char_reg_type.IsDouble());
EXPECT_FALSE(char_reg_type.IsReference());
EXPECT_FALSE(char_reg_type.IsLowHalf());
EXPECT_FALSE(char_reg_type.IsHighHalf());
EXPECT_FALSE(char_reg_type.IsLongOrDoubleTypes());
EXPECT_FALSE(char_reg_type.IsReferenceTypes());
EXPECT_TRUE(char_reg_type.IsCategory1Types());
EXPECT_FALSE(char_reg_type.IsCategory2Types());
EXPECT_FALSE(char_reg_type.IsBooleanTypes());
EXPECT_FALSE(char_reg_type.IsByteTypes());
EXPECT_FALSE(char_reg_type.IsShortTypes());
EXPECT_TRUE(char_reg_type.IsCharTypes());
EXPECT_TRUE(char_reg_type.IsIntegralTypes());
EXPECT_FALSE(char_reg_type.IsFloatTypes());
EXPECT_FALSE(char_reg_type.IsLongTypes());
EXPECT_FALSE(char_reg_type.IsDoubleTypes());
EXPECT_TRUE(char_reg_type.IsArrayIndexTypes());
const RegType& short_reg_type = cache.Short();
EXPECT_FALSE(short_reg_type.IsUnknown());
EXPECT_FALSE(short_reg_type.IsConflict());
EXPECT_FALSE(short_reg_type.IsZero());
EXPECT_FALSE(short_reg_type.IsOne());
EXPECT_FALSE(short_reg_type.IsLongConstant());
EXPECT_FALSE(short_reg_type.IsBoolean());
EXPECT_FALSE(short_reg_type.IsByte());
EXPECT_FALSE(short_reg_type.IsChar());
EXPECT_TRUE(short_reg_type.IsShort());
EXPECT_FALSE(short_reg_type.IsInteger());
EXPECT_FALSE(short_reg_type.IsLong());
EXPECT_FALSE(short_reg_type.IsFloat());
EXPECT_FALSE(short_reg_type.IsDouble());
EXPECT_FALSE(short_reg_type.IsReference());
EXPECT_FALSE(short_reg_type.IsLowHalf());
EXPECT_FALSE(short_reg_type.IsHighHalf());
EXPECT_FALSE(short_reg_type.IsLongOrDoubleTypes());
EXPECT_FALSE(short_reg_type.IsReferenceTypes());
EXPECT_TRUE(short_reg_type.IsCategory1Types());
EXPECT_FALSE(short_reg_type.IsCategory2Types());
EXPECT_FALSE(short_reg_type.IsBooleanTypes());
EXPECT_FALSE(short_reg_type.IsByteTypes());
EXPECT_TRUE(short_reg_type.IsShortTypes());
EXPECT_FALSE(short_reg_type.IsCharTypes());
EXPECT_TRUE(short_reg_type.IsIntegralTypes());
EXPECT_FALSE(short_reg_type.IsFloatTypes());
EXPECT_FALSE(short_reg_type.IsLongTypes());
EXPECT_FALSE(short_reg_type.IsDoubleTypes());
EXPECT_TRUE(short_reg_type.IsArrayIndexTypes());
const RegType& int_reg_type = cache.Integer();
EXPECT_FALSE(int_reg_type.IsUnknown());
EXPECT_FALSE(int_reg_type.IsConflict());
EXPECT_FALSE(int_reg_type.IsZero());
EXPECT_FALSE(int_reg_type.IsOne());
EXPECT_FALSE(int_reg_type.IsLongConstant());
EXPECT_FALSE(int_reg_type.IsBoolean());
EXPECT_FALSE(int_reg_type.IsByte());
EXPECT_FALSE(int_reg_type.IsChar());
EXPECT_FALSE(int_reg_type.IsShort());
EXPECT_TRUE(int_reg_type.IsInteger());
EXPECT_FALSE(int_reg_type.IsLong());
EXPECT_FALSE(int_reg_type.IsFloat());
EXPECT_FALSE(int_reg_type.IsDouble());
EXPECT_FALSE(int_reg_type.IsReference());
EXPECT_FALSE(int_reg_type.IsLowHalf());
EXPECT_FALSE(int_reg_type.IsHighHalf());
EXPECT_FALSE(int_reg_type.IsLongOrDoubleTypes());
EXPECT_FALSE(int_reg_type.IsReferenceTypes());
EXPECT_TRUE(int_reg_type.IsCategory1Types());
EXPECT_FALSE(int_reg_type.IsCategory2Types());
EXPECT_FALSE(int_reg_type.IsBooleanTypes());
EXPECT_FALSE(int_reg_type.IsByteTypes());
EXPECT_FALSE(int_reg_type.IsShortTypes());
EXPECT_FALSE(int_reg_type.IsCharTypes());
EXPECT_TRUE(int_reg_type.IsIntegralTypes());
EXPECT_FALSE(int_reg_type.IsFloatTypes());
EXPECT_FALSE(int_reg_type.IsLongTypes());
EXPECT_FALSE(int_reg_type.IsDoubleTypes());
EXPECT_TRUE(int_reg_type.IsArrayIndexTypes());
const RegType& long_reg_type = cache.Long();
EXPECT_FALSE(long_reg_type.IsUnknown());
EXPECT_FALSE(long_reg_type.IsConflict());
EXPECT_FALSE(long_reg_type.IsZero());
EXPECT_FALSE(long_reg_type.IsOne());
EXPECT_FALSE(long_reg_type.IsLongConstant());
EXPECT_FALSE(long_reg_type.IsBoolean());
EXPECT_FALSE(long_reg_type.IsByte());
EXPECT_FALSE(long_reg_type.IsChar());
EXPECT_FALSE(long_reg_type.IsShort());
EXPECT_FALSE(long_reg_type.IsInteger());
EXPECT_TRUE(long_reg_type.IsLong());
EXPECT_FALSE(long_reg_type.IsFloat());
EXPECT_FALSE(long_reg_type.IsDouble());
EXPECT_FALSE(long_reg_type.IsReference());
EXPECT_TRUE(long_reg_type.IsLowHalf());
EXPECT_FALSE(long_reg_type.IsHighHalf());
EXPECT_TRUE(long_reg_type.IsLongOrDoubleTypes());
EXPECT_FALSE(long_reg_type.IsReferenceTypes());
EXPECT_FALSE(long_reg_type.IsCategory1Types());
EXPECT_TRUE(long_reg_type.IsCategory2Types());
EXPECT_FALSE(long_reg_type.IsBooleanTypes());
EXPECT_FALSE(long_reg_type.IsByteTypes());
EXPECT_FALSE(long_reg_type.IsShortTypes());
EXPECT_FALSE(long_reg_type.IsCharTypes());
EXPECT_FALSE(long_reg_type.IsIntegralTypes());
EXPECT_FALSE(long_reg_type.IsFloatTypes());
EXPECT_TRUE(long_reg_type.IsLongTypes());
EXPECT_FALSE(long_reg_type.IsDoubleTypes());
EXPECT_FALSE(long_reg_type.IsArrayIndexTypes());
const RegType& float_reg_type = cache.Float();
EXPECT_FALSE(float_reg_type.IsUnknown());
EXPECT_FALSE(float_reg_type.IsConflict());
EXPECT_FALSE(float_reg_type.IsZero());
EXPECT_FALSE(float_reg_type.IsOne());
EXPECT_FALSE(float_reg_type.IsLongConstant());
EXPECT_FALSE(float_reg_type.IsBoolean());
EXPECT_FALSE(float_reg_type.IsByte());
EXPECT_FALSE(float_reg_type.IsChar());
EXPECT_FALSE(float_reg_type.IsShort());
EXPECT_FALSE(float_reg_type.IsInteger());
EXPECT_FALSE(float_reg_type.IsLong());
EXPECT_TRUE(float_reg_type.IsFloat());
EXPECT_FALSE(float_reg_type.IsDouble());
EXPECT_FALSE(float_reg_type.IsReference());
EXPECT_FALSE(float_reg_type.IsLowHalf());
EXPECT_FALSE(float_reg_type.IsHighHalf());
EXPECT_FALSE(float_reg_type.IsLongOrDoubleTypes());
EXPECT_FALSE(float_reg_type.IsReferenceTypes());
EXPECT_TRUE(float_reg_type.IsCategory1Types());
EXPECT_FALSE(float_reg_type.IsCategory2Types());
EXPECT_FALSE(float_reg_type.IsBooleanTypes());
EXPECT_FALSE(float_reg_type.IsByteTypes());
EXPECT_FALSE(float_reg_type.IsShortTypes());
EXPECT_FALSE(float_reg_type.IsCharTypes());
EXPECT_FALSE(float_reg_type.IsIntegralTypes());
EXPECT_TRUE(float_reg_type.IsFloatTypes());
EXPECT_FALSE(float_reg_type.IsLongTypes());
EXPECT_FALSE(float_reg_type.IsDoubleTypes());
EXPECT_FALSE(float_reg_type.IsArrayIndexTypes());
const RegType& double_reg_type = cache.Double();
EXPECT_FALSE(double_reg_type.IsUnknown());
EXPECT_FALSE(double_reg_type.IsConflict());
EXPECT_FALSE(double_reg_type.IsZero());
EXPECT_FALSE(double_reg_type.IsOne());
EXPECT_FALSE(double_reg_type.IsLongConstant());
EXPECT_FALSE(double_reg_type.IsBoolean());
EXPECT_FALSE(double_reg_type.IsByte());
EXPECT_FALSE(double_reg_type.IsChar());
EXPECT_FALSE(double_reg_type.IsShort());
EXPECT_FALSE(double_reg_type.IsInteger());
EXPECT_FALSE(double_reg_type.IsLong());
EXPECT_FALSE(double_reg_type.IsFloat());
EXPECT_TRUE(double_reg_type.IsDouble());
EXPECT_FALSE(double_reg_type.IsReference());
EXPECT_TRUE(double_reg_type.IsLowHalf());
EXPECT_FALSE(double_reg_type.IsHighHalf());
EXPECT_TRUE(double_reg_type.IsLongOrDoubleTypes());
EXPECT_FALSE(double_reg_type.IsReferenceTypes());
EXPECT_FALSE(double_reg_type.IsCategory1Types());
EXPECT_TRUE(double_reg_type.IsCategory2Types());
EXPECT_FALSE(double_reg_type.IsBooleanTypes());
EXPECT_FALSE(double_reg_type.IsByteTypes());
EXPECT_FALSE(double_reg_type.IsShortTypes());
EXPECT_FALSE(double_reg_type.IsCharTypes());
EXPECT_FALSE(double_reg_type.IsIntegralTypes());
EXPECT_FALSE(double_reg_type.IsFloatTypes());
EXPECT_FALSE(double_reg_type.IsLongTypes());
EXPECT_TRUE(double_reg_type.IsDoubleTypes());
EXPECT_FALSE(double_reg_type.IsArrayIndexTypes());
}
// TODO: test reference RegType
// TODO: test constant RegType
// TODO: test VerifyAgainst
// TODO: test Merge
// TODO: test Equals
// TODO: test ClassJoin
} // namespace verifier
} // namespace art