Home
last modified time | relevance | path

Searched refs:verifier (Results 1 – 25 of 173) sorted by relevance

1234567

/ark/runtime_core/verification/debug/allowlist/
Dallowlist.h22 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/
Dconfig_load.cpp40 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/
DCMakeLists.txt22 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/
DCMakeLists.txt16 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)
DBUILD.gn18 sources = [ "verifier.cpp" ]
35 output_name = "verifier"
40 ohos_prebuilt_etc("verifier.config") {
41 source = "verifier.config"
Dverifier.config3 verifier {
19 verifier {
/ark/js_runtime/ecmascript/tests/
Djs_verification_test.cpp65 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/
Dbreakpoint.h22 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/
Dverifier.debug.config3 verifier {
16 verifier {
28 verifier {
/ark/runtime_core/verification/debug/config/
Dconfig_process.cpp26 using panda::verifier::config::Section;
27 using panda::verifier::debug::DebugContext;
45 namespace panda::verifier::config { namespace
/ark/runtime_core/verification/util/
Daccess.h21 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>)
Dabstract_index.h23 namespace panda::verifier {
89 struct hash<panda::verifier::AbstractIndex<Int, Friend>> {
90 size_t operator()(const panda::verifier::AbstractIndex<Int, Friend> &i) const noexcept
Dindex.h23 namespace panda::verifier {
108 struct hash<panda::verifier::Index<Int, I>> {
109 size_t operator()(const panda::verifier::Index<Int, I> &i) const noexcept
Dequiv_classes.h26 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 {
Ddescriptor_string.h27 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/
Dtype_info.h23 namespace panda::verifier {
54 struct hash<panda::verifier::TypeInfo> {
55 size_t operator()(const panda::verifier::TypeInfo &ti) const
Dtype_type.h25 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/
Dbug_2084.pa27 ## 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
Dbug_2086_1.pa29 ## 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…
Dbug_2086_2.pa29 ## 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/
Dconfig_handler_allowlist.cpp31 namespace panda::verifier::debug { namespace
36 using panda::verifier::config::Section;
37 using panda::verifier::debug::AllowlistKind;
/ark/runtime_core/runtime/
Dmethod.cpp473 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/
Dcontext.h35 namespace panda::verifier::debug {
38 …PandaUnorderedMap<PandaString, panda::verifier::callable<bool(const config::Section &)>> SectionHa…
/ark/runtime_core/verification/util/tests/
Dflags.cpp20 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/
Dexec_context.h25 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 {

1234567