Home
last modified time | relevance | path

Searched refs:file (Results 1 – 14 of 14) sorted by relevance

/tools/checkspdx/
A Dcheckspdx.py31 def file_readable(file): argument
32 if not isfile(file):
36 if not access(file, R_OK):
96 def license_in_other_project(file, license): argument
97 search_str = file + "%" + license
108 if re.search(r'\.rst$', file):
152 def verify_spdx_headers(file): argument
153 print("Checking file: " + file)
154 if not file_readable(file):
162 with open(file, encoding='utf-8') as fh:
[all …]
A DCheckSPDX.cmake86 # checkspdx failed for this file. Collect no.of errors
106 file(GLOB_RECURSE source_files RELATIVE ${CMAKE_SOURCE_DIR} "*")
/tools/checkincludes/
A Dcheckincludes.py34 def file_readable(file): argument
35 if not isfile(file):
36 print(file + ": WARNING: File not found")
39 if not access(file, R_OK):
40 print(file + ": WARNING: File not readable")
54 def check_includes(file): argument
57 print("Checking file: " + file)
58 if not file_readable(file):
61 inc_list = file_include_list(file)
83 for file in args.files:
[all …]
A DCheckIncludes.cmake94 # checkincludes failed for this file. Collect no.of errors
114 file(GLOB_RECURSE all_files RELATIVE ${CMAKE_SOURCE_DIR} "*")
/tools/cbmc/
A DSummaryHelpers.cmake7 # Helper functions for formatting the summary file
26 function(rmm_cbmc_append_separator summary_width result_dir file)
30 file(APPEND ${result_dir}/${file} ${separator_line})
34 file(MAKE_DIRECTORY ${result_dir})
35 file(WRITE ${result_dir}/${file} "")
36 rmm_cbmc_append_separator(${summary_width} ${result_dir} ${file})
43 file(APPEND ${result_dir}/${file} ${header})
44 rmm_cbmc_append_separator(${summary_width} ${result_dir} ${file})
47 function (rmm_cbmc_generate_summary file mode summary_var_name)
94 file(APPEND ${result_dir}/${file} ${summary_data})
[all …]
A Dcompare_summary.py54 with open(summary_file_name, "r", encoding="utf-8") as file:
55 lines = file.readlines()
A DCheckCBMC.cmake260 file(WRITE ${compile_cmd_file} "${COMPILE_CMD_STR}")
261 file(WRITE ${cbmc_cmd_file} "${CBMC_CMD_STR}")
283 file(WRITE ${cbmc_prop_cmd_file} "${CBMC_PROP_CMD_STR}")
291 file(WRITE ${cbmc_viewer_cmd_file} "${CBMC_VIEWER_CMD_STR}")
A DCMakeLists.txt25 file(GLOB_RECURSE TESTBENCH_FILES "${TESTBENCH_DIR}/*.c")
/tools/cppcheck/
A DCPPCheck.cmake44 list(APPEND cppcheck-flags "--output-file=${CPPCHECK_OUTPUT}")
62 # Configure the platform file. This communicates certain implementation details to
77 file(MAKE_DIRECTORY "${CPPCHECK_BUILD_DIR}")
83 # Run CPPCheck 2nd time if the output file is not created.
104 file(READ "${CPPCHECK_OUTPUT}" cppcheck_xml)
A Dmisra.rules1 This is a place holder file for MISRA rules text.
/tools/checkpatch/
A Dcheckpatch.pl40 my $file = 0;
303 'f|file!' => \$file,
941 close($file);
1049 my ($file) = @_;
1242 my $oldfile = $file;
1247 } elsif ($file) {
2476 my $file = $absolute;
2858 if ($file) {
3360 my $file = $1;
5756 my $file = "$1.h";
[all …]
A DCheckPatch.cmake109 file(GLOB_RECURSE source_files RELATIVE ${CMAKE_SOURCE_DIR} "*")
124 COMMAND ${CMAKE_COMMAND} -E echo "Checking file ${source_file}"
136 # checkpatch.pl failed for this file. Collect no.of errors and warnings
A Dspelling.txt10 # This file is taken from Linux kernel 5.15.0-rc2 at SHA:
/tools/clang-tidy/
A Dclang-tidy.cmake11 # Enabled checks can be configured in the .clang-tidy file.
125 message("Checking file ${source_file}")
128 # Run clang-tidy on each file, one at a time. Note that although this loop
136 # checks for every file!
194 file(GLOB_RECURSE all_files RELATIVE ${CMAKE_SOURCE_DIR} "*")

Completed in 49 milliseconds