Searched refs:verifier (Results 26 - 48 of 48) sorted by relevance

12

/art/runtime/verifier/
H A Dreg_type-inl.h27 namespace verifier { namespace in namespace:art
192 } // namespace verifier
H A Dreg_type.cc35 namespace verifier { namespace in namespace:art
919 } // namespace verifier
H A Dreg_type.h43 namespace verifier { namespace in namespace:art
932 } // namespace verifier
H A Dreg_type_cache.cc31 namespace verifier { namespace in namespace:art
675 } // namespace verifier
H A Dreg_type_test.cc31 namespace verifier { namespace in namespace:art
667 } // namespace verifier
/art/runtime/
H A DAndroid.mk190 verifier/instruction_flags.cc \
191 verifier/method_verifier.cc \
192 verifier/reg_type.cc \
193 verifier/reg_type_cache.cc \
194 verifier/register_line.cc \
378 verifier/method_verifier.h
H A Dparsed_options.cc267 .WithType<verifier::VerifyMode>()
268 .WithValueMap({{"none", verifier::VerifyMode::kNone},
269 {"remote", verifier::VerifyMode::kEnable},
270 {"all", verifier::VerifyMode::kEnable},
271 {"softfail", verifier::VerifyMode::kSoftFail}})
425 // gLogVerbosity.verifier = true; // TODO: don't check this in!
H A Dcommon_throws.cc34 #include "verifier/method_verifier.h"
431 // Since we replaced the method index, we ask the verifier to tell us which
434 verifier::MethodVerifier::FindInvokedMethodAtDexPc(method, throw_dex_pc);
463 // Since we replaced the field index, we ask the verifier to tell us which
466 verifier::MethodVerifier::FindAccessedFieldAtDexPc(method, throw_dex_pc);
495 // Since we replaced the field index, we ask the verifier to tell us which
498 verifier::MethodVerifier::FindAccessedFieldAtDexPc(method, throw_dex_pc);
H A Dthread.h71 namespace verifier { namespace in namespace:art
73 } // namespace verifier
900 // Currently deoptimization invokes verifier which can trigger class loading
1092 void PushVerifier(verifier::MethodVerifier* verifier);
1093 void PopVerifier(verifier::MethodVerifier* verifier);
1509 // Current method verifier, used for root marking.
1510 verifier::MethodVerifier* method_verifier;
H A Druntime.cc140 #include "verifier/method_verifier.h"
219 verify_(verifier::VerifyMode::kNone),
333 verifier::MethodVerifier::Shutdown();
1232 verifier::MethodVerifier::Init();
1621 verifier::MethodVerifier::VisitStaticRoots(visitor);
2007 return verify_ == verifier::VerifyMode::kEnable ||
2008 verify_ == verifier::VerifyMode::kSoftFail;
2012 return verify_ == verifier::VerifyMode::kSoftFail;
H A Dthread.cc72 #include "verifier/method_verifier.h"
1491 // Dumping the Java stack involves the verifier for locks. The verifier operates under the
2874 for (auto* verifier = tlsPtr_.method_verifier; verifier != nullptr; verifier = verifier->link_) {
2875 verifier->VisitRoots(visitor, RootInfo(kRootNativeStack, thread_id));
3000 void Thread::PushVerifier(verifier::MethodVerifier* verifier) { argument
3005 PopVerifier(verifier::MethodVerifier* verifier) argument
[all...]
H A Druntime.h71 namespace verifier { namespace in namespace:art
74 } // namespace verifier
809 verifier::VerifyMode verify_;
H A Ddex_file_verifier.cc133 std::unique_ptr<DexFileVerifier> verifier(new DexFileVerifier(dex_file, begin, size, location));
134 if (!verifier->Verify()) {
135 *error_msg = verifier->FailureReason();
H A Dclass_linker.cc94 #include "verifier/method_verifier.h"
3944 // If the oat file says the class had an error, re-run the verifier. That way we will get a
3949 verifier::MethodVerifier::FailureKind verifier_failure = verifier::MethodVerifier::kNoFailure;
3953 verifier_failure = verifier::MethodVerifier::VerifyClass(self,
3964 if (preverified || verifier_failure != verifier::MethodVerifier::kHardFailure) {
3965 if (!preverified && verifier_failure != verifier::MethodVerifier::kNoFailure) {
3973 if (verifier_failure == verifier::MethodVerifier::kNoFailure) {
3974 // Even though there were no verifier failures we need to respect whether the super-class and
3982 verifier_failure = verifier
[all...]
H A Dmonitor.cc36 #include "verifier/method_verifier.h"
1209 // Ask the verifier for the dex pcs of all the monitor-enter instructions corresponding to
1212 verifier::MethodVerifier::FindLocksAtDexPc(m, dex_pc, &monitor_enter_dex_pcs);
1214 // The verifier works in terms of the dex pcs of the monitor-enter instructions.
/art/compiler/dex/quick/
H A Ddex_file_method_inliner.cc28 #include "verifier/method_verifier-inl.h"
684 bool DexFileMethodInliner::AnalyseMethodCode(verifier::MethodVerifier* verifier) { argument
686 bool success = InlineMethodAnalyser::AnalyseMethodCode(verifier, &method);
687 return success && AddInlineMethod(verifier->GetMethodReference().dex_method_index, method);
/art/runtime/base/
H A Dlogging.h57 bool verifier; member in struct:art::LogVerbosity
/art/build/
H A DAndroid.gtest.mk260 runtime/verifier/method_verifier_test.cc \
261 runtime/verifier/reg_type_test.cc \
/art/oatdump/
H A Doatdump.cc63 #include "verifier/method_verifier.h"
818 std::unique_ptr<verifier::MethodVerifier> verifier; local
820 // We need to have the handle scope stay live until after the verifier since the verifier has
825 verifier.reset(DumpVerifier(vios, hs.get(),
1110 verifier::MethodVerifier* DumpVerifier(VariableIndentationOutputStream* vios,
1123 return verifier::MethodVerifier::VerifyMethodAndDump(
/art/compiler/driver/
H A Dcompiler_driver.h51 namespace verifier { namespace in namespace:art
53 } // namespace verifier
H A Dcompiler_driver.cc73 #include "verifier/method_verifier.h"
74 #include "verifier/method_verifier-inl.h"
226 // Indicate that type information from the verifier led to devirtualization.
293 // A check-cast could be eliminated due to verifier type analysis.
299 // A check-cast couldn't be eliminated due to verifier type analysis.
623 (verifier::VERIFY_ERROR_FORCE_INTERPRETER | verifier::VERIFY_ERROR_LOCKING)) == 0 &&
902 // Let the verifier resolve as needed for the verify_only_profile case.
1102 // exceptions are resolved by the verifier when there is a catch block in an interested method.
1405 // Get type from dex cache assuming it was populated by the verifier
[all...]
/art/cmdline/
H A Dcmdline_types.h619 } else if (verbose_options[j] == "verifier") {
620 log_verbosity.verifier = true;
/art/compiler/optimizing/
H A Doptimizing_compiler.cc83 #include "verifier/method_verifier.h"
702 // the verifier must have set it, but under JIT, there's no guarantee, as we
703 // don't necessarily run the verifier.
801 || verifier::MethodVerifier::CanCompilerHandleVerificationFailure(

Completed in 404 milliseconds

12