| /linux/tools/perf/tests/shell/ |
| H A D | addr2line_inlines.sh | 25 echo "Inline unwinding fp verification test"
37 echo "Inline unwinding fp verification test [Success]"
39 echo "Inline unwinding fp verification test [Failed missing inlined functions]"
45 echo "Inline unwinding dwarf verification test"
57 echo "Inline unwinding dwarf verification test [Success]"
59 echo "Inline unwinding dwarf verification test [Failed missing inlined functions]"
65 echo "Inline unwinding LBR verification test"
84 echo "Inline unwinding lbr verification test [Success]"
86 echo "Inline unwinding lbr verification test [Failed missing inlined functions]"
|
| /linux/Documentation/filesystems/xfs/ |
| H A 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/tools/verification/rv/ |
| H A 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/tools/memory-model/scripts/ |
| H A 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
|
| H A 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/tools/testing/selftests/drivers/net/hw/ |
| H A 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/Documentation/trace/rv/ |
| H A D | linear_temporal_logic.rst | 7 Runtime verification monitor is a verification technique which checks that the
78 verification, the `always` operator is usually desirable, to specify that
92 `tools/verification/rvgen`. The specification needs to be provided as a file,
131 Automatic Verification of Linear Temporal Logic. In: Dembiński, P., Średniawa,
132 M. (eds) Protocol Specification, Testing and Verification XV. PSTV 1995. IFIP
|
| /linux/kernel/ |
| H A D | Kconfig.kexec | 60 verification for the corresponding kernel image type being
68 This option makes kernel signature verification mandatory for
72 bool "Enable Image signature verification support (ARM)"
78 Enable Image signature verification support.
81 bool "Enable bzImage signature verification support"
87 Enable bzImage signature verification support.
|
| /linux/Documentation/tools/rv/ |
| H A 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.
|
| /linux/Documentation/security/ |
| H A 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/security/integrity/ |
| H A 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
43 This option enables digital signature verification using
|
| /linux/fs/verity/ |
| H A D | Kconfig | 24 hash), or (b) authenticity verification (comparing the hash
39 This option adds support for in-kernel verification of
44 alternatives (such as userspace signature verification, and
|
| H A 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/net/sctp/ |
| H A D | sm_statefuns.c | 213 * Verification Tag: 8.5.1(C), sctpimpguide 2.41.
217 * if the Verification Tag field of the packet matches its own tag and
306 * Verification Tag field to Tag_A, and also provide its own
307 * Verification Tag (Tag_Z) in the Initiate Tag field.
309 * Verification Tag: Must be 0.
360 /* 3.1 A packet containing an INIT chunk MUST have a zero Verification in sctp_sf_do_5_1B_init()
508 * Verification Tag: 3.3.3
687 * Verification Tag: 8.5.1 Exceptions in Verification Tag Rules
733 * chunk header. More detailed verification is done in sctp_sf_do_5_1D_ce()
929 * Verification Tag:
[all …]
|
| /linux/Documentation/crypto/ |
| H A 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/kernel/trace/rv/ |
| H A 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 sessio
[all...] |
| /linux/Documentation/bpf/ |
| H A D | signing.rst | 123 Load-time verification
135 #. Signature verification runs inside the verifier (``bpf_check()``), once it
202 the complete verification.
223 ``security_bpf_prog_load()`` gates admission before the main verification work,
231 verifier (``bpf_check()``), before the main verification work. It runs after the
232 optional signature verification, so the verdict and keyring fields are final - the
241 rules, or audit every load attempt that makes it past signature verification -
398 verification aborts the load - so a program that loads successfully with a
410 Set **only** on a successful verification, to the serial of the
462 keyring) for verification to succeed.
|
| /linux/tools/testing/selftests/kvm/riscv/ |
| H A D | sbi_pmu_test.c | 292 "Event update verification failed: post [%lx] pre [%lx]\n", in test_pmu_event()
308 "Counter reinitialization verification failed : post [%lx] pre [%lx]\n", in test_pmu_event()
318 "Event update verification failed: post [%lx] pre [%lx]\n", in test_pmu_event()
342 "Event update verification failed: post [%lx] pre [%lx]\n", in test_pmu_event_snapshot()
360 "Counter reinitialization verification failed : post [%lx] pre [%lx]\n", in test_pmu_event_snapshot()
371 "Event update verification failed: post [%lx] pre [%lx]\n", in test_pmu_event_snapshot()
735 pr_info("SBI PMU event verification test : PASS\n"); in main()
740 pr_info("SBI PMU event verification with snapshot test : PASS\n"); in main()
745 pr_info("SBI PMU event verification with overflow test : PASS\n"); in main()
|
| /linux/drivers/s390/cio/ |
| H A D | device_fsm.c | 397 * timeout (or if sense pgid during path verification detects the device in ccw_device_recognition()
497 /* Repeat path verification? */ in ccw_device_verify_done()
565 /* Start initial path verification. */ in ccw_device_online()
643 * Handle path verification event in offline state.
654 * Handle path verification event.
681 * to the device driver. Can't do path verification now, in ccw_device_online_verify()
687 /* Device is idle, we can do the path verification. */ in ccw_device_online_verify()
693 * Handle path verification event in boxed state.
788 /* Start delayed path verification. */ in ccw_device_irq()
866 /* Start delayed path verification. */ in ccw_device_w4sense()
[all …]
|
| /linux/Documentation/filesystems/ |
| H A D | btrfs.rst | 24 * Scrub (on-line checksum verification)
33 * Read/write metadata verification
|
| /linux/tools/testing/selftests/sched_ext/ |
| H A D | peek_dsq.c | 162 printf("\u2713 DSQ peek verification success: peek returned NULL!\n"); in run()
164 printf("\u2717 DSQ peek verification failed\n"); in run()
174 printf("\u2713 DSQ peek verification success: peek returned the inserted task!\n"); in run()
176 printf("\u2717 DSQ peek verification failed\n"); in run()
|
| /linux/drivers/net/ethernet/mscc/ |
| H A D | ocelot_mm.c | 120 "Port %d MAC Merge verification state %s\n", in ocelot_mm_update_port_status()
137 …"Unexpected P-frame received on port %d while verification was unsuccessful or not yet verified\n", in ocelot_mm_update_port_status()
145 …"Unexpected P-frame requested to be transmitted on port %d while verification was unsuccessful or … in ocelot_mm_update_port_status()
293 * verification state machine in ocelot_mm_init()
|
| /linux/tools/testing/selftests/drivers/net/mlxsw/ |
| H A D | sharedbuffer_configuration.py | 215 log_test("pool {} of sb {} set verification".format(pool["pool"],
260 log_test("tc bind existence for port {} verification".format(port.name), err_msg)
285 log_test("tc bind {}-{} of sb {} set verification".format(tcbind["dlportname"],
332 log_test("port pool existence for port {} verification".format(port.name), err_msg)
352 log_test("port pool {}-{} of sb {} set verification".format(portpool["dlportname"],
|
| /linux/drivers/s390/crypto/ |
| H A D | zcrypt_ccamisc.h | 50 u8 mkvp[8]; /* master key verification pattern */
66 u8 kvpt; /* key verification pattern type, should be 0x01 */
67 u8 mkvp0[8]; /* master key verification pattern, lo part */
68 u8 mkvp1[8]; /* master key verification pattern, hi part (unused) */
116 u8 mkvp[8]; /* master key verification pattern */
|
| /linux/tools/testing/selftests/rdma/ |
| H A D | rxe_ipv6.sh | 49 # 4. Verification: Port should be listening
57 # 5. Removal and Verification
|