/ark/runtime_core/verification/debug/allowlist/ |
D | allowlist.h | 22 namespace panda::verifier::debug { 28 (panda::verifier::debug::InAllowlist(panda::verifier::debug::AllowlistKind::METHOD, id) || \ 29 panda::verifier::debug::InAllowlist(panda::verifier::debug::AllowlistKind::CLASS, id)) 31 … (panda::verifier::debug::InAllowlist(panda::verifier::debug::AllowlistKind::METHOD_CALL, id) || \ 32 panda::verifier::debug::InAllowlist(panda::verifier::debug::AllowlistKind::CLASS, id))
|
/ark/runtime_core/verification/debug/ |
D | config_load.cpp | 40 panda::verifier::debug::RegisterConfigHandlerBreakpoints(); in ProcessConfigFile() 41 panda::verifier::debug::RegisterConfigHandlerAllowlist(); in ProcessConfigFile() 42 panda::verifier::debug::RegisterConfigHandlerOptions(); in ProcessConfigFile() 43 panda::verifier::debug::RegisterConfigHandlerMethodOptions(); in ProcessConfigFile() 44 panda::verifier::debug::RegisterConfigHandlerMethodGroups(); in ProcessConfigFile() 46 panda::verifier::config::Section config; in ProcessConfigFile() 48 …bool result = panda::verifier::config::ParseConfig(text, config) && panda::verifier::config::Proce… in ProcessConfigFile() 51 panda::verifier::debug::SetDefaultMethodOptions(); in ProcessConfigFile() 59 namespace panda::verifier::config { namespace
|
/ark/runtime_core/tests/ |
D | CMakeLists.txt | 22 add_custom_target(verifier-tests COMMENT "Regression tests for verifier") 23 add_dependencies(tests cts-assembly cts-generator-build verifier-tests) 151 # Add a single test run for verifier to the build tree. 212 …-level=debug --log-components verifier --verification-debug-config-file ${CMAKE_CURRENT_SOURCE_DIR… 216 set(ARG_VERIFIER_OPTIONS "${ARG_VERIFIER_OPTIONS},show-status,verifier-does-not-fail") 221 … --verification-debug-config-file ${CMAKE_CURRENT_SOURCE_DIR}/cts-generator/verifier.debug.config") 370 TARGET ${target}-verifier 371 SUBDIR ${suite}-verifier 381 TARGET ${target}-verifier 382 SUBDIR ${suite}-verifier [all …]
|
/ark/runtime_core/verification/verifier/ |
D | CMakeLists.txt | 16 project(verifier) project 19 verifier.cpp 22 #add_library(verifier ${PANDA_DEFAULT_LIB_TYPE} ${SOURCES}) 24 panda_add_executable(verifier ${SOURCES}) 26 panda_add_to_clang_tidy(TARGET verifier CHECKS 39 target_include_directories(verifier 43 target_link_libraries(verifier arkruntime arkbase) 45 panda_add_sanitizers(TARGET verifier SANITIZERS ${PANDA_SANITIZERS_LIST}) 50 #add_dependencies(verifier ark)
|
D | BUILD.gn | 18 sources = [ "verifier.cpp" ] 35 output_name = "verifier" 40 ohos_prebuilt_etc("verifier.config") { 41 source = "verifier.config"
|
D | verifier.config | 3 verifier { 19 verifier {
|
/ark/js_runtime/ecmascript/tests/ |
D | js_verification_test.cpp | 65 auto verifier = Verification(heap); in HWTEST_F_L0() local 74 funcVerify(*string, verifier, heap); in HWTEST_F_L0() 78 funcVerify(*oldArray, verifier, heap); in HWTEST_F_L0() 82 funcVerify(*nonMovableArray, verifier, heap); in HWTEST_F_L0() 93 auto verifier = Verification(heap); in HWTEST_F_L0() local 103 EXPECT_TRUE(verifier.VerifyRoot() == 0); in HWTEST_F_L0()
|
/ark/runtime_core/verification/debug/breakpoint/ |
D | breakpoint.h | 22 namespace panda::verifier::debug { 30 if (panda::verifier::debug::CheckManagedBreakpoint(component, method_id, method_offset)) { \ 34 panda::verifier::debug::ManagedBreakpointPresent(component, method_id)
|
/ark/runtime_core/tests/cts-generator/ |
D | verifier.debug.config | 3 verifier { 16 verifier { 28 verifier {
|
/ark/runtime_core/verification/debug/config/ |
D | config_process.cpp | 26 using panda::verifier::config::Section; 27 using panda::verifier::debug::DebugContext; 45 namespace panda::verifier::config { namespace
|
/ark/runtime_core/verification/util/ |
D | access.h | 21 namespace panda::verifier::access { 41 static_assert(std::is_same_v<A, panda::verifier::access::ReadOnly> || \ 42 std::is_same_v<A, panda::verifier::access::ReadWrite>)
|
D | abstract_index.h | 23 namespace panda::verifier { 89 struct hash<panda::verifier::AbstractIndex<Int, Friend>> { 90 size_t operator()(const panda::verifier::AbstractIndex<Int, Friend> &i) const noexcept
|
D | index.h | 23 namespace panda::verifier { 108 struct hash<panda::verifier::Index<Int, I>> { 109 size_t operator()(const panda::verifier::Index<Int, I> &i) const noexcept
|
D | equiv_classes.h | 26 namespace panda::verifier { 304 struct hash<panda::verifier::EqClass<size_t>::ObjIndex> { 305 size_t operator()(const panda::verifier::EqClass<size_t>::ObjIndex &idx) const 307 … return std::hash<panda::verifier::AbstractIndex<size_t, panda::verifier::EqClass<size_t>>> {}( 308 … static_cast<panda::verifier::AbstractIndex<size_t, panda::verifier::EqClass<size_t>>>(idx)); 313 namespace panda::verifier {
|
D | descriptor_string.h | 27 namespace panda::verifier { 125 struct hash<panda::verifier::DescriptorString<Mode>> { 126 size_t operator()(const panda::verifier::DescriptorString<Mode> &desc_str) const noexcept
|
/ark/runtime_core/verification/type/ |
D | type_info.h | 23 namespace panda::verifier { 54 struct hash<panda::verifier::TypeInfo> { 55 size_t operator()(const panda::verifier::TypeInfo &ti) const
|
D | type_type.h | 25 namespace panda::verifier { 129 struct hash<panda::verifier::Type> { 130 size_t operator()(const panda::verifier::Type &type) const
|
/ark/runtime_core/tests/verifier-tests/ |
D | bug_2084.pa | 27 ## runner-option: verifier-failure 29 ## runner-option: tags: verifier 32 # Check that verifier reports error if source registers are not initialized 68 ldobj.64 v0, R.fu64 # verifier error expected, because the register is not initialized
|
D | bug_2086_1.pa | 29 ## runner-option: verifier-failure 31 ## runner-option: tags: verifier 34 # Check that verifier reports an error when the field doesn't resolve to a non-static valid objec…
|
D | bug_2086_2.pa | 29 ## runner-option: verifier-failure 31 ## runner-option: tags: verifier 34 # Check that verifier reports an error when the field doesn't resolve to a non-static valid objec…
|
/ark/runtime_core/verification/debug/handlers/ |
D | config_handler_allowlist.cpp | 31 namespace panda::verifier::debug { namespace 36 using panda::verifier::config::Section; 37 using panda::verifier::debug::AllowlistKind;
|
/ark/runtime_core/runtime/ |
D | method.cpp | 473 panda::verifier::JobQueue::WaitForVerification( in WaitForVerification() 486 verifier::VerificationResultCache::CacheResult(GetUniqId(), result); in SetVerified() 488 panda::verifier::JobQueue::SignalMethodVerified(); in SetVerified() 526 if (verifier::VerificationResultCache::Enabled()) { in AddJobInQueue() 527 auto status = verifier::VerificationResultCache::Check(GetUniqId()); in AddJobInQueue() 529 case verifier::VerificationResultCache::Status::OK: in AddJobInQueue() 533 case verifier::VerificationResultCache::Status::FAILED: in AddJobInQueue() 541 auto &job = panda::verifier::JobQueue::NewJob(*this); in AddJobInQueue() 551 if (!panda::verifier::FillJob(job)) { in AddJobInQueue() 557 panda::verifier::JobQueue::DisposeJob(&job); in AddJobInQueue() [all …]
|
/ark/runtime_core/verification/debug/context/ |
D | context.h | 35 namespace panda::verifier::debug { 38 …PandaUnorderedMap<PandaString, panda::verifier::callable<bool(const config::Section &)>> SectionHa…
|
/ark/runtime_core/verification/util/tests/ |
D | flags.cpp | 20 namespace panda::verifier::test { namespace 25 using F = panda::verifier::FlagsForEnum<size_t, Enum, Enum::E1, Enum::E2, Enum::E3>; in TEST()
|
/ark/runtime_core/verification/absint/ |
D | exec_context.h | 25 namespace panda::verifier { 31 struct hash<std::pair<const uint8_t *, panda::verifier::EntryPointType>> { 32 size_t operator()(const std::pair<const uint8_t *, panda::verifier::EntryPointType> &pair) const 39 namespace panda::verifier {
|