| /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 {
|