/linux-6.15/Documentation/trace/rv/ |
D | runtime-verification.rst | 2 Runtime Verification 5 Runtime Verification (RV) is a lightweight (yet rigorous) method that 6 complements classical exhaustive verification techniques (such as *model 19 *online* verification of a system, enabling the *reaction* for unexpected 26 A monitor is the central part of the runtime verification of a system. The 30 In Linux terms, the runtime verification monitors are encapsulated inside the 41 | (instrumentation) | | (verification) | | (specification) | 54 In addition to the verification and monitoring of the system, a monitor can 64 For further information about the principles of runtime verification and 67 Bartocci, Ezio, et al. *Introduction to runtime verification.* In: Lectures on [all …]
|
D | index.rst | 2 Runtime Verification 9 runtime-verification.rst
|
/linux-6.15/kernel/trace/rv/ |
D | Kconfig | 15 bool "Runtime Verification" 18 Enable the kernel runtime verification infrastructure. RV is a 20 exhaustive verification techniques (such as model checking and 26 Documentation/trace/rv/runtime-verification.rst 40 bool "Runtime verification reactors" 44 Enables the online runtime verification reactors. A runtime
|
D | rv.c | 5 * This is the online Runtime Verification (RV) interface. 8 * exhaustive verification techniques (such as model checking and 22 * Silva. Efficient formal verification for the Linux kernel. In: 29 * and verification of the real-time Linux kernel. PhD Thesis, 2020. 33 * A monitor is the central part of the runtime verification of a system. 38 * In Linux terms, the runtime verification monitors are encapsulated 51 * | (instrumentation) | | (verification) | | (specification) | 65 * to control the verification session. 70 * a verification session. For instance, when a given monitor is enabled, 73 * when disabling the verification session. [all …]
|
/linux-6.15/Documentation/filesystems/xfs/ |
D | xfs-self-describing-metadata.rst | 12 scalability, but of verification of the filesystem structure. Scalabilty of the 15 is this very scalability that causes the verification problem. 50 verification of metadata values, looking for values that are in range (and hence 51 not detected by automated verification checks) but are not correct. Finding and 76 self identifying and we can do much more expansive automated verification of the 84 contain, a large amount of the manual verification work can be skipped. 129 present that the run-time verification is not detecting. 156 The verification is completely stateless - it is done independently of the 166 For read verification, the caller needs to specify the expected type of metadata 168 object matches what was expected. If the verification process fails, then it [all …]
|
/linux-6.15/tools/verification/rv/ |
D | README.txt | 1 RV: Runtime Verification 3 Runtime Verification (RV) is a lightweight (yet rigorous) method that 4 complements classical exhaustive verification techniques (such as model 37 Runtime Verification: 38 Documentation/trace/rv/runtime-verification.rst
|
/linux-6.15/tools/memory-model/scripts/ |
D | judgelitmus.sh | 16 # "HW" is the --hw argument. In addition, non-Sometimes verification 19 # in that file will be used to judge the assembly-language verification. 109 echo ' !!! Verification error' $litmus 112 echo ' !!! Verification error' >> $LKMM_DESTDIR/$litmusout 2>&1 122 echo " !!! Unexpected non-$outcome verification" $litmus 125 echo " !!! Unexpected non-$outcome verification" >> $LKMM_DESTDIR/$litmusout 2>&1 149 echo " $flag non-$outcome verification" $litmus 152 echo " $flag non-$outcome verification" >> $LKMM_DESTDIR/$litmusout 2>&1
|
D | checkalllitmus.sh | 6 # litmus test. If the verification result does not match that specified 8 # "^^^". It also outputs verification results to a file whose name is 61 echo " ^^^ VERIFICATION MISMATCHES" 1>&2
|
/linux-6.15/tools/testing/selftests/drivers/net/hw/ |
D | ethtool_mm.sh | 54 # to verification frame) should be taken into consideration while the 57 # the link partner's verification frames. 61 # Wait for verification to finish 66 check_err "$?" "Verification did not succeed" 77 log_test "Manual configuration with verification: $tx to $rx" 101 check_err "$?" "Verification is not disabled" 111 log_test "Manual configuration without verification: $tx to $rx" 134 # Wait for verification to time out 139 check_fail "$?" "Verification succeeded when it shouldn't have" 150 log_test "Manual configuration with failed verification: $tx to $rx"
|
/linux-6.15/kernel/ |
D | Kconfig.kexec | 61 verification for the corresponding kernel image type being 69 This option makes kernel signature verification mandatory for 73 bool "Enable Image signature verification support (ARM)" 79 Enable Image signature verification support. 82 bool "Enable bzImage signature verification support" 88 Enable bzImage signature verification support.
|
/linux-6.15/crypto/asymmetric_keys/ |
D | Kconfig | 9 verification. 22 If signature generation and/or verification are to be used, 69 bool "Support for PE file signature verification" 80 tristate "Run FIPS selftests on the X.509+PKCS7 signature verification" 83 verification code, using some built in data. This is required
|
/linux-6.15/security/integrity/ |
D | Kconfig | 10 Measurement Architecture (IMA), Extended Verification Module 11 (EVM), IMA-appraisal extension, digital signature verification 20 bool "Digital signature verification using multiple keyrings" 25 This option enables digital signature verification support 42 This option enables digital signature verification using
|
/linux-6.15/Documentation/security/ |
D | digsig.rst | 2 Digital Signature Verification API 19 Digital signature verification API provides a method to verify digital signature. 22 Digital signature verification is implemented using cut-down kernel port of 58 digsig_verify() - digital signature verification with public key 62 * digsig_verify() - digital signature verification with public key
|
/linux-6.15/Documentation/tools/rv/ |
D | rv.rst | 7 Runtime Verification 20 Runtime Verification (**RV**) is a lightweight (yet rigorous) method argument 21 for formal verification with a practical approach for complex systems. 28 verification (rv) monitors.
|
D | index.rst | 4 Runtime verification (rv) tool 7 **rv** tool provides the interface for a collection of runtime verification
|
/linux-6.15/Documentation/filesystems/ |
D | fsverity.rst | 100 verification`_. This approach should be used only with great care. 147 if the `Built-in signature verification`_ feature is being used. It 251 This ioctl is useful for cases where the verity verification should be 256 compatible verification of the file. This only makes sense if the 293 signature verification`_. 307 implement fs-verity compatible verification anyway (though absent a 364 would circumvent the data verification. 371 opening the file will fail. See `Built-in signature verification`_. 453 Built-in signature verification 457 verification of fs-verity builtin signatures. [all …]
|
/linux-6.15/net/sctp/ |
D | sm_statefuns.c | 211 * Verification Tag: 8.5.1(C), sctpimpguide 2.41. 215 * if the Verification Tag field of the packet matches its own tag and 304 * Verification Tag field to Tag_A, and also provide its own 305 * Verification Tag (Tag_Z) in the Initiate Tag field. 307 * Verification Tag: Must be 0. 358 /* 3.1 A packet containing an INIT chunk MUST have a zero Verification in sctp_sf_do_5_1B_init() 504 * Verification Tag: 3.3.3 683 * Verification Tag: 8.5.1 Exceptions in Verification Tag Rules 728 * chunk header. More detailed verification is done in sctp_sf_do_5_1D_ce() 911 * Verification Tag: [all …]
|
/linux-6.15/fs/verity/ |
D | Kconfig | 23 hash), or (b) authenticity verification (comparing the hash 38 This option adds support for in-kernel verification of 43 alternatives (such as userspace signature verification, and
|
D | signature.c | 3 * Verification of builtin signatures 9 * This file implements verification of fs-verity builtin signatures. Please 12 * verification, and IMA appraisal) can be much better. For details about the 22 #include <linux/verification.h>
|
/linux-6.15/Documentation/crypto/ |
D | asymmetric-keys.rst | 12 - Signature verification. 112 1) Signature verification. 115 required for verification, but not currently supported, and others 119 Signature Verification 122 An operation is provided to perform cryptographic signature verification, using 225 Optional. This is the entry point for signature verification. The 346 for signature verification. 357 verification. 372 This allows for verification of certificate chains by adding each
|
/linux-6.15/arch/x86/kernel/ |
D | verify_cpu.S | 4 * verify_cpu.S - Code for cpu long mode and SSE verification. This 13 * This is a common code for verification whether CPU supports 18 * arch/x86/boot/compressed/head_64.S: Boot cpu verification 19 * arch/x86/kernel/trampoline_64.S: secondary processor verification
|
/linux-6.15/arch/s390/purgatory/ |
D | head.S | 100 * checksum verification only (%r2 = 0 -> verification only). 104 * 1 -> checksum verification only 111 cghi %r2,0 /* checksum verification only */ 118 cghi %r10,1 /* checksum verification only */
|
/linux-6.15/drivers/s390/crypto/ |
D | zcrypt_ep11misc.h | 36 u8 wkvp[16]; /* wrapping key verification pattern */ 54 * For valid ep11 keyblobs, returns a reference to the wrappingkey verification 99 u8 cur_wkvp[32]; /* current wrapping key verification pattern */ 100 u8 new_wkvp[32]; /* new wrapping key verification pattern */
|
D | zcrypt_ccamisc.h | 50 u64 mkvp; /* master key verification pattern */ 66 u8 kvpt; /* key verification pattern type, should be 0x01 */ 67 u64 mkvp0; /* master key verification pattern, lo part */ 68 u64 mkvp1; /* master key verification pattern, hi part (unused) */ 116 u64 mkvp; /* master key verification pattern */ 212 * Verification Pattern provided inside a secure key.
|
/linux-6.15/tools/testing/selftests/kvm/riscv/ |
D | sbi_pmu_test.c | 274 "Event update verification failed: post [%lx] pre [%lx]\n", in test_pmu_event() 290 "Counter reinitialization verification failed : post [%lx] pre [%lx]\n", in test_pmu_event() 300 "Event update verification failed: post [%lx] pre [%lx]\n", in test_pmu_event() 324 "Event update verification failed: post [%lx] pre [%lx]\n", in test_pmu_event_snapshot() 342 "Counter reinitialization verification failed : post [%lx] pre [%lx]\n", in test_pmu_event_snapshot() 353 "Event update verification failed: post [%lx] pre [%lx]\n", in test_pmu_event_snapshot() 699 pr_info("SBI PMU event verification test : PASS\n"); in main() 704 pr_info("SBI PMU event verification with snapshot test : PASS\n"); in main() 709 pr_info("SBI PMU event verification with overflow test : PASS\n"); in main()
|