Searched full:checks (Results 1 – 25 of 87) sorted by relevance
1234
| /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/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/verification/gen/templates/ |
| D | abs_int_inl_compat_checks.h.erb | 23 % checks = Verification.compatibility_checks
39 % checks.results.ok.to_h.merge(checks.results.warnings.to_h).merge(checks.results.errors.to_h).each…
44 % checks.results.each_pair do |status, values|
50 % checks.domains.each_pair do |_, domain|
60 % checks.checks.each_pair do |check_name, check|
|
| D | lang_specifics.h.erb | 58 // checks only, and SAME helps to pass the access checks for non-java context.
|
| /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 …]
|
| D | call_input_types_test.cpp | 34 // Checks the build of the static call instruction
56 // Checks the build of a call of a function without arguments
|
| /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/runtime/mem/gc/reference-processor/ |
| D | reference_processor.h | 52 …* Predicate checks GC-specific conditions on this reference (i.e. if we need to skip this referenc…
60 …* Predicate checks if we should add this reference to the queue (e.g. don't process to many refs o…
67 …* Predicate checks if we should process all references at once (e.g. processing takes too much tim…
|
| /arkcompiler/runtime_core/scripts/ |
| D | memusage.py | 46 """Checks whether char is hexadecimal digit"""
52 """Checks whether line is the start of map"""
58 """Checks whether memory region is stack"""
64 """Checks whether memory region is heap"""
72 """Checks whether name is file path"""
|
| /arkcompiler/runtime_core/runtime/mem/ |
| D | heap_verifier.h | 29 * HeapReferenceVerifier checks reference checks if the referent is with the heap and it is live.
46 …er iterates over HeapManager's allocated objects. If an object contains reference, it checks if the
|
| /arkcompiler/toolchain/build/config/sanitizers/ |
| D | sanitizers.gni | 35 # undefined behavior (excludes vptr checks).
41 # Compile for Undefined Behavior Sanitizer's null pointer checks.
44 # Compile for Undefined Behavior Sanitizer's vptr checks.
69 # Enable checks for bad casts: derived cast and unrelated cast.
72 # Enable checks for indirect function calls via a function pointer.
|
| /arkcompiler/runtime_core/compiler/ |
| D | compiler.yaml | 112 …description: Compiler don't create InitObject and GraphChecker checks this. The options are neede…
125 - checks-elim
196 - name: compiler-checks-elimination
199 description: Enable Checks Elimination Pass
202 - name: compiler-enable-replacing-checks-on-deoptimization
205 description: Enable replacing checks on deoptimization in checks elimination
644 - name: checks-elimination
|
| /arkcompiler/runtime_core/runtime/tooling/inspector/ |
| D | CMakeLists.txt | 53 panda_add_to_clang_tidy(TARGET arkinspector CHECKS
90 panda_add_to_clang_tidy(TARGET arkinspector_tests CHECKS
|
| /arkcompiler/runtime_core/compiler/docs/ |
| D | aot_resolve_string.md | 5 loads a value from a slot associated with a string and checks if that value is valid pointer. If it…
34 - checks the value already stored in `STRING_SLOT` PLT-slot - after AOT-file loading all such slots…
|
| /arkcompiler/runtime_core/verification/models/ |
| D | README.md | 28 …pes intersection calculation during context merge does not lead to correct checks of compatibility.
|
| /arkcompiler/runtime_core/tests/verifier-tests/ |
| D | initobj-bad-03.pa | 14 # check that verifier checks initobj is called on constructor only
|
| /arkcompiler/runtime_core/verification/config/ |
| D | README.md | 22 List of methods, calls to which always be considered as correct (signature checks is turned off for…
|
| /arkcompiler/runtime_core/quickener/ |
| D | CMakeLists.txt | 28 panda_add_to_clang_tidy(TARGET arkquick CHECKS
|
| /arkcompiler/ets_frontend/es2panda/aot/ |
| D | CMakeLists.txt | 34 panda_add_to_clang_tidy(TARGET es2panda CHECKS
|
| /arkcompiler/runtime_core/cmake/toolchain/ |
| D | aflplusplus.cmake | 23 set(PANDA_ENABLE_CLANG_TIDY false CACHE BOOL "Enable clang-tidy checks during compilation" FORCE)
|
| D | fuzzing-coverage-clang-9.cmake | 24 set(PANDA_ENABLE_CLANG_TIDY false CACHE BOOL "Enable clang-tidy checks during compilation" FORCE)
|
| D | fuzzilli.cmake | 25 set(PANDA_ENABLE_CLANG_TIDY false CACHE BOOL "Enable clang-tidy checks during compilation" FORCE)
|
| /arkcompiler/runtime_core/assembler/ |
| D | annotation.h | 404 // Disable checks due to clang-tidy bug https://bugs.llvm.org/show_bug.cgi?id=40640
452 // Disable checks due to clang-tidy bug https://bugs.llvm.org/show_bug.cgi?id=40640
458 // Disable checks due to clang-tidy bug https://bugs.llvm.org/show_bug.cgi?id=32203 in Create()
475 // Disable checks due to clang-tidy bug https://bugs.llvm.org/show_bug.cgi?id=32203 in GetValue()
|
| /arkcompiler/runtime_core/panda/ |
| D | CMakeLists.txt | 24 panda_add_to_clang_tidy(TARGET ark CHECKS
|
| /arkcompiler/runtime_core/libpandabase/ |
| D | concepts.h | 109 /// Checks whether T is an array type of unknown bound
123 /// Checks whether T is an array type of known bound
|
1234