| /linux/scripts/clang-tools/ |
| H A D | run-clang-tools.py | 36 checks_help = "Checks to pass to the analysis"
37 parser.add_argument("-checks", type=str, default=None, help=checks_help)
52 # Disable all checks, then re-enable the ones we want
54 checks = None
55 if args.checks:
56 checks = args.checks.split(',')
58 checks = ["-*"]
60 checks.append("linuxkernel-*")
62 checks.append("clang-analyzer-*")
63 checks.append("-clang-analyzer-security.insecureAPI.DeprecatedOrUnsafeBufferHandling")
[all …]
|
| /linux/tools/testing/selftests/landlock/ |
| H A D | base_test.c | 33 /* Checks copy_from_user(). */ in TEST()
53 /* Checks minimal valid attribute size. */ in TEST()
63 /* Checks non-zero value. */ in TEST()
145 /* Tests ordering of syscall argument checks. */ in TEST()
155 /* Checks priority for invalid flags. */ in TEST()
171 /* Checks too big ruleset_attr size. */ in TEST()
175 /* Checks too small ruleset_attr size. */ in TEST()
181 /* Checks valid call. */ in TEST()
188 /* Tests ordering of syscall argument checks. */ in TEST()
203 /* Checks invali in TEST()
[all...] |
| H A D | fs_test.c | 530 /* Checks unhandled allowed_access. */ in TEST_F_FORK()
833 * Checks that it is not possible to add nsfs-like filesystem in TEST_F_FORK()
907 /* Checks effective read and write actions. */ in TEST_F_FORK()
916 /* Just in case, double-checks effective actions. */ in TEST_F_FORK()
967 /* Checks s1d1 hierarchy. */ in TEST_F_FORK()
973 /* Checks s1d2 hierarchy. */ in TEST_F_FORK()
979 /* Checks s1d3 hierarchy. */ in TEST_F_FORK()
1020 /* Checks s1d1 hierarchy with layer1. */ in TEST_F_FORK()
1026 /* Checks s1d2 hierarchy with layer1. */ in TEST_F_FORK()
1032 /* Checks s1d in TEST_F_FORK()
[all...] |
| /linux/Documentation/virt/kvm/x86/ |
| H A D | cpuid.rst | 65 KVM_FEATURE_PV_UNHALT 7 guest checks this feature bit
69 KVM_FEATURE_PV_TLB_FLUSH 9 guest checks this feature bit
77 KVM_FEATURE_PV_SEND_IPI 11 guest checks this feature bit
85 KVM_FEATURE_PV_SCHED_YIELD 13 guest checks this feature bit
89 KVM_FEATURE_ASYNC_PF_INT 14 guest checks this feature bit
95 KVM_FEATURE_MSI_EXT_DEST_ID 15 guest checks this feature bit
99 KVM_FEATURE_HC_MAP_GPA_RANGE 16 guest checks this feature bit before
103 KVM_FEATURE_MIGRATION_CONTROL 17 guest checks this feature bit before
120 KVM_HINTS_REALTIME 0 guest checks this feature bit to
|
| /linux/fs/ubifs/ |
| H A D | debug.h | 53 * @chk_gen: if general extra checks are enabled
54 * @chk_index: if index xtra checks are enabled
55 * @chk_orph: if orphans extra checks are enabled
56 * @chk_lprops: if lprops extra checks are enabled
57 * @chk_fs: if UBIFS contents extra checks are enabled
65 * @dfs_chk_gen: debugfs knob to enable UBIFS general extra checks
66 * @dfs_chk_index: debugfs knob to enable UBIFS index extra checks
67 * @dfs_chk_orph: debugfs knob to enable UBIFS orphans extra checks
68 * @dfs_chk_lprops: debugfs knob to enable UBIFS LEP properties extra checks
69 * @dfs_chk_fs: debugfs knob to enable UBIFS contents extra checks
[all …]
|
| /linux/tools/testing/selftests/bpf/progs/ |
| H A D | verifier_bounds_mix_sign_unsign.c | 16 __description("bounds checks mixing signed and unsigned, positive bounds")
48 __description("bounds checks mixing signed and unsigned")
80 __description("bounds checks mixing signed and unsigned, variant 2")
114 __description("bounds checks mixing signed and unsigned, variant 3")
147 __description("bounds checks mixing signed and unsigned, variant 4")
178 __description("bounds checks mixing signed and unsigned, variant 5")
211 __description("bounds checks mixing signed and unsigned, variant 6")
242 __description("bounds checks mixing signed and unsigned, variant 7")
274 __description("bounds checks mixing signed and unsigned, variant 8")
308 __description("bounds checks mixing signed and unsigned, variant 9")
[all …]
|
| /linux/security/landlock/ |
| H A D | syscalls.c | 71 /* Checks buffer inconsistencies. */ in copy_min_struct_from_user()
76 /* Checks size ranges. */ in copy_min_struct_from_user()
101 * For each user space ABI structures, first checks that there is no in build_check_abi()
102 * hole in them, then checks that all architectures have the same in build_check_abi()
211 /* Build-time checks. */ in SYSCALL_DEFINE3()
238 /* Checks content (and 32-bits cast). */ in SYSCALL_DEFINE3()
243 /* Checks network content (and 32-bits cast). */ in SYSCALL_DEFINE3()
248 /* Checks IPC scoping content (and 32-bits cast). */ in SYSCALL_DEFINE3()
252 /* Checks arguments and transforms to kernel struct. */ in SYSCALL_DEFINE3()
280 /* Checks F in get_ruleset_from_fd()
[all...] |
| H A D | fs.c | 482 /* Checks without restriction. */ in test_no_more_access()
488 * Checks that we can only refer a file if no more access could be in test_no_more_access()
496 /* Checks allowed referring with different nested domains. */ in test_no_more_access()
505 /* Checks that file access rights are also enforced for a directory. */ in test_no_more_access()
508 /* Checks that directory access rights don't impact file referring... */ in test_no_more_access()
513 /* Checks directory exchange. */ in test_no_more_access()
520 /* Checks file exchange with directory access rights... */ in test_no_more_access()
552 /* Checks the same case of exclusive domains with a file... */ in test_no_more_access()
601 /* Checks and scopes with execute. */ in test_scope_to_request_with_exec_none()
615 /* Checks an in test_scope_to_request_with_exec_some()
[all...] |
| /linux/tools/usb/usbip/ |
| H A D | configure.ac | 23 # Checks for programs.
28 # Checks for header files.
34 # Checks for typedefs, structures, and compiler characteristics.
42 # Checks for library functions.
53 # Checks for libwrap library.
|
| /linux/drivers/net/ethernet/intel/i40e/ |
| H A D | i40e_ddp.c | 27 * i40e_ddp_profiles_eq - checks if DDP profiles are the equivalent
31 * checks if DDP profiles are the equivalent.
43 * i40e_ddp_does_profile_exist - checks if DDP profile loaded already
47 * checks if DDP profile loaded already.
74 * i40e_ddp_profiles_overlap - checks if DDP profiles overlap.
78 * checks if DDP profiles overlap.
98 * i40e_ddp_does_profile_overlap - checks if DDP overlaps with existing one.
102 * checks if DDP profile overlaps with existing one.
210 * i40e_ddp_is_pkg_hdr_valid - performs basic pkg header integrity checks
215 * Checks correctness of pkg header: Version, size too big/small, and
[all …]
|
| /linux/tools/testing/selftests/bpf/prog_tests/ |
| H A D | tailcalls.c | 13 /* test_tailcall_1 checks basic functionality by patching multiple locations
15 * and jmp->jmp rewrites. Also checks for nop->nop.
149 /* test_tailcall_2 checks that patching multiple programs for a single
393 /* test_tailcall_3 checks that the count value of the tail call limit
401 /* test_tailcall_6 checks that the count value of the tail call limit
409 /* test_tailcall_4 checks that the kernel properly selects indirect jump
673 /* test_tailcall_bpf2bpf_2 checks that the count value of the tail call limit
753 /* test_tailcall_bpf2bpf_3 checks that non-trivial amount of stack (up to
834 /* test_tailcall_bpf2bpf_4 checks that tailcall counter is correctly preserved
983 /* test_tailcall_bpf2bpf_fentry checks tha
[all...] |
| /linux/Documentation/dev-tools/ |
| H A D | testing-overview.rst | 134 Smatch extends Sparse and provides additional checks for programming logic
144 available include API tests, tests for correct usage of kernel iterators, checks
164 It's generally easier to write checks in Smatch than it is to write checks in
165 Sparse. Nevertheless, there are some overlaps between Sparse and Smatch checks.
170 Coccinelle is probably the easiest for writing checks. It works before the
|
| /linux/Documentation/netlink/specs/ |
| H A D | fou.yaml | 42 checks:
56 checks:
64 checks:
|
| /linux/include/linux/ |
| H A D | kcsan.h | 4 * data structures to set up runtime. See kcsan-checks.h for explicit checks and
13 #include <linux/kcsan-checks.h>
|
| H A D | kmsan.h | 14 #include <linux/kmsan-checks.h>
192 * * checks the buffer, if it is copied to device;
206 * * checks the buffers in the scatterlist, if they are copied to device;
218 * If @is_out is true, KMSAN checks the transfer buffer of @urb. Otherwise,
276 * KMSAN performs a lot of consistency checks that are currently enabled by
288 /* of uaccess checks. */ \
|
| /linux/fs/xfs/ |
| H A D | Kconfig | 199 It converts ASSERT checks to WARN, so will log any out-of-bounds
212 including ASSERT checks, function wrappers around macros,
221 bool "XFS expensive debugging checks"
224 Say Y here to get an XFS build with expensive debugging checks
225 enabled. These checks may affect performance significantly.
|
| /linux/tools/testing/memblock/ |
| H A D | README | 16 consist of a series of checks that exercise both the basic operations and
18 memory allocator is initialized at the build time, so the checks here reuse its
57 The project has one target, main, which calls a group of checks for basic and
95 (...allocation checks...)
|
| /linux/drivers/net/wireless/marvell/mwifiex/ |
| H A D | 11n.h | 68 /* This function checks whether AMPDU is allowed or not for a particular TID. */
87 * This function checks whether AMSDU is allowed or not for a particular TID.
98 * This function checks whether a space is available for new BA stream or not.
154 * This function checks whether associated station is 11n enabled
|
| /linux/drivers/net/dsa/microchip/ |
| H A D | ksz9477_tc_flower.c | 22 * the corresponding ACL entries. It checks for unsupported offloads and
104 * This function checks if the used keys in the flow rule are supported by
150 * This function checks if the actions in the flow rule are supported by
209 * ksz_device. It checks if the ACL offloading is supported and parses the flow
263 * ksz_device. It checks if the ACL is initialized, and if not, returns an
|
| /linux/Documentation/filesystems/xfs/ |
| H A D | xfs-self-describing-metadata.rst | 51 not detected by automated verification checks) but are not correct. Finding and
89 fast. So while CRC32c is not the strongest of possible integrity checks that
178 further checks are made against the location information, followed by extensive
179 object specific metadata validation. If any of these checks fail, then the
267 /* object specific verification checks here */
292 /* object specific verification checks here */
339 verification checks are done when each inode is read from or written back to the
342 The structure of the verifiers and the identifiers checks is very similar to the
|
| /linux/rust/kernel/io/ |
| H A D | poll.rs | 26 /// checks its result using the condition closure `cond`.
62 /// // and checks whether the hardware is ready.
116 /// checks its result using the condition closure `cond`.
149 /// // and checks whether the hardware is ready. in read_poll_timeout_atomic()
|
| /linux/tools/perf/arch/x86/tests/ |
| H A D | bp-modify.c | 57 * change it and checks it was properly changed.
77 * - waits for the breakpoint to hit and checks in bp_modify1()
129 * change it to bogus value and checks the original
150 * - waits for the breakpoint to hit and checks in bp_modify2()
|
| /linux/drivers/net/ethernet/wangxun/libwx/ |
| H A D | wx_mbx.c | 48 * wx_check_for_ack_pf - checks to see if the VF has acked
65 * wx_check_for_msg_pf - checks to see if the VF has sent mail
158 * wx_check_for_rst_pf - checks to see if the VF has reset
224 * wx_check_for_ack_vf - checks to see if the PF has ACK'd
236 * wx_check_for_msg_vf - checks to see if the PF has sent mail
248 * wx_check_for_rst_vf - checks to see if the PF has reset
|
| /linux/tools/testing/selftests/cgroup/ |
| H A D | test_kmem.c | 49 * Then it checks that "slab" in memory.stat is larger than 1M.
50 * Then it sets memory.high to 1M and checks that at least 1/2
164 * threads. Then it checks the sanity of numbers on the parent level:
275 * The test spawns a process, which spawns 1000 threads. Then it checks
303 * kernel memory in each of them, and deletes them. Then it checks
348 * Then it checks that the memory.current on the parent level
|
| /linux/lib/ |
| H A D | Kconfig.debug | 247 menu "Compile-time checks and compiler options"
496 as uapi header sanity checks.
502 The section mismatch analysis checks if there are illegal references
780 This enables checks whether a k/v free operation frees an area
847 This option checks for a stack overrun on calls to schedule().
864 Enable this to turn on extended checks in the VFS layer that may impact
876 Enable this to turn on extended checks in the virtual-memory system
939 Enable some costly sanity checks in virtual to page code. This can
955 Enable this for additional checks during memory initialisation.
956 The sanity checks verify aspects of the VM such as the memory model
[all …]
|