| /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/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/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_identifier_has_variable_test_2.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()
73 InvariantNameSet checks; in TEST_F() local
74 checks.insert("IdentifierHasVariableForAll"); in TEST_F()
75 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
129 InvariantNameSet checks; in TEST_F() local
130 checks.insert("IdentifierHasVariableForAll"); in TEST_F()
131 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
151 InvariantNameSet checks; in TEST_F() local
[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_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_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_variable_has_enclosing_scope_test.cpp | 46 InvariantNameSet checks; in TEST_F() local
47 checks.insert("VariableHasEnclosingScopeForAll"); in TEST_F()
48 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
75 InvariantNameSet checks; in TEST_F() local
76 checks.insert("VariableHasEnclosingScopeForAll"); in TEST_F()
77 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
101 InvariantNameSet checks; in TEST_F() local
102 checks.insert("VariableHasEnclosingScopeForAll"); in TEST_F()
103 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
127 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()
85 InvariantNameSet checks; in TEST_F() local
86 checks.insert("ReferenceTypeAnnotationIsNullForAll"); in TEST_F()
87 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
116 InvariantNameSet checks; in TEST_F() local
117 checks.insert("ReferenceTypeAnnotationIsNullForAll"); in TEST_F()
118 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
140 InvariantNameSet checks; in TEST_F() local
[all …]
|
| D | ast_verifier_identifier_has_variable_test_1.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()
130 InvariantNameSet checks; in TEST_F() local
[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_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()
92 InvariantNameSet checks; in TEST_F() local
93 checks.insert("EveryChildHasValidParentForAll"); in TEST_F()
94 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
| D | ast_verifier_check_scope_declaration_test_2.cpp | 47 InvariantNameSet checks; in TEST_F() local
48 checks.insert("CheckScopeDeclarationForAll"); in TEST_F()
49 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
73 InvariantNameSet checks; in TEST_F() local
74 checks.insert("CheckScopeDeclarationForAll"); in TEST_F()
75 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
105 InvariantNameSet checks; in TEST_F() local
106 checks.insert("CheckScopeDeclarationForAll"); in TEST_F()
107 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
| D | ast_verifier_getter_setter_test.cpp | 53 InvariantNameSet checks; in TEST_F() local
54 checks.insert("GetterSetterValidationForAll"); in TEST_F()
55 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
83 InvariantNameSet checks; in TEST_F() local
84 checks.insert("GetterSetterValidationForAll"); in TEST_F()
85 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
112 InvariantNameSet checks; in TEST_F() local
113 checks.insert("GetterSetterValidationForAll"); in TEST_F()
114 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
| D | ast_verifier_check_scope_declaration_test_1.cpp | 43 InvariantNameSet checks; in TEST_F() local
44 checks.insert("CheckScopeDeclarationForAll"); in TEST_F()
45 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
69 InvariantNameSet checks; in TEST_F() local
70 checks.insert("CheckScopeDeclarationForAll"); in TEST_F()
71 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
| D | ast_verifier_getter_setter_neg_test_1.cpp | 66 InvariantNameSet checks; in TEST_F() local
67 checks.insert("GetterSetterValidationForAll"); in TEST_F()
68 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
113 InvariantNameSet checks; in TEST_F() local
114 checks.insert("GetterSetterValidationForAll"); in TEST_F()
115 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
163 InvariantNameSet checks; in TEST_F() local
164 checks.insert("GetterSetterValidationForAll"); in TEST_F()
165 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
| D | ast_verifier_getter_setter_neg_test_2.cpp | 74 InvariantNameSet checks; in TEST_F() local
75 checks.insert("GetterSetterValidationForAll"); in TEST_F()
76 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
122 InvariantNameSet checks; in TEST_F() local
123 checks.insert("GetterSetterValidationForAll"); in TEST_F()
124 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
171 InvariantNameSet checks; in TEST_F() local
172 checks.insert("GetterSetterValidationForAll"); in TEST_F()
173 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
| /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/main/ |
| D | ts_ignore.ts.json | 44 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
54 …"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…
74 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
84 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
94 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
104 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
114 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
124 …"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 | 641 * Checks whether type is primitive or composite
650 * Checks whether type is reference or composite
659 * Checks whether type has name
688 * Checks for equality this instance with provided object, treated as a DoubleType
714 * Checks whether type is primitive or composite
723 * Checks whether type is reference or composite
732 * Checks whether type has name
759 * Checks for equality this instance with provided object, treated as a UndefinedType
789 * Checks whether type is primitive or composite
798 * Checks whether type is reference or composite
[all …]
|