Lines Matching refs:Verifier
25 Verifier::Verifier(const std::string &filename)
31 bool Verifier::Verify()
48 bool Verifier::CollectIdInfos()
61 bool Verifier::VerifyChecksum()
73 bool Verifier::VerifyConstantPool()
95 bool Verifier::VerifyRegisterIndex()
138 bool Verifier::VerifyConstantPoolIndex()
152 bool Verifier::VerifyConstantPoolContent()
170 void Verifier::GetConstantPoolIds()
184 void Verifier::GetLiteralIds()
202 void Verifier::PushToLiteralIds(T &ids)
209 bool Verifier::CheckConstantPoolActions(const verifier::ActionType type, panda_file::File::EntityId method_id)
225 bool Verifier::CollectIdInInstructions(const panda_file::File::EntityId &method_id)
264 void Verifier::CollectModuleLiteralId(const panda_file::File::EntityId &field_id)
273 bool Verifier::CheckConstantPool(const verifier::ActionType type)
304 size_t Verifier::GetVRegCount(const BytecodeInstruction &bc_ins)
314 bool Verifier::IsRangeInstAndHasInvalidRegIdx(const BytecodeInstruction &bc_ins,
338 bool Verifier::IsRegIdxOutOfBounds(uint64_t reg_idx, uint64_t valid_regs_num)
348 bool Verifier::CheckVRegIdx(const BytecodeInstruction &bc_ins, const size_t count, uint64_t valid_regs_num)
365 bool Verifier::VerifyMethodId(const uint32_t &method_id) const
377 bool Verifier::VerifyLiteralId(const uint32_t &literal_id) const
389 bool Verifier::VerifyStringId(const uint32_t &string_id) const
401 std::optional<int64_t> Verifier::GetFirstImmFromInstruction(const BytecodeInstruction &bc_ins)
413 std::optional<uint64_t> Verifier::GetSlotNumberFromAnnotation(panda_file::MethodDataAccessor &method_accessor)
433 bool Verifier::VerifyMethodIdInLiteralArray(const uint32_t &id)
444 bool Verifier::VerifyStringIdInLiteralArray(const uint32_t &id)
461 bool Verifier::VerifyLiteralIdInLiteralArray(const uint32_t &id)
471 bool Verifier::VerifySingleLiteralArray(const panda_file::File::EntityId &literal_id)
553 bool Verifier::IsModuleLiteralId(const panda_file::File::EntityId &id) const
558 bool Verifier::VerifyLiteralArrays()
569 bool Verifier::PrecomputeInstructionIndices(const BytecodeInstruction &bc_ins_start,
590 bool Verifier::IsMethodBytecodeInstruction(const BytecodeInstruction &bc_ins_cur)
598 bool Verifier::VerifyJumpInstruction(const BytecodeInstruction &bc_ins, const BytecodeInstruction &bc_ins_last,
639 bool Verifier::GetIcSlotFromInstruction(const BytecodeInstruction &bc_ins, uint32_t &first_slot_index,
666 bool Verifier::VerifyCatchBlocks(panda_file::CodeDataAccessor::TryBlock &try_block, const BytecodeInstruction &bc_ins,
714 bool Verifier::VerifyTryBlocks(panda_file::CodeDataAccessor &code_accessor, const BytecodeInstruction &bc_ins,
765 bool Verifier::VerifySlotNumber(panda_file::MethodDataAccessor &method_accessor, const uint32_t &slot_number,
782 bool Verifier::VerifyMethodRegisterIndex(panda_file::CodeDataAccessor &code_accessor,
799 bool Verifier::VerifyMethodInstructions(const MethodInfos &infos)
848 bool Verifier::CheckConstantPoolMethodContent(const panda_file::File::EntityId &method_id)
899 bool Verifier::CheckConstantPoolIndex() const
922 std::optional<uint64_t> Verifier::SafeAdd(uint64_t a, uint64_t b) const