You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
125 lines
6.1 KiB
125 lines
6.1 KiB
/* |
|
* Copyright (C) 2017 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. |
|
* |
|
* Header file of dex ir verifier. |
|
* |
|
* Compares two dex files at the IR level, allowing differences in layout, but not in data. |
|
*/ |
|
|
|
#ifndef ART_DEXLAYOUT_DEX_VERIFY_H_ |
|
#define ART_DEXLAYOUT_DEX_VERIFY_H_ |
|
|
|
#include "dex_ir.h" |
|
|
|
namespace art { |
|
// Check that the output dex file contains the same data as the original. |
|
// Compares the dex IR of both dex files. Allows the dex files to have different layouts. |
|
bool VerifyOutputDexFile(dex_ir::Header* orig_header, |
|
dex_ir::Header* output_header, |
|
std::string* error_msg); |
|
|
|
template<class T> bool VerifyIds(std::vector<std::unique_ptr<T>>& orig, |
|
std::vector<std::unique_ptr<T>>& output, |
|
const char* section_name, |
|
std::string* error_msg); |
|
bool VerifyId(dex_ir::StringId* orig, dex_ir::StringId* output, std::string* error_msg); |
|
bool VerifyId(dex_ir::TypeId* orig, dex_ir::TypeId* output, std::string* error_msg); |
|
bool VerifyId(dex_ir::ProtoId* orig, dex_ir::ProtoId* output, std::string* error_msg); |
|
bool VerifyId(dex_ir::FieldId* orig, dex_ir::FieldId* output, std::string* error_msg); |
|
bool VerifyId(dex_ir::MethodId* orig, dex_ir::MethodId* output, std::string* error_msg); |
|
|
|
bool VerifyClassDefs(std::vector<std::unique_ptr<dex_ir::ClassDef>>& orig, |
|
std::vector<std::unique_ptr<dex_ir::ClassDef>>& output, |
|
std::string* error_msg); |
|
bool VerifyClassDef(dex_ir::ClassDef* orig, dex_ir::ClassDef* output, std::string* error_msg); |
|
|
|
bool VerifyTypeList(const dex_ir::TypeList* orig, const dex_ir::TypeList* output); |
|
|
|
bool VerifyAnnotationsDirectory(dex_ir::AnnotationsDirectoryItem* orig, |
|
dex_ir::AnnotationsDirectoryItem* output, |
|
std::string* error_msg); |
|
bool VerifyFieldAnnotations(dex_ir::FieldAnnotationVector* orig, |
|
dex_ir::FieldAnnotationVector* output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
bool VerifyMethodAnnotations(dex_ir::MethodAnnotationVector* orig, |
|
dex_ir::MethodAnnotationVector* output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
bool VerifyParameterAnnotations(dex_ir::ParameterAnnotationVector* orig, |
|
dex_ir::ParameterAnnotationVector* output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
bool VerifyAnnotationSetRefList(dex_ir::AnnotationSetRefList* orig, |
|
dex_ir::AnnotationSetRefList* output, |
|
std::string* error_msg); |
|
bool VerifyAnnotationSet(dex_ir::AnnotationSetItem* orig, |
|
dex_ir::AnnotationSetItem* output, |
|
std::string* error_msg); |
|
bool VerifyAnnotation(dex_ir::AnnotationItem* orig, |
|
dex_ir::AnnotationItem* output, |
|
std::string* error_msg); |
|
bool VerifyEncodedAnnotation(dex_ir::EncodedAnnotation* orig, |
|
dex_ir::EncodedAnnotation* output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
bool VerifyAnnotationElement(dex_ir::AnnotationElement* orig, |
|
dex_ir::AnnotationElement* output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
bool VerifyEncodedValue(dex_ir::EncodedValue* orig, |
|
dex_ir::EncodedValue* output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
bool VerifyEncodedArray(dex_ir::EncodedArrayItem* orig, |
|
dex_ir::EncodedArrayItem* output, |
|
std::string* error_msg); |
|
|
|
bool VerifyClassData(dex_ir::ClassData* orig, dex_ir::ClassData* output, std::string* error_msg); |
|
bool VerifyFields(dex_ir::FieldItemVector* orig, |
|
dex_ir::FieldItemVector* output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
bool VerifyMethods(dex_ir::MethodItemVector* orig, |
|
dex_ir::MethodItemVector* output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
bool VerifyCode(dex_ir::CodeItem* orig, dex_ir::CodeItem* output, std::string* error_msg); |
|
bool VerifyDebugInfo(dex_ir::DebugInfoItem* orig, |
|
dex_ir::DebugInfoItem* output, |
|
std::string* error_msg); |
|
bool VerifyPositionInfo(dex_ir::PositionInfoVector& orig, |
|
dex_ir::PositionInfoVector& output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
bool VerifyLocalInfo(dex_ir::LocalInfoVector& orig, |
|
dex_ir::LocalInfoVector& output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
bool VerifyTries(dex_ir::TryItemVector* orig, |
|
dex_ir::TryItemVector* output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
bool VerifyHandlers(dex_ir::CatchHandlerVector* orig, |
|
dex_ir::CatchHandlerVector* output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
bool VerifyHandler(const dex_ir::CatchHandler* orig, |
|
const dex_ir::CatchHandler* output, |
|
uint32_t orig_offset, |
|
std::string* error_msg); |
|
} // namespace art |
|
|
|
#endif // ART_DEXLAYOUT_DEX_VERIFY_H_
|
|
|