Searched refs:MethodVerifier (Results 1 - 25 of 33) sorted by relevance

12

/art/runtime/verifier/
H A Dmethod_verifier-inl.h29 inline const DexFile::CodeItem* MethodVerifier::CodeItem() const {
33 inline RegisterLine* MethodVerifier::GetRegLine(uint32_t dex_pc) {
37 inline const InstructionFlags& MethodVerifier::GetInstructionFlags(size_t index) const {
41 inline mirror::ClassLoader* MethodVerifier::GetClassLoader() {
45 inline mirror::DexCache* MethodVerifier::GetDexCache() {
49 inline MethodReference MethodVerifier::GetMethodReference() const {
53 inline uint32_t MethodVerifier::GetAccessFlags() const {
57 inline bool MethodVerifier::HasCheckCasts() const {
61 inline bool MethodVerifier::HasVirtualOrInterfaceInvokes() const {
65 inline bool MethodVerifier
[all...]
H A Dregister_line.h31 class MethodVerifier;
55 static RegisterLine* Create(size_t num_regs, MethodVerifier* verifier) {
62 void CopyRegister1(MethodVerifier* verifier, uint32_t vdst, uint32_t vsrc, TypeCategory cat)
67 void CopyRegister2(MethodVerifier* verifier, uint32_t vdst, uint32_t vsrc)
72 void CopyResultRegister1(MethodVerifier* verifier, uint32_t vdst, bool is_reference)
77 void CopyResultRegister2(MethodVerifier* verifier, uint32_t vdst)
81 void SetResultTypeToUnknown(MethodVerifier* verifier) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
86 ALWAYS_INLINE bool SetRegisterType(MethodVerifier* verifier, uint32_t vdst,
90 bool SetRegisterTypeWide(MethodVerifier* verifier, uint32_t vdst, const RegType& new_type1,
95 void SetResultRegisterType(MethodVerifier* verifie
[all...]
H A Dregister_line-inl.h28 inline const RegType& RegisterLine::GetRegisterType(MethodVerifier* verifier, uint32_t vsrc) const {
34 inline bool RegisterLine::SetRegisterType(MethodVerifier* verifier, uint32_t vdst,
51 inline bool RegisterLine::SetRegisterTypeWide(MethodVerifier* verifier, uint32_t vdst,
69 inline void RegisterLine::SetResultTypeToUnknown(MethodVerifier* verifier) {
74 inline void RegisterLine::SetResultRegisterType(MethodVerifier* verifier, const RegType& new_type) {
88 inline void RegisterLine::CopyRegister1(MethodVerifier* verifier, uint32_t vdst, uint32_t vsrc,
105 inline void RegisterLine::CopyRegister2(MethodVerifier* verifier, uint32_t vdst, uint32_t vsrc) {
117 inline size_t RegisterLine::GetMaxNonZeroReferenceReg(MethodVerifier* verifier,
128 inline bool RegisterLine::VerifyRegisterType(MethodVerifier* verifier, uint32_t vsrc,
161 inline bool RegisterLine::VerifyMonitorStackEmpty(MethodVerifier* verifie
[all...]
H A Dmethod_verifier_test.cc40 ASSERT_TRUE(MethodVerifier::VerifyClass(self, klass, true, &error_msg) == MethodVerifier::kNoFailure)
H A Dregister_line.cc28 bool RegisterLine::CheckConstructorReturn(MethodVerifier* verifier) const {
47 const RegType& RegisterLine::GetInvocationThis(MethodVerifier* verifier, const Instruction* inst,
70 bool RegisterLine::VerifyRegisterTypeWide(MethodVerifier* verifier, uint32_t vsrc,
94 void RegisterLine::MarkRefsAsInitialized(MethodVerifier* verifier, const RegType& uninit_type,
123 void RegisterLine::MarkAllRegistersAsConflicts(MethodVerifier* verifier) {
130 void RegisterLine::MarkAllRegistersAsConflictsExcept(MethodVerifier* verifier, uint32_t vsrc) {
139 void RegisterLine::MarkAllRegistersAsConflictsExceptWide(MethodVerifier* verifier, uint32_t vsrc) {
148 std::string RegisterLine::Dump(MethodVerifier* verifier) const {
161 void RegisterLine::MarkUninitRefsAsInvalid(MethodVerifier* verifier, const RegType& uninit_type) {
170 void RegisterLine::CopyResultRegister1(MethodVerifier* verifie
[all...]
H A Dmethod_verifier.h39 class MethodVerifier;
116 uint16_t registers_size, MethodVerifier* verifier);
131 class MethodVerifier { class in namespace:art::verifier
150 static MethodVerifier* VerifyMethodAndDump(Thread* self, std::ostream& os, uint32_t method_idx,
211 MethodVerifier(Thread* self, const DexFile* dex_file, Handle<mirror::DexCache> dex_cache,
218 : MethodVerifier(self, dex_file, dex_cache, class_loader, class_def, code_item, method_idx,
222 ~MethodVerifier();
282 MethodVerifier(Thread* self, const DexFile* dex_file, Handle<mirror::DexCache> dex_cache,
772 MethodVerifier* link_;
781 DISALLOW_COPY_AND_ASSIGN(MethodVerifier);
[all...]
H A Dmethod_verifier.cc58 MethodVerifier* verifier) {
93 ALWAYS_INLINE static inline bool FailOrAbort(MethodVerifier* verifier, bool condition,
109 static void SafelyMarkAllRegistersAsConflicts(MethodVerifier* verifier, RegisterLine* reg_line) {
117 MethodVerifier::FailureKind MethodVerifier::VerifyMethod(
129 MethodVerifier::FailureKind MethodVerifier::VerifyClass(Thread* self,
167 MethodVerifier::FailureKind MethodVerifier::VerifyClass(Thread* self,
218 MethodVerifier
377 MethodVerifier::MethodVerifier(Thread* self, function in class:art::verifier::MethodVerifier
[all...]
/art/compiler/dex/
H A Dverified_method.h30 class MethodVerifier;
46 static const VerifiedMethod* Create(verifier::MethodVerifier* method_verifier, bool compile)
98 bool GenerateGcMap(verifier::MethodVerifier* method_verifier);
101 static void VerifyGcMap(verifier::MethodVerifier* method_verifier,
105 static void ComputeGcMapSizes(verifier::MethodVerifier* method_verifier,
109 void GenerateDevirtMap(verifier::MethodVerifier* method_verifier)
113 bool GenerateDequickenMap(verifier::MethodVerifier* method_verifier)
117 void GenerateSafeCastSet(verifier::MethodVerifier* method_verifier)
H A Dquick_compiler_callbacks.cc25 bool QuickCompilerCallbacks::MethodVerified(verifier::MethodVerifier* verifier) {
H A Dquick_compiler_callbacks.h40 bool MethodVerified(verifier::MethodVerifier* verifier)
H A Dverification_results.h33 class MethodVerifier;
45 bool ProcessVerifiedMethod(verifier::MethodVerifier* method_verifier)
H A Dverified_method.cc40 const VerifiedMethod* VerifiedMethod::Create(verifier::MethodVerifier* method_verifier,
89 bool VerifiedMethod::GenerateGcMap(verifier::MethodVerifier* method_verifier) {
147 void VerifiedMethod::VerifyGcMap(verifier::MethodVerifier* method_verifier,
179 void VerifiedMethod::ComputeGcMapSizes(verifier::MethodVerifier* method_verifier,
203 bool VerifiedMethod::GenerateDequickenMap(verifier::MethodVerifier* method_verifier) {
246 void VerifiedMethod::GenerateDevirtMap(verifier::MethodVerifier* method_verifier) {
321 void VerifiedMethod::GenerateSafeCastSet(verifier::MethodVerifier* method_verifier) {
H A Dverification_results.cc48 bool VerificationResults::ProcessVerifiedMethod(verifier::MethodVerifier* method_verifier) {
/art/runtime/
H A Dcompiler_callbacks.h27 class MethodVerifier;
40 virtual bool MethodVerified(verifier::MethodVerifier* verifier)
H A Dnoop_compiler_callbacks.h29 bool MethodVerified(verifier::MethodVerifier* verifier ATTRIBUTE_UNUSED) OVERRIDE {
H A Dcommon_throws.cc392 verifier::MethodVerifier::FindInvokedMethodAtDexPc(method, throw_dex_pc);
424 verifier::MethodVerifier::FindAccessedFieldAtDexPc(method, throw_dex_pc);
456 verifier::MethodVerifier::FindAccessedFieldAtDexPc(method, throw_dex_pc);
H A Dthread.h68 class MethodVerifier;
944 void PushVerifier(verifier::MethodVerifier* verifier);
945 void PopVerifier(verifier::MethodVerifier* verifier);
1270 verifier::MethodVerifier* method_verifier;
H A Dquick_exception_handler.cc208 verifier::MethodVerifier verifier(self_, h_dex_cache->GetDexFile(), h_dex_cache, h_class_loader,
H A Druntime.cc285 verifier::MethodVerifier::Shutdown();
1039 verifier::MethodVerifier::Init();
1403 verifier::MethodVerifier::VisitStaticRoots(visitor);
H A Druntime.h66 class MethodVerifier;
/art/runtime/quick/
H A Dinline_method_analyser.h34 class MethodVerifier;
159 static bool AnalyseMethodCode(verifier::MethodVerifier* verifier, InlineMethod* method)
184 static bool AnalyseIGetMethod(verifier::MethodVerifier* verifier, InlineMethod* result)
186 static bool AnalyseIPutMethod(verifier::MethodVerifier* verifier, InlineMethod* result)
192 verifier::MethodVerifier* verifier,
H A Dinline_method_analyser.cc73 bool InlineMethodAnalyser::AnalyseMethodCode(verifier::MethodVerifier* verifier,
198 bool InlineMethodAnalyser::AnalyseIGetMethod(verifier::MethodVerifier* verifier,
261 bool InlineMethodAnalyser::AnalyseIPutMethod(verifier::MethodVerifier* verifier,
329 verifier::MethodVerifier* verifier,
/art/compiler/dex/quick/
H A Ddex_file_method_inliner.h31 class MethodVerifier;
64 bool AnalyseMethodCode(verifier::MethodVerifier* verifier)
/art/compiler/jit/
H A Djit_compiler.cc133 if (verifier::MethodVerifier::VerifyMethod(method, true, &error) ==
134 verifier::MethodVerifier::kHardFailure) {
/art/oatdump/
H A Doatdump.cc810 std::unique_ptr<verifier::MethodVerifier> verifier;
1256 void DumpVRegsAtDexPc(std::ostream& os, verifier::MethodVerifier* verifier,
1305 verifier::MethodVerifier* DumpVerifier(std::ostream& os, uint32_t dex_method_idx,
1316 return verifier::MethodVerifier::VerifyMethodAndDump(
1324 void DumpCode(std::ostream& os, verifier::MethodVerifier* verifier,

Completed in 383 milliseconds

12