headers_check.pl 3.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162
  1. #!/usr/bin/perl -w
  2. #
  3. # headers_check.pl execute a number of trivial consistency checks
  4. #
  5. # Usage: headers_check.pl dir arch [files...]
  6. # dir: dir to look for included files
  7. # arch: architecture
  8. # files: list of files to check
  9. #
  10. # The script reads the supplied files line by line and:
  11. #
  12. # 1) for each include statement it checks if the
  13. # included file actually exists.
  14. # Only include files located in asm* and linux* are checked.
  15. # The rest are assumed to be system include files.
  16. #
  17. # 2) It is checked that prototypes does not use "extern"
  18. #
  19. # 3) Check for leaked CONFIG_ symbols
  20. use strict;
  21. use File::Basename;
  22. my ($dir, $arch, @files) = @ARGV;
  23. my $ret = 0;
  24. my $line;
  25. my $lineno = 0;
  26. my $filename;
  27. foreach my $file (@files) {
  28. $filename = $file;
  29. open(my $fh, '<', $filename)
  30. or die "$filename: $!\n";
  31. $lineno = 0;
  32. while ($line = <$fh>) {
  33. $lineno++;
  34. &check_include();
  35. &check_asm_types();
  36. &check_sizetypes();
  37. &check_declarations();
  38. # Dropped for now. Too much noise &check_config();
  39. }
  40. close $fh;
  41. }
  42. exit $ret;
  43. sub check_include
  44. {
  45. if ($line =~ m/^\s*#\s*include\s+<((asm|linux).*)>/) {
  46. my $inc = $1;
  47. my $found;
  48. $found = stat($dir . "/" . $inc);
  49. if (!$found) {
  50. $inc =~ s#asm/#asm-$arch/#;
  51. $found = stat($dir . "/" . $inc);
  52. }
  53. if (!$found) {
  54. printf STDERR "$filename:$lineno: included file '$inc' is not exported\n";
  55. $ret = 1;
  56. }
  57. }
  58. }
  59. sub check_declarations
  60. {
  61. if ($line =~m/^(\s*extern|unsigned|char|short|int|long|void)\b/) {
  62. printf STDERR "$filename:$lineno: " .
  63. "userspace cannot reference function or " .
  64. "variable defined in the kernel\n";
  65. }
  66. }
  67. sub check_config
  68. {
  69. if ($line =~ m/[^a-zA-Z0-9_]+CONFIG_([a-zA-Z0-9_]+)[^a-zA-Z0-9_]/) {
  70. printf STDERR "$filename:$lineno: leaks CONFIG_$1 to userspace where it is not valid\n";
  71. }
  72. }
  73. my $linux_asm_types;
  74. sub check_asm_types
  75. {
  76. if ($filename =~ /types.h|int-l64.h|int-ll64.h/o) {
  77. return;
  78. }
  79. if ($lineno == 1) {
  80. $linux_asm_types = 0;
  81. } elsif ($linux_asm_types >= 1) {
  82. return;
  83. }
  84. if ($line =~ m/^\s*#\s*include\s+<asm\/types.h>/) {
  85. $linux_asm_types = 1;
  86. printf STDERR "$filename:$lineno: " .
  87. "include of <linux/types.h> is preferred over <asm/types.h>\n"
  88. # Warn until headers are all fixed
  89. #$ret = 1;
  90. }
  91. }
  92. my $linux_types;
  93. my %import_stack = ();
  94. sub check_include_typesh
  95. {
  96. my $path = $_[0];
  97. my $import_path;
  98. my $fh;
  99. my @file_paths = ($path, $dir . "/" . $path, dirname($filename) . "/" . $path);
  100. for my $possible ( @file_paths ) {
  101. if (not $import_stack{$possible} and open($fh, '<', $possible)) {
  102. $import_path = $possible;
  103. $import_stack{$import_path} = 1;
  104. last;
  105. }
  106. }
  107. if (eof $fh) {
  108. return;
  109. }
  110. my $line;
  111. while ($line = <$fh>) {
  112. if ($line =~ m/^\s*#\s*include\s+<linux\/types.h>/) {
  113. $linux_types = 1;
  114. last;
  115. }
  116. if (my $included = ($line =~ /^\s*#\s*include\s+[<"](\S+)[>"]/)[0]) {
  117. check_include_typesh($included);
  118. }
  119. }
  120. close $fh;
  121. delete $import_stack{$import_path};
  122. }
  123. sub check_sizetypes
  124. {
  125. if ($filename =~ /types.h|int-l64.h|int-ll64.h/o) {
  126. return;
  127. }
  128. if ($lineno == 1) {
  129. $linux_types = 0;
  130. } elsif ($linux_types >= 1) {
  131. return;
  132. }
  133. if ($line =~ m/^\s*#\s*include\s+<linux\/types.h>/) {
  134. $linux_types = 1;
  135. return;
  136. }
  137. if (my $included = ($line =~ /^\s*#\s*include\s+[<"](\S+)[>"]/)[0]) {
  138. check_include_typesh($included);
  139. }
  140. if ($line =~ m/__[us](8|16|32|64)\b/) {
  141. printf STDERR "$filename:$lineno: " .
  142. "found __[us]{8,16,32,64} type " .
  143. "without #include <linux/types.h>\n";
  144. $linux_types = 2;
  145. # Warn until headers are all fixed
  146. #$ret = 1;
  147. }
  148. }