| /arkcompiler/runtime_core/static_core/docs/bc_verification/ |
| D | absint_checks.md | 1 ## Checks performed on abstract interpretation stage
5 This type of checks eliminate rutime problems with undefined bits in integers, truncation issues, e…
7 From security point of view, this checks guarantee expected ranges of values in code and absence of…
10 ### Access checks
12 Checks for private/protected/public access rights.
14 These checks prevent unintended/unexpected access from one method to another.
17 ### Checks of subtyping
19 Checks of compatibility of objects in arguments to instructions and actual parameters to methods.
21 These checks eliminate calls of methods with incorrect `this`, wrong access to arrays, etc.
23 ### Checks of exception handlers
[all …]
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | absint_checks.md | 1 ## Checks performed on abstract interpretation stage
5 This type of checks eliminate rutime problems with undefined bits in integers, truncation issues, e…
7 From security point of view, this checks guarantee expected ranges of values in code and absence of…
10 ### Access checks
12 Checks for private/protected/public access rights.
14 These checks prevent unintended/unexpected access from one method to another.
17 ### Checks of subtyping
19 Checks of compatibility of objects in arguments to instructions and actual parameters to methods.
21 These checks eliminate calls of methods with incorrect `this`, wrong access to arrays, etc.
23 ### Checks of exception handlers
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/test/unit/public/ |
| D | ast_verifier_short_test.cpp | 58 auto checks = ark::es2panda::compiler::ast_verifier::InvariantNameSet {}; in TEST_F()
59 checks.insert(check); in TEST_F()
60 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F()
74 auto checks = ark::es2panda::compiler::ast_verifier::InvariantNameSet {}; in TEST_F()
75 checks.insert(check); in TEST_F()
76 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F()
90 auto checks = InvariantNameSet {}; in TEST_F()
91 checks.insert(check); in TEST_F()
92 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F()
105 auto checks = InvariantNameSet {}; in TEST_F()
[all …]
|
| D | ast_verifier_private_access_negative_test_1_4.cpp | 50 InvariantNameSet checks; in TEST_F() local
51 checks.insert("ModifierAccessValidForAll"); in TEST_F()
52 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
55 ASSERT_NE(checks.find(messages[0].Invariant()), checks.end()); in TEST_F()
88 InvariantNameSet checks; in TEST_F() local
89 checks.insert("ModifierAccessValidForAll"); in TEST_F()
90 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
93 ASSERT_NE(checks.find(messages[0].Invariant()), checks.end()); in TEST_F()
127 InvariantNameSet checks; in TEST_F() local
128 checks.insert("ModifierAccessValidForAll"); in TEST_F()
[all …]
|
| D | ast_verifier_protected_access_negative_test_1_3.cpp | 51 InvariantNameSet checks; in TEST_F() local
52 checks.insert("ModifierAccessValidForAll"); in TEST_F()
53 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
56 ASSERT_NE(checks.find(messages[0].Invariant()), checks.end()); in TEST_F()
90 InvariantNameSet checks; in TEST_F() local
91 checks.insert("ModifierAccessValidForAll"); in TEST_F()
92 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
95 ASSERT_NE(checks.find(messages[0].Invariant()), checks.end()); in TEST_F()
129 InvariantNameSet checks; in TEST_F() local
130 checks.insert("ModifierAccessValidForAll"); in TEST_F()
[all …]
|
| D | ast_verifier_identifier_has_variable_test.cpp | 47 InvariantNameSet checks; in TEST_F() local
48 checks.insert("IdentifierHasVariableForAll"); in TEST_F()
49 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
80 InvariantNameSet checks; in TEST_F() local
81 checks.insert("IdentifierHasVariableForAll"); in TEST_F()
82 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
105 InvariantNameSet checks; in TEST_F() local
106 checks.insert("IdentifierHasVariableForAll"); in TEST_F()
107 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
131 InvariantNameSet checks; in TEST_F() local
[all …]
|
| D | ast_verifier_private_access_negative_test_5_7.cpp | 65 InvariantNameSet checks; in TEST_F() local
66 checks.insert("ModifierAccessValidForAll"); in TEST_F()
67 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
70 ASSERT_NE(checks.find(messages[0].Invariant()), checks.end()); in TEST_F()
118 InvariantNameSet checks; in TEST_F() local
119 checks.insert("ModifierAccessValidForAll"); in TEST_F()
120 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
123 ASSERT_NE(checks.find(messages[0].Invariant()), checks.end()); in TEST_F()
171 InvariantNameSet checks; in TEST_F() local
172 checks.insert("ModifierAccessValidForAll"); in TEST_F()
[all …]
|
| D | ast_verifier_protected_access_negative_test_4_6.cpp | 65 InvariantNameSet checks; in TEST_F() local
66 checks.insert("ModifierAccessValidForAll"); in TEST_F()
67 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
70 ASSERT_NE(checks.find(messages[0].Invariant()), checks.end()); in TEST_F()
118 InvariantNameSet checks; in TEST_F() local
119 checks.insert("ModifierAccessValidForAll"); in TEST_F()
120 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
123 ASSERT_NE(checks.find(messages[0].Invariant()), checks.end()); in TEST_F()
171 InvariantNameSet checks; in TEST_F() local
172 checks.insert("ModifierAccessValidForAll"); in TEST_F()
[all …]
|
| D | ast_verifier_variable_has_scope_test.cpp | 46 InvariantNameSet checks; in TEST_F() local
47 checks.insert("VariableHasScopeForAll"); in TEST_F()
48 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
85 InvariantNameSet checks; in TEST_F() local
86 checks.insert("VariableHasScopeForAll"); in TEST_F()
87 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
114 InvariantNameSet checks; in TEST_F() local
115 checks.insert("VariableHasScopeForAll"); in TEST_F()
116 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
151 InvariantNameSet checks; in TEST_F() local
[all …]
|
| D | ast_verifier_reference_typeannotation_test.cpp | 53 InvariantNameSet checks; in TEST_F() local
54 checks.insert("ReferenceTypeAnnotationIsNullForAll"); in TEST_F()
56 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
80 InvariantNameSet checks; in TEST_F() local
81 checks.insert("ReferenceTypeAnnotationIsNullForAll"); in TEST_F()
82 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
103 InvariantNameSet checks; in TEST_F() local
104 checks.insert("ReferenceTypeAnnotationIsNullForAll"); in TEST_F()
105 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
| D | ast_verifier_variable_has_enclosing_scope_test.cpp | 49 InvariantNameSet checks; in TEST_F() local
50 checks.insert("VariableHasEnclosingScopeForAll"); in TEST_F()
51 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
78 InvariantNameSet checks; in TEST_F() local
79 checks.insert("VariableHasEnclosingScopeForAll"); in TEST_F()
80 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
104 InvariantNameSet checks; in TEST_F() local
105 checks.insert("VariableHasEnclosingScopeForAll"); in TEST_F()
106 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
| D | ast_verifier_every_child_has_valid_parent_test.cpp | 44 InvariantNameSet checks; in TEST_F() local
45 checks.insert("EveryChildHasValidParentForAll"); in TEST_F()
46 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
69 InvariantNameSet checks; in TEST_F() local
70 checks.insert("EveryChildHasValidParentForAll"); in TEST_F()
71 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
| D | ast_verifier_check_infinite_loop_test.cpp | 100 InvariantNameSet checks; in TEST_P() local
101 checks.insert("CheckInfiniteLoopForAll"); in TEST_P()
102 const auto &messages = verifier.Verify(ast, checks); in TEST_P()
157 InvariantNameSet checks; in TEST_P() local
158 checks.insert("CheckInfiniteLoopForAll"); in TEST_P()
159 const auto &messages = verifier.Verify(ast, checks); in TEST_P()
|
| /arkcompiler/runtime_core/static_core/plugins/ets/stdlib/escompat/ |
| D | Global.sts | 73 * Checks if Double is `NaN` (not a number)
84 * Checks if double is `NaN` (not a number)
95 * Checks if `Float` value is `NaN` (not a number)
106 * Checks if `float` value is `NaN` (not a number)
117 * Checks if `byte` value is `NaN` (not a number)
126 * Checks if `int` value is `NaN` (not a number)
135 * Checks if `short` value is `NaN` (not a number)
144 * Checks if `long` value is `NaN` (not a number)
153 * Checks if `Byte` value is `NaN` (not a number)
162 * Checks if `Int` value is `NaN` (not a number)
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/ |
| D | ts_ignore.ts.json | 36 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
43 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
50 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
57 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
64 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
71 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
78 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
85 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
92 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
|
| /arkcompiler/runtime_core/cmake/ |
| D | ClangTidy.cmake | 14 option(PANDA_ENABLE_CLANG_TIDY "Enable clang-tidy checks during compilation" true)
74 # Add a target to clang-tidy checks.
79 # CHECKS
87 # The list of CHECKS allows to pass per-target checks in additions to
88 # global ones (see below). CHECKS follow clang-tidy syntax of checks.
89 # By default all checks are enabled globally, so the most reasonable use
90 # case for CHECKS is to pass checks to be suppressed.
93 # * We use permissive policy for checks, i.e. everything is enabled by default,
96 # because of its syntax limitations (in particular, all checks should be passed
108 set(multiValues CHECKS)
[all …]
|
| /arkcompiler/runtime_core/static_core/verification/gen/templates/ |
| D | abs_int_inl_compat_checks.h.erb | 23 % checks = Verification.compatibility_checks
41 % checks.results.ok.to_h.merge(checks.results.warnings.to_h).merge(checks.results.errors.to_h).each…
47 % checks.results.each_pair do |status, values|
53 % checks.domains.each_pair do |_, domain|
63 % checks.checks.each_pair do |check_name, check|
|
| /arkcompiler/runtime_core/static_core/compiler/docs/ |
| D | check_elimination_doc.md | 1 # Checks Elimination
3 **Checks Elimination** - optimization which try to reduce number of checks(NullCheck, ZeroCheck, Ne…
23 #### All checks
24 All the same checks that are dominated by the current one are deleted and consecutive checks delete…
77 …RedundantBoundsCheck` algorithm try to replace more then 2 grouped bounds checks by `DeoptimiseIf`.
101 Before Checks Elimination:
111 After Checks Elimination:
|
| /arkcompiler/runtime_core/static_core/plugins/ets/stdlib/std/core/ |
| D | Char.sts | 175 * isInBasicMultilingualPlane(char) checks if the char is in Basic Multilingual Plane.
187 …* isInBasicMultilingualPlane(UTF_16_CodePoint) checks if the code point is in Basic Multilingual P…
202 * isInBasicMultilingualPlane() checks if the underlying char is in Basic Multilingual Plane.
212 * isValidCodePoint() checks if the code point is correctly encoded.
239 * isHighSurrogate(char) checks if the char is a high surrogate.
251 * isLowSurrogate(char) checks if the char is a low surrogate.
287 * isPartOfSurrogatePair(char) checks whether the char is low or high surrogate.
298 * isPartOfSurrogatePair() checks whether the underlying char is low or high surrogate.
316 * isBinDigit() checks whether the char represents a binary digit.
328 * isBinDigit() checks whether the underlying char represents a binary digit.
[all …]
|
| D | Type.sts | 601 * Checks whether type is primitive or composite
610 * Checks whether type is reference or composite
619 * Checks whether type has name
648 * Checks for equality this instance with provided object, treated as a DoubleType
674 * Checks whether type is primitive or composite
683 * Checks whether type is reference or composite
692 * Checks whether type has name
719 * Checks for equality this instance with provided object, treated as a UndefinedType
745 * Checks whether type is primitive or composite
754 * Checks whether type is reference or composite
[all …]
|
| D | Float.sts | 245 * compare(float, float) checks if two floats are differs no more than by Float.DELTA
258 * Checks for equality this instance with provided object, treated as a Float
278 * Checks if float is NaN (not a number)
290 * Checks if the underlying float is NaN (not a number)
299 * Checks if float is a floating point value (not a NaN or infinity)
310 * Checks if the underlying float is a floating point value (not a NaN or infinity)
319 * Checks if float is similar to an integer value
331 * Checks if the underlying float is similar to an integer value
340 * Checks if float is a safe integer value
351 * Checks if float is a safe integer value
[all …]
|
| /arkcompiler/runtime_core/tests/checked/ |
| D | README.md | 29 * **METHOD** (name: string) start check of specified method, all following checks that require spec…
39 * **ASM_METHOD** (name: string) select a specified method in disasm file, next "ASM*" checks will b…
40 * **ASM_INST** (inst: pattern) select a specified instruction in disasm file, next "ASM*" checks wi…
41 * **ASM/ASM_NEXT/ASM_NOT/ASM_NEXT_NOT** (inst: pattern) same as other similar checks, but search on…
42 If none of these checks were specified, then search will be applied in the whole disasm file.
|
| /arkcompiler/runtime_core/compiler/tests/ |
| D | ir_builder_test.cpp | 780 // Checks if not dominate inputs are removed from SaveStateInst
835 // Checks the build of the mov instruction with integer parameters
843 // Checks the build of the mov instruction with real parameters
851 // Checks the build of the mov.64 instruction with integer parameters
859 // Checks the build of the mov.64 instruction with real parameters
867 // Checks the build of the mov.obj instruction
875 // Checks the build of the mov.null instruction
900 // Checks the build of the movi instruction with integer parameters
908 // Checks the build of the fmovi instruction with real parameters
916 // Checks the build of the movi.64 instruction with integer parameters
[all …]
|
| /arkcompiler/runtime_core/static_core/tests/checked/ |
| D | README.md | 29 * **METHOD** (name: string) start check of specified method, all following checks that require spec…
39 * **ASM_METHOD** (name: string) select a specified method in disasm file, next "ASM*" checks will b…
40 * **ASM_INST** (inst: pattern) select a specified instruction in disasm file, next "ASM*" checks wi…
41 * **ASM/ASM_NEXT/ASM_NOT/ASM_NEXT_NOT** (inst: pattern) same as other similar checks, but search on…
42 If none of these checks were specified, then search will be applied in the whole disasm file.
|
| /arkcompiler/runtime_core/static_core/compiler/tests/ |
| D | ir_builder_test.cpp | 802 // Checks if not dominate inputs are removed from SaveStateInst
857 // Checks the build of the mov instruction with integer parameters
865 // Checks the build of the mov instruction with real parameters
873 // Checks the build of the mov.64 instruction with integer parameters
881 // Checks the build of the mov.64 instruction with real parameters
889 // Checks the build of the mov.obj instruction
897 // Checks the build of the mov.null instruction
922 // Checks the build of the movi instruction with integer parameters
930 // Checks the build of the fmovi instruction with real parameters
938 // Checks the build of the movi.64 instruction with integer parameters
[all …]
|