| /arkcompiler/runtime_core/static_core/tests/cts-generator/cts-template/ |
| D | throw.yaml | 64 description: Check that verifier report error when the register is not initialized
72 runner-options: ['verifier-failure', 'verifier-config']
73 tags: ['verifier']
153 runner-options: ['verifier-failure', 'verifier-config']
154 tags: ['verifier']
519 …description: "Check that the verifier prohibits a fallthrough to the beginning of open-ended excep…
523 tags: ['verifier']
546 runner-options: ['verifier-failure', 'verifier-config']
549 runner-options: ['verifier-failure', 'verifier-config']
552 runner-options: ['verifier-failure', 'verifier-config']
[all …]
|
| D | stobj.v.obj.yaml | 53 description: Check that verifier reports error if source registers are not initialized.
58 tags: ['verifier']
59 runner-options: ['verifier-failure', 'verifier-config']
133 Check that verifier reports error when the 2nd operand is not a ref to
140 tags: ['verifier']
141 runner-options: ['verifier-failure', 'verifier-config']
168 Check that verifier reports error when the field doesn't resolve to
175 tags: ['verifier']
176 runner-options: ['verifier-failure', 'verifier-config']
238 Check that verifier reports error when v1 contains a value of type
[all …]
|
| D | stobj.obj.yaml | 58 description: Check that verifier reports error if source registers are not initialized
63 tags: ['verifier']
65 runner-options: ['verifier-failure', 'verifier-config']
133 …description: Check that verifier reports error when the 1st operand is not a ref to an object (oth…
139 tags: ['verifier']
141 runner-options: ['verifier-failure', 'verifier-config']
172 …description: Check that verifier reports error when the field doesn't resolve to a non-static obje…
179 tags: ['verifier']
180 runner-options: ['verifier-failure', 'verifier-config']
250 …description: Check that verifier reports error when the accumulator contains a value of type not c…
[all …]
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | throw.yaml | 78 description: Check that verifier report error when the register is not initialized
86 runner-options: ['verifier-failure', 'verifier-config']
87 tags: ['verifier']
207 runner-options: ['verifier-failure', 'verifier-config']
208 tags: ['verifier']
260 runner-options: ['verifier-failure', 'verifier-config', 'use-pa']
261 tags: [verifier, pa-verifier]
1069 …description: "Check that the verifier prohibits a fallthrough to the beginning of open-ended excep…
1073 tags: ['verifier']
1097 runner-options: ['verifier-failure', 'verifier-config']
[all …]
|
| D | ststatic.64.yaml | 60 description: Check that verifier reports an error if accumulator is not initialized
65 tags: ['verifier']
67 runner-options: ['verifier-failure', 'verifier-config']
71 # acc (value) not initialized, verifier error expected
76 …description: Check that verifier reports an error when the field_id doesn't resolve to a static va…
109 tags: [verifier]
110 runner-options: ['verifier-failure', 'verifier-config']
114 tags: [verifier]
115 runner-options: ['verifier-failure', 'verifier-config']
119 tags: [verifier]
[all …]
|
| D | ststatic.obj.yaml | 102 description: Check that verifier reports an error if accumulator is not initialized
107 tags: ['verifier']
109 runner-options: ['verifier-failure', 'verifier-config']
113 # acc (value) not initialized, verifier error expected
119 …description: Check that verifier reports error when the field_id doesn't resolve to a static valid…
152 tags: [verifier]
153 runner-options: ['verifier-failure', 'verifier-config']
157 tags: [verifier]
158 runner-options: ['verifier-failure', 'verifier-config']
162 tags: [verifier]
[all …]
|
| D | ldobj.64.yaml | 98 …description: Check that verifier reports error if source registers are not initialized in Panda co…
106 tags: ['verifier']
108 runner-options: ['verifier-failure', 'verifier-config']
112 %s # verifier error expected, because the register is not initialized
125 …description: Check that verifier reports error if source registers are not initialized in PandaAss…
133 tags: [verifier, pa-verifier]
135 runner-options: ['verifier-failure', 'verifier-config', 'use-pa']
139 %s # verifier error expected, because the register is not initialized
211 …description: Check that verifier reports an error when the 1st operand is not a ref to an object (…
217 tags: ['verifier']
[all …]
|
| D | ldobj.v.64.yaml | 98 …description: Check that verifier reports error if source registers are not initialized in Panda co…
106 tags: ['verifier']
108 runner-options: ['verifier-failure', 'verifier-config']
112 %s # verifier error expected, because v2 is not initialized
123 …description: Check that verifier reports error if source registers are not initialized in PandaAss…
131 tags: [verifier, pa-verifier]
133 runner-options: ['verifier-failure', 'verifier-config', 'use-pa']
137 %s # verifier error expected, because v2 is not initialized
209 …description: Check that verifier reports an error when the 2nd operand is not a ref to an object (…
215 tags: ['verifier']
[all …]
|
| D | ststatic.yaml | 60 description: Check that verifier reports an error if accumulator is not initialized
65 tags: ['verifier']
67 runner-options: ['verifier-failure', 'verifier-config']
71 # acc (value) not initialized, verifier error expected
76 …description: Check that verifier reports an error if the field_id doesn't resolve to a static vali…
109 tags: [verifier]
110 runner-options: ['verifier-failure', 'verifier-config']
114 tags: [verifier]
115 runner-options: ['verifier-failure', 'verifier-config']
119 tags: [verifier]
[all …]
|
| D | ldstatic.64.yaml | 73 …description: Check that verifier reports an error when the field doesn't resolve to a static valid…
105 tags: [verifier]
106 runner-options: ['verifier-failure', 'verifier-config']
110 tags: [verifier]
111 runner-options: ['verifier-failure', 'verifier-config']
115 tags: [verifier]
116 runner-options: ['verifier-failure', 'verifier-config']
120 tags: [verifier]
121 runner-options: ['verifier-failure', 'verifier-config']
125 tags: [verifier]
[all …]
|
| D | ldstatic.obj.yaml | 104 …description: Check that verifier reports error when the field doesn't resolve to a static valid fi…
136 tags: [verifier]
137 runner-options: ['verifier-failure', 'verifier-config']
141 tags: [verifier]
142 runner-options: ['verifier-failure', 'verifier-config']
146 tags: [verifier]
147 runner-options: ['verifier-failure', 'verifier-config']
151 tags: [verifier]
152 runner-options: ['verifier-failure', 'verifier-config']
156 tags: [verifier]
[all …]
|
| D | stobj.v.obj.yaml | 82 description: Check that verifier reports error if source registers are not initialized.
87 tags: ['verifier']
88 runner-options: ['verifier-failure', 'verifier-config']
213 Check that verifier reports error when the 2nd operand is not a ref to
220 tags: ['verifier']
221 runner-options: ['verifier-failure', 'verifier-config']
250 Check that verifier reports error when the 2nd operand is not a ref to
257 tags: [verifier, pa-verifier]
258 runner-options: ['use-pa', 'verifier-failure', 'verifier-config']
287 Check that verifier reports error when the field doesn't resolve to
[all …]
|
| D | stobj.obj.yaml | 102 description: Check that verifier reports error if source registers are not initialized
107 tags: ['verifier']
109 runner-options: ['verifier-failure', 'verifier-config']
229 …description: Check that verifier reports error when the 1st operand is not a ref to an object (oth…
235 tags: ['verifier']
237 runner-options: ['verifier-failure', 'verifier-config']
271 …description: Check that verifier reports error when the field doesn't resolve to a non-static obje…
278 tags: ['verifier']
279 runner-options: ['verifier-failure', 'verifier-config']
351 …description: Check that verifier reports error when the accumulator contains a value of type not c…
[all …]
|
| D | ldstatic.yaml | 72 …description: Check that verifier reports an error if the field doesn't resolve to a static valid f…
104 tags: [verifier]
105 runner-options: ['verifier-failure', 'verifier-config']
109 tags: [verifier]
110 runner-options: ['verifier-failure', 'verifier-config']
114 tags: [verifier]
115 runner-options: ['verifier-failure', 'verifier-config']
119 tags: [verifier]
120 runner-options: ['verifier-failure', 'verifier-config']
124 tags: [verifier]
[all …]
|
| D | stobj.v.64.yaml | 81 …description: Check that verifier reports error if a register is not initialized in PandaAssembly c…
86 tags: ['verifier']
87 runner-options: ['verifier-failure', 'verifier-config']
122 …description: Check that verifier reports error if a register is not initialized in PandaAssembly c…
127 tags: [verifier, pa-verifier]
128 runner-options: ['use-pa', 'verifier-failure', 'verifier-config']
244 Check that verifier reports error when the 2nd operand is not a ref to an
251 tags: ['verifier']
252 runner-options: ['verifier-failure', 'verifier-config']
286 Check that verifier reports error when the 2nd operand is not a ref to an
[all …]
|
| /arkcompiler/runtime_core/static_core/verification/config/ |
| D | config_load.cpp | 36 bool ProcessConfigFile(ark::verifier::Config *cfg, const char *text) in ProcessConfigFile()
38 ark::verifier::debug::RegisterConfigHandlerBreakpoints(cfg); in ProcessConfigFile()
39 ark::verifier::debug::RegisterConfigHandlerWhitelist(cfg); in ProcessConfigFile()
40 ark::verifier::debug::RegisterConfigHandlerOptions(cfg); in ProcessConfigFile()
41 ark::verifier::debug::RegisterConfigHandlerMethodOptions(cfg); in ProcessConfigFile()
42 ark::verifier::debug::RegisterConfigHandlerMethodGroups(cfg); in ProcessConfigFile()
44 ark::verifier::config::Section section; in ProcessConfigFile()
47 …ark::verifier::config::ParseConfig(text, section) && ark::verifier::config::ProcessConfig(cfg, sec… in ProcessConfigFile()
49 LOG(DEBUG, VERIFIER) << "Verifier debug configuration: \n" << section.Image(); in ProcessConfigFile()
50 ark::verifier::debug::SetDefaultMethodOptions(cfg); in ProcessConfigFile()
[all …]
|
| /arkcompiler/runtime_core/verifier/ |
| D | verifier.cpp | 18 #include "verifier.h"
23 namespace panda::verifier { namespace
25 Verifier::Verifier(const std::string &filename) in Verifier() function in panda::verifier::Verifier
31 bool Verifier::Verify() in Verify()
48 bool Verifier::CollectIdInfos() in CollectIdInfos()
51 LOG(ERROR, VERIFIER) << "Failed to verify empty abc file!"; in CollectIdInfos()
58 return CheckConstantPool(verifier::ActionType::COLLECTINFOS); in CollectIdInfos()
61 bool Verifier::VerifyChecksum() in VerifyChecksum()
64 LOG(ERROR, VERIFIER) << "Failed to verify empty abc file!"; in VerifyChecksum()
73 bool Verifier::VerifyConstantPool() in VerifyConstantPool()
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/playground/backend/tests/fixtures/ |
| D | overrides.py | 25 …async def compile_run_arkts(code: str, options: list, disasm: bool = False, verifier: bool = False…
39 "verifier": None
48 if verifier:
49 res["verifier"] = {
50 "output": f"Verifier testing output: {code}",
51 "error": f"Verifier testing error: {code}",
57 async def compile_arkts(code: str, options: list, disasm: bool = False, verifier: bool = False):
65 "verifier": None
74 if verifier:
75 res["verifier"] = {
[all …]
|
| /arkcompiler/runtime_core/static_core/verification/verifier/ |
| D | CMakeLists.txt | 16 project(verifier) project
18 set(SOURCES verifier.cpp)
20 panda_add_executable(verifier ${SOURCES})
22 panda_target_include_directories(verifier PUBLIC ${PANDA_ROOT}/libpandabase/
28 panda_target_link_libraries(verifier arkruntime arkbase)
30 panda_add_sanitizers(TARGET verifier SANITIZERS ${PANDA_SANITIZERS_LIST})
32 panda_gen_options(TARGET verifier YAML_FILE options.yaml GENERATED_HEADER
|
| /arkcompiler/runtime_core/static_core/tests/tests-u-runner-2/cfg/workflows/ |
| D | panda-aot.yaml | 21 # es2panda and verifier
24 verifier-timeout: 30
26 enable-verifier: True
33 heap-verifier: fail_on_verification
49 enable-verifier: ${parameters.enable-verifier}
51 verifier-timeout: ${parameters.verifier-timeout}
55 heap-verifier: ${parameters.heap-verifier}
65 heap-verifier: ${parameters.heap-verifier}
|
| D | panda-aot-pgo.yaml | 21 # es2panda and verifier
24 verifier-timeout: 30
26 enable-verifier: True
35 heap-verifier: fail_on_verification
46 enable-verifier: ${parameters.enable-verifier}
48 verifier-timeout: ${parameters.verifier-timeout}
52 heap-verifier: ${parameters.heap-verifier}
64 heap-verifier: ${parameters.heap-verifier}
|
| D | panda-int.yaml | 22 # es2panda and verifier
25 verifier-timeout: 30
27 enable-verifier: True
34 heap-verifier: fail_on_verification
45 enable-verifier: ${parameters.enable-verifier}
47 verifier-timeout: ${parameters.verifier-timeout}
53 heap-verifier: ${parameters.heap-verifier}
|
| D | panda-jit.yaml | 22 # es2panda and verifier
25 verifier-timeout: 30
27 enable-verifier: True
33 heap-verifier: fail_on_verification
50 enable-verifier: ${parameters.enable-verifier}
52 verifier-timeout: ${parameters.verifier-timeout}
57 heap-verifier: ${parameters.heap-verifier}
|
| D | only-es2panda.yaml | 21 enable-verifier: True
37 verifier-timeout: 30
38 verifier-config: "${URUNNER_PATH}/runner/suites/ets-verifier.config"
50 verifier:
51 executable-path: ${parameters.build}/bin/verifier
52 timeout: ${parameters.verifier-timeout}
53 enabled: ${parameters.enable-verifier}
54 step-type: verifier
58 - "--config-file=${parameters.verifier-config}"
|
| /arkcompiler/runtime_core/verifier/tests/ |
| D | verify_checksum_test.cpp | 16 #include "verifier.h"
27 namespace panda::verifier { namespace
45 panda::verifier::Verifier ver {file_name};
59 panda::verifier::Verifier ver {base_file_name};
80 panda::verifier::Verifier ver {target_file_name};
95 panda::verifier::Verifier ver {base_file_name};
114 panda::verifier::Verifier ver {target_file_name};
120 }; // namespace panda::verifier
|