openharmony/arkcompiler_runtime_core
1
0
Fork 0
mirror of https://gitee.com/openharmony/arkcompiler_runtime_core synced 2025-02-22 16:15:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

!5 update verifier/verifier.h.

Browse Source 
Merge pull request !5 from OneYuan/N/A
This commit is contained in:
lphwork 2023-12-02 08:56:03 +00:00 committed by Gitee
commit e1cc6f15ec
No known key found for this signature in database
GPG Key ID: 173E9B9CA92EEF8F
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
verifier/verifier.h
View File

@ -31,10 +31,11 @@ namespace panda::verifier {
using Opcode = BytecodeInstruction::Opcode;
enum class ConstPoolType : uint8_t {
CONSTPOOLIDX = 0x00,
CONSTPOOLCONTEXT = 0x01,
COLLECTALLMETHODIDS = 0x02
enum class ActionType {
CHECKCONSTPOOL,
CHECKCONSTPOOLIDX,
CHECKCONSTPOOLCONTENT,
COLLECTMETHODIDS,
};
class Verifier {
@ -47,12 +48,14 @@ public:
bool VerifyChecksum();
bool VerifyConstantPool();
bool VerifyRegisterIndex();
bool VerifyConstantPoolIndex();
bool VerifyConstantPoolContent();
private:
void GetMethodIds();
void GetLiteralIds();
bool CheckConstantPool(verifier::ConstPoolType type);
bool CheckConstantPool(verifier::ActionType type);
size_t GetVRegCount(const BytecodeInstruction &bc_ins);
bool CheckConstantPoolActions(const verifier::ActionType type, panda_file::File::EntityId method_id);
bool VerifyMethodId(const BytecodeInstruction &bc_ins, const panda_file::File::EntityId &method_id);
bool CheckVRegIdx(const BytecodeInstruction &bc_ins, const size_t count, const uint32_t max_reg_idx);
std::optional<int64_t> GetFirstImmFromInstruction(const BytecodeInstruction &bc_ins);
@ -77,7 +80,6 @@ private:
std::unique_ptr<const panda_file::File> file_;
std::vector<panda_file::File::EntityId> method_ids_;
std::vector<panda_file::File::EntityId> all_method_ids_;
std::vector<uint32_t> literal_ids_;
static constexpr size_t DEFAULT_ARGUMENT_NUMBER = 3;
static constexpr uint32_t FILE_CONTENT_OFFSET = 12U;