| /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.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 | 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 | 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 …]
|
| D | stobj.v.yaml | 82 …description: Check that verifier reports error if a register is not initialized in PandaAssembly c…
87 tags: ['verifier']
88 runner-options: ['verifier-failure', 'verifier-config']
123 …description: Check that verifier reports error if a register is not initialized in PandaAssembly c…
128 tags: [verifier, pa-verifier]
129 runner-options: ['use-pa', 'verifier-failure', 'verifier-config']
271 …description: Check that verifier reports error when the 2nd register is not a ref to an object (ot…
277 tags: ['verifier']
278 runner-options: ['verifier-failure', 'verifier-config']
325 …description: Check that verifier reports error when the 2nd register is not a ref to an object (ot…
[all …]
|
| D | jnez.obj.yaml | 66 runner-options: ['verifier-failure', 'verifier-config']
67 tags: [verifier]
130 runner-options: ['verifier-failure', 'verifier-config']
131 tags: [verifier]
185 runner-options: ['verifier-only', 'verifier-config']
187 runner-options: ['verifier-only', 'verifier-config']
189 runner-options: ['verifier-only', 'verifier-config']
191 runner-options: ['verifier-only', 'verifier-config']
195 runner-options: ['verifier-only', 'verifier-config']
199 runner-options: ['verifier-only', 'verifier-config']
[all …]
|
| D | jeqz.obj.yaml | 66 runner-options: ['verifier-failure', 'verifier-config']
67 tags: [verifier]
130 runner-options: ['verifier-failure', 'verifier-config']
131 tags: [verifier]
185 runner-options: ['verifier-only', 'verifier-config']
187 runner-options: ['verifier-only', 'verifier-config']
189 runner-options: ['verifier-only', 'verifier-config']
191 runner-options: ['verifier-only', 'verifier-config']
195 runner-options: ['verifier-only', 'verifier-config']
199 runner-options: ['verifier-only', 'verifier-config']
[all …]
|
| D | stobj.64.yaml | 63 description: Check that verifier reports error if source registers are not initialized
68 tags: ['verifier']
70 runner-options: ['verifier-failure', 'verifier-config']
145 …description: Check that verifier reports error when the 1st operand is not a ref to an object (oth…
151 tags: ['verifier']
152 runner-options: ['verifier-failure', 'verifier-config']
188 …description: Check that verifier reports error when the field doesn't resolve to a non-static vali…
216 runner-options: ['verifier-failure', 'verifier-config']
217 tags: ['verifier']
230 tags: ['verifier']
[all …]
|
| D | jnez.yaml | 186 tags: ['verifier']
187 runner-options: ['verifier-failure', 'verifier-config']
322 tags: ['verifier']
323 runner-options: ['verifier-failure', 'verifier-config']
384 runner-options: ['verifier-failure', 'verifier-config']
385 tags: [verifier]
434 runner-options: ['verifier-only', 'verifier-config']
436 runner-options: ['verifier-only', 'verifier-config']
438 runner-options: ['verifier-only', 'verifier-config']
440 runner-options: ['verifier-only', 'verifier-config']
[all …]
|
| D | jgtz.yaml | 193 tags: ['verifier']
194 runner-options: ['verifier-failure', 'verifier-config']
331 tags: ['verifier']
332 runner-options: ['verifier-failure', 'verifier-config']
393 runner-options: ['verifier-failure', 'verifier-config']
394 tags: [verifier]
443 runner-options: ['verifier-only', 'verifier-config']
445 runner-options: ['verifier-only', 'verifier-config']
447 runner-options: ['verifier-only', 'verifier-config']
449 runner-options: ['verifier-only', 'verifier-config']
[all …]
|
| D | jeqz.yaml | 183 tags: ['verifier']
184 runner-options: ['verifier-failure', 'verifier-config']
321 tags: ['verifier']
322 runner-options: ['verifier-failure', 'verifier-config']
383 runner-options: ['verifier-failure', 'verifier-config']
384 tags: [verifier]
433 runner-options: ['verifier-only', 'verifier-config']
435 runner-options: ['verifier-only', 'verifier-config']
437 runner-options: ['verifier-only', 'verifier-config']
439 runner-options: ['verifier-only', 'verifier-config']
[all …]
|
| D | ldobj.yaml | 99 description: Check that verifier reports error if source registers are not initialized
107 tags: ['verifier']
109 runner-options: ['verifier-failure', 'verifier-config']
113 %s # verifier error expected, because the register is not initialized
207 …description: Check that verifier reports an error when the 1st operand is not a ref to an object (…
213 tags: ['verifier']
215 runner-options: ['verifier-failure', 'verifier-config']
246 …description: Check that verifier reports an error if the field doesn't resolve to a non-static val…
273 tags: ['verifier']
274 runner-options: ['verifier-failure', 'verifier-config']
[all …]
|
| D | jltz.yaml | 195 tags: ['verifier']
196 runner-options: ['verifier-failure', 'verifier-config']
334 tags: ['verifier']
335 runner-options: ['verifier-failure', 'verifier-config']
396 runner-options: ['verifier-failure', 'verifier-config']
397 tags: [verifier]
446 runner-options: ['verifier-only', 'verifier-config']
448 runner-options: ['verifier-only', 'verifier-config']
450 runner-options: ['verifier-only', 'verifier-config']
452 runner-options: ['verifier-only', 'verifier-config']
[all …]
|
| /arkcompiler/runtime_core/verification/jobs/ |
| D | thread_pool.cpp | 20 namespace panda::verifier { namespace
23 PandaString thread_name {"verifier#"}; in Init()
26 …LOG(DEBUG, VERIFIER) << "Thread ID " << panda::os::thread::GetCurrentThreadId() << " is named " <<… in Init()
40 LOG(DEBUG, VERIFIER) << "Method '" << method.GetFullName(true) << "' is already verified"; in Process()
48 LOG(INFO, VERIFIER) << "Attempt to verify " << method.GetFullName(true) in Process()
55 LOG(ERROR, VERIFIER) << "Method '" << method.GetFullName(true) in Process()
56 << "' not found in verifier cache, cannot create a job."; in Process()
62 …LOG(DEBUG, VERIFIER) << "Verification config for '" << method_name << "': " << verif_method_option… in Process()
63 …LOG(INFO, VERIFIER) << "Verifier thread #" << types_.GetThreadNum() << " started verification of m… in Process()
69 LOG(INFO, VERIFIER) << "Verification result for method " << method.GetFullName(true) in Process()
[all …]
|
| /arkcompiler/runtime_core/verification/config/ |
| D | config_load.cpp | 39 panda::verifier::debug::RegisterConfigHandlerBreakpoints(); in ProcessConfigFile()
40 panda::verifier::debug::RegisterConfigHandlerWhitelist(); in ProcessConfigFile()
41 panda::verifier::debug::RegisterConfigHandlerOptions(); in ProcessConfigFile()
42 panda::verifier::debug::RegisterConfigHandlerMethodOptions(); in ProcessConfigFile()
43 panda::verifier::debug::RegisterConfigHandlerMethodGroups(); in ProcessConfigFile()
45 panda::verifier::config::Section config; in ProcessConfigFile()
47 …bool result = panda::verifier::config::ParseConfig(text, config) && panda::verifier::config::Proce… in ProcessConfigFile()
50 LOG(DEBUG, VERIFIER) << "Verifier debug configuration: \n" << config.Image(); in ProcessConfigFile()
51 panda::verifier::debug::SetDefaultMethodOptions(); in ProcessConfigFile()
59 namespace panda::verifier::config { namespace
[all …]
|
| /arkcompiler/runtime_core/verification/verifier/ |
| D | CMakeLists.txt | 16 project(verifier) project
18 set(SOURCES verifier.cpp)
20 panda_add_executable(verifier ${SOURCES})
22 panda_add_to_clang_tidy(TARGET verifier)
24 target_include_directories(verifier PUBLIC ${PANDA_ROOT}/libpandabase/
30 target_link_libraries(verifier arkruntime arkbase)
32 panda_add_sanitizers(TARGET verifier SANITIZERS ${PANDA_SANITIZERS_LIST})
34 panda_gen_options(TARGET verifier YAML_FILE options.yaml GENERATED_HEADER
|
| /arkcompiler/runtime_core/verification/config/handlers/ |
| D | config_handler_method_options.cpp | 33 namespace panda::verifier::debug { namespace
35 using panda::verifier::config::Section;
48 LOG(ERROR, VERIFIER) << "Unexpected set of messages: '" << items << "'"; in ProcessSectionMsg()
71 LOG(ERROR, VERIFIER) << "Unexpected show option: '" << option << "'"; in ProcessSectionShow()
84 LOG(ERROR, VERIFIER) << "Cannot find uplevel options: '" << uplevel << "'"; in ProcessSectionUplevel()
108 LOG(ERROR, VERIFIER) << "Unexpected check type: '" << c << "'"; in ProcessSectionCheck()
149 … LOG(ERROR, VERIFIER) << "Failed to parse '" << name << "' under '" << section.name << "'"; in MethodOptionsProcessor()
166 …LOG(ERROR, VERIFIER) << "Unexpected section name: '" << name << "' under '" << section.name << "'"; in MethodOptionsProcessor()
172 LOG(DEBUG, VERIFIER) << options.Image(); in MethodOptionsProcessor()
193 if (!ParseConfig(panda::verifier::config::VerifierDebugDefaultConfig, cfg)) { in RegisterConfigHandlerMethodOptions()
[all …]
|