blob: 333778542819e822f52d74a4c5f56634ba7943bb [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
2 * Copyright (C) 2011 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
jeffhao10037c82012-01-23 15:06:23 -080016
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_DEX_FILE_VERIFIER_H_
18#define ART_RUNTIME_DEX_FILE_VERIFIER_H_
jeffhao10037c82012-01-23 15:06:23 -080019
jeffhao10037c82012-01-23 15:06:23 -080020#include "dex_file.h"
Elliott Hughesa0e18062012-04-13 15:59:59 -070021#include "safe_map.h"
jeffhao10037c82012-01-23 15:06:23 -080022
23namespace art {
24
25class DexFileVerifier {
26 public:
Ian Rogers8d31bbd2013-10-13 10:44:14 -070027 static bool Verify(const DexFile* dex_file, const byte* begin, size_t size,
28 const char* location, std::string* error_msg);
29
30 const std::string& FailureReason() const {
31 return failure_reason_;
32 }
jeffhao10037c82012-01-23 15:06:23 -080033
34 private:
Ian Rogers8d31bbd2013-10-13 10:44:14 -070035 DexFileVerifier(const DexFile* dex_file, const byte* begin, size_t size, const char* location)
36 : dex_file_(dex_file), begin_(begin), size_(size), location_(location),
jeffhao10037c82012-01-23 15:06:23 -080037 header_(&dex_file->GetHeader()), ptr_(NULL), previous_item_(NULL) {
38 }
39
40 bool Verify();
41
Ian Rogers8d31bbd2013-10-13 10:44:14 -070042 bool CheckShortyDescriptorMatch(char shorty_char, const char* descriptor, bool is_return_type);
43 bool CheckPointerRange(const void* start, const void* end, const char* label);
44 bool CheckListSize(const void* start, uint32_t count, uint32_t element_size, const char* label);
45 bool CheckIndex(uint32_t field, uint32_t limit, const char* label);
jeffhao10037c82012-01-23 15:06:23 -080046
Ian Rogers8d31bbd2013-10-13 10:44:14 -070047 bool CheckHeader();
48 bool CheckMap();
jeffhao10037c82012-01-23 15:06:23 -080049
50 uint32_t ReadUnsignedLittleEndian(uint32_t size);
51 bool CheckAndGetHandlerOffsets(const DexFile::CodeItem* code_item,
Ian Rogers8d31bbd2013-10-13 10:44:14 -070052 uint32_t* handler_offsets, uint32_t handlers_size);
53 bool CheckClassDataItemField(uint32_t idx, uint32_t access_flags, bool expect_static);
jeffhao10037c82012-01-23 15:06:23 -080054 bool CheckClassDataItemMethod(uint32_t idx, uint32_t access_flags, uint32_t code_offset,
Ian Rogers8d31bbd2013-10-13 10:44:14 -070055 bool expect_direct);
Ian Rogers8a6bbfc2014-01-23 13:29:07 -080056 bool CheckPadding(size_t offset, uint32_t aligned_offset);
jeffhao10037c82012-01-23 15:06:23 -080057 bool CheckEncodedValue();
58 bool CheckEncodedArray();
59 bool CheckEncodedAnnotation();
60
61 bool CheckIntraClassDataItem();
62 bool CheckIntraCodeItem();
63 bool CheckIntraStringDataItem();
64 bool CheckIntraDebugInfoItem();
65 bool CheckIntraAnnotationItem();
66 bool CheckIntraAnnotationsDirectoryItem();
67
Ian Rogers8a6bbfc2014-01-23 13:29:07 -080068 bool CheckIntraSectionIterate(size_t offset, uint32_t count, uint16_t type);
69 bool CheckIntraIdSection(size_t offset, uint32_t count, uint16_t type);
70 bool CheckIntraDataSection(size_t offset, uint32_t count, uint16_t type);
jeffhao10037c82012-01-23 15:06:23 -080071 bool CheckIntraSection();
72
Ian Rogers8a6bbfc2014-01-23 13:29:07 -080073 bool CheckOffsetToTypeMap(size_t offset, uint16_t type);
jeffhao10037c82012-01-23 15:06:23 -080074 uint16_t FindFirstClassDataDefiner(const byte* ptr) const;
75 uint16_t FindFirstAnnotationsDirectoryDefiner(const byte* ptr) const;
76
77 bool CheckInterStringIdItem();
78 bool CheckInterTypeIdItem();
79 bool CheckInterProtoIdItem();
80 bool CheckInterFieldIdItem();
81 bool CheckInterMethodIdItem();
82 bool CheckInterClassDefItem();
83 bool CheckInterAnnotationSetRefList();
84 bool CheckInterAnnotationSetItem();
85 bool CheckInterClassDataItem();
86 bool CheckInterAnnotationsDirectoryItem();
87
Ian Rogers8a6bbfc2014-01-23 13:29:07 -080088 bool CheckInterSectionIterate(size_t offset, uint32_t count, uint16_t type);
jeffhao10037c82012-01-23 15:06:23 -080089 bool CheckInterSection();
90
Ian Rogers8d31bbd2013-10-13 10:44:14 -070091 void ErrorStringPrintf(const char* fmt, ...)
92 __attribute__((__format__(__printf__, 2, 3))) COLD_ATTR;
93
94 const DexFile* const dex_file_;
95 const byte* const begin_;
96 const size_t size_;
97 const char* const location_;
98 const DexFile::Header* const header_;
jeffhao10037c82012-01-23 15:06:23 -080099
Elliott Hughesa0e18062012-04-13 15:59:59 -0700100 SafeMap<uint32_t, uint16_t> offset_to_type_map_;
jeffhao10037c82012-01-23 15:06:23 -0800101 const byte* ptr_;
102 const void* previous_item_;
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700103
104 std::string failure_reason_;
jeffhao10037c82012-01-23 15:06:23 -0800105};
106
107} // namespace art
108
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700109#endif // ART_RUNTIME_DEX_FILE_VERIFIER_H_