| /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 | 529 /* Checks unhandled allowed_access. */ in TEST_F_FORK()
830 * 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()
973 /* Checks s1d1 hierarchy. */ in TEST_F_FORK()
979 /* Checks s1d2 hierarchy. */ in TEST_F_FORK()
985 /* Checks s1d3 hierarchy. */ in TEST_F_FORK()
1029 /* Checks s1d1 hierarchy with layer1. */ in TEST_F_FORK()
1035 /* Checks s1d2 hierarchy with layer1. */ in TEST_F_FORK()
1041 /* Checks s1d3 hierarchy with layer1. */ 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 | 68 /* Checks buffer inconsistencies. */ in copy_min_struct_from_user()
73 /* Checks size ranges. */ in copy_min_struct_from_user()
98 * For each user space ABI structures, first checks that there is no in build_check_abi()
99 * hole in them, then checks that all architectures have the same in build_check_abi()
203 /* Build-time checks. */ in SYSCALL_DEFINE3()
230 /* Checks content (and 32-bits cast). */ in SYSCALL_DEFINE3()
235 /* Checks network content (and 32-bits cast). */ in SYSCALL_DEFINE3()
240 /* Checks IPC scoping content (and 32-bits cast). */ in SYSCALL_DEFINE3()
244 /* Checks arguments and transforms to kernel struct. */ in SYSCALL_DEFINE3()
272 /* Checks FD type and access right. */ in get_ruleset_from_fd()
[all …]
|
| H A D | fs.c | 425 * Checks if the destination restrictions are a in no_more_access()
441 * Checks inverted restrictions for RENAME_EXCHANGE: in no_more_access()
481 /* Checks without restriction. */ in test_no_more_access()
487 * Checks that we can only refer a file if no more access could be in test_no_more_access()
495 /* Checks allowed referring with different nested domains. */ in test_no_more_access()
504 /* Checks that file access rights are also enforced for a directory. */ in test_no_more_access()
507 /* Checks that directory access rights don't impact file referring... */ in test_no_more_access()
512 /* Checks directory exchange. */ in test_no_more_access()
519 /* Checks file exchange with directory access rights... */ in test_no_more_access()
551 /* Checks the same case of exclusive domains with a file... */ in test_no_more_access()
[all …]
|
| H A D | task.c | 33 * domain_scope_le - Checks domain ordering for scoped ptrace
38 * Checks if the @parent domain is less or equal to (i.e. an ancestor, which in domain_scope_le()
169 * domain_is_scoped - Checks if the client domain is scoped in the same in domain_is_scoped()
203 * as the server's domain, and checks that none of these client's in is_abstract_socket()
309 * Checks if this datagram socket was already allowed to be connected
|
| /linux/Documentation/netlink/specs/ |
| H A D | ovpn.yaml | 47 checks:
60 checks:
71 checks:
92 checks:
105 checks:
112 checks:
232 checks:
245 checks:
269 checks:
277 checks:
|
| /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/kernel/rcu/ |
| H A D | Kconfig.debug | 64 and bh-disabled checks are to take effect, and that PREEMPT_RCU
65 must be enabled for the RCU-nesting checks to take effect.
66 These checks add overhead, and this Kconfig options is therefore
194 This option provides consistency checks in RCU's handling of
195 NO_HZ. These checks have proven quite helpful in detecting
|
| /linux/lib/ |
| H A D | Kconfig.ubsan | 93 This option enables -fsanitize=shift which checks for bit-shift
104 This option enables -fsanitize=integer-divide-by-zero which checks
116 This option enables -fsanitize=unreachable which checks for control
142 This option enables -fsanitize=bool which checks for boolean values being
150 This option enables -fsanitize=enum which checks for values being loaded
|
| /linux/tools/testing/selftests/bpf/prog_tests/ |
| H A D | tailcalls.c | 12 /* test_tailcall_1 checks basic functionality by patching multiple locations
14 * and jmp->jmp rewrites. Also checks for nop->nop.
148 /* test_tailcall_2 checks that patching multiple programs for a single
392 /* test_tailcall_3 checks that the count value of the tail call limit
400 /* test_tailcall_6 checks that the count value of the tail call limit
408 /* test_tailcall_4 checks that the kernel properly selects indirect jump
672 /* test_tailcall_bpf2bpf_2 checks that the count value of the tail call limit
752 /* test_tailcall_bpf2bpf_3 checks that non-trivial amount of stack (up to
833 /* test_tailcall_bpf2bpf_4 checks that tailcall counter is correctly preserved
982 /* test_tailcall_bpf2bpf_fentry checks that the count value of the tail call
[all …]
|
| /linux/Documentation/dev-tools/ |
| H A D | kasan.rst | 53 Software KASAN modes use compile-time instrumentation to insert validity checks
56 these checks but still requires a compiler version that supports the memory
141 register for arm64). The kernel periodically checks the hardware and
142 only reports tag faults during these checks.
147 checks the write (store) accesses only or all accesses (default: ``off``).
158 Note that enabling this parameter makes Hardware Tag-Based KASAN skip checks
312 checks before each memory access.
329 Compile-time instrumentation is used to insert memory access checks. Compiler
357 Software Tag-Based KASAN uses compile-time instrumentation to insert checks
358 before each memory access. These checks make sure that the tag of the memory
[all …]
|
| 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/ |
| H A D | Kbuild | 72 atomic-checks += $(addprefix $(obj)/.checked-, \
77 targets += $(atomic-checks)
78 $(atomic-checks): $(obj)/.checked-%: include/linux/atomic/% FORCE
84 prepare: $(offsets-file) missing-syscalls $(atomic-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>
|
| /linux/fs/xfs/ |
| H A D | Kconfig | 190 It converts ASSERT checks to WARN, so will log any out-of-bounds
203 including ASSERT checks, function wrappers around macros,
212 bool "XFS expensive debugging checks"
215 Say Y here to get an XFS build with expensive debugging checks
216 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/fs/btrfs/ |
| H A D | Kconfig | 69 Additional potentially expensive checks, debugging functionality or
70 sysfs exported information is enabled, like leak checks of internal
80 Enable run-time assertion checking. Additional safety checks are
|
| /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
|