3 # (c) 2017 Tobin C. Harding <me@tobin.cc>
4 # Licensed under the terms of the GNU GPL License version 2
6 # leaking_addresses.pl: Scan the kernel for potential leaking addresses.
7 # - Scans dmesg output.
8 # - Walks directory tree and parses each file (for each directory in @DIRS).
10 # Use --debug to output path before parsing, this is useful to find files that
11 # cause the script to choke.
14 # When the system is idle it is likely that most files under /proc/PID will be
15 # identical for various processes. Scanning _all_ the PIDs under /proc is
16 # unnecessary and implies that we are thoroughly scanning /proc. This is _not_
17 # the case because there may be ways userspace can trigger creation of /proc
18 # files that leak addresses but were not present during a scan. For these two
19 # reasons we exclude all PID directories under /proc except '1/'
27 use Term
::ANSIColor
qw(:constants);
28 use Getopt
::Long
qw(:config no_auto_abbrev);
35 # Directories to scan.
36 my @DIRS = ('/proc', '/sys');
38 # Timer for parsing each file, in seconds.
41 # Kernel addresses vary by architecture. We can only auto-detect the following
42 # architectures (using `uname -m`). (flag --32-bit overrides auto-detection.)
43 my @SUPPORTED_ARCHITECTURES = ('x86_64', 'ppc64', 'x86');
45 # Command line options.
49 my $output_raw = ""; # Write raw results to file.
50 my $input_raw = ""; # Read raw results from file instead of scanning.
51 my $suppress_dmesg = 0; # Don't show dmesg in output.
52 my $squash_by_path = 0; # Summary report grouped by absolute path.
53 my $squash_by_filename = 0; # Summary report grouped by filename.
54 my $kernel_config_file = ""; # Kernel configuration file.
55 my $opt_32bit = 0; # Scan 32-bit kernel.
56 my $page_offset_32bit = 0; # Page offset for 32-bit kernel.
58 # Skip these absolute paths.
63 '/sys/firmware/devicetree',
64 '/sys/kernel/debug/tracing/trace_pipe',
65 '/sys/kernel/security/apparmor/revision');
67 # Skip these under any subdirectory.
90 -o
, --output
-raw
=<file
> Save results
for future processing
.
91 -i
, --input
-raw
=<file
> Read results from file instead of scanning
.
92 --raw Show raw results
(default).
93 --suppress
-dmesg Do
not show dmesg results
.
94 --squash
-by
-path Show one result per unique path
.
95 --squash
-by
-filename Show one result per unique filename
.
96 --kernel
-config
-file
=<file
> Kernel configuration file
(e
.g
/boot/config
)
97 --32-bit Scan
32-bit kernel
.
98 --page
-offset
-32-bit
=o Page offset
(for 32-bit kernel
0xABCD1234).
99 -d
, --debug Display debugging output
.
100 -h
, --help
, --version Display this help
and exit.
102 Scans the running kernel
for potential leaking addresses
.
109 'd|debug' => \
$debug,
112 'o|output-raw=s' => \
$output_raw,
113 'i|input-raw=s' => \
$input_raw,
114 'suppress-dmesg' => \
$suppress_dmesg,
115 'squash-by-path' => \
$squash_by_path,
116 'squash-by-filename' => \
$squash_by_filename,
118 'kernel-config-file=s' => \
$kernel_config_file,
119 '32-bit' => \
$opt_32bit,
120 'page-offset-32-bit=o' => \
$page_offset_32bit,
126 format_output
($input_raw);
130 if (!$input_raw and ($squash_by_path or $squash_by_filename)) {
131 printf "\nSummary reporting only available with --input-raw=<file>\n";
132 printf "(First run scan with --output-raw=<file>.)\n";
136 if (!(is_supported_architecture
() or $opt_32bit or $page_offset_32bit)) {
137 printf "\nScript does not support your architecture, sorry.\n";
138 printf "\nCurrently we support: \n\n";
139 foreach(@SUPPORTED_ARCHITECTURES) {
144 printf("If you are running a 32-bit architecture you may use:\n");
145 printf("\n\t--32-bit or --page-offset-32-bit=<page offset>\n\n");
147 my $archname = `uname -m`;
148 printf("Machine hardware name (`uname -m`): %s\n", $archname);
154 open my $fh, '>', $output_raw or die "$0: $output_raw: $!\n";
165 printf(STDERR
@_) if $debug;
168 sub is_supported_architecture
170 return (is_x86_64
() or is_ppc64
() or is_ix86_32
());
175 # Allow --32-bit or --page-offset-32-bit to override
176 if ($opt_32bit or $page_offset_32bit) {
185 state $arch = `uname -m`;
188 if ($arch =~ m/i[3456]86/) {
197 my $arch = `uname -m`;
200 if ($arch eq $desc) {
208 state $is = is_arch
('x86_64');
214 state $is = is_arch
('ppc64');
218 # Gets config option value from kernel config file.
219 # Returns "" on error or if config option not found.
220 sub get_kernel_config_option
227 # Allow --kernel-config-file to override.
228 if ($kernel_config_file ne "") {
229 @config_files = ($kernel_config_file);
230 } elsif (-R
"/proc/config.gz") {
231 my $tmp_file = "/tmp/tmpkconf";
233 if (system("gunzip < /proc/config.gz > $tmp_file")) {
234 dprint
"$0: system(gunzip < /proc/config.gz) failed\n";
237 @config_files = ($tmp_file);
240 my $file = '/boot/config-' . `uname -r`;
242 @config_files = ($file, '/boot/config');
245 foreach my $file (@config_files) {
246 dprint
("parsing config file: %s\n", $file);
247 $value = option_from_file
($option, $file);
253 if ($tmp_file ne "") {
254 system("rm -f $tmp_file");
260 # Parses $file and returns kernel configuration option value.
263 my ($option, $file) = @_;
267 open(my $fh, "<", $file) or return "";
268 while (my $line = <$fh> ) {
269 if ($line =~ /^$option/) {
270 ($str, $val) = split /=/, $line;
280 sub is_false_positive
285 return is_false_positive_32bit
($match);
288 # 64 bit false positives.
290 if ($match =~ '\b(0x)?(f|F){16}\b' or
291 $match =~ '\b(0x)?0{16}\b') {
295 if (is_x86_64
() and is_in_vsyscall_memory_region
($match)) {
302 sub is_false_positive_32bit
305 state $page_offset = get_page_offset
();
307 if ($match =~ '\b(0x)?(f|F){8}\b') {
311 if (hex($match) < $page_offset) {
318 # returns integer value
322 my $default_offset = 0xc0000000;
324 # Allow --page-offset-32bit to override.
325 if ($page_offset_32bit != 0) {
326 return $page_offset_32bit;
329 $page_offset = get_kernel_config_option
('CONFIG_PAGE_OFFSET');
331 return $default_offset;
336 sub is_in_vsyscall_memory_region
340 my $hex = hex($match);
341 my $region_min = hex("0xffffffffff600000");
342 my $region_max = hex("0xffffffffff601000");
344 return ($hex >= $region_min and $hex <= $region_max);
347 # True if argument potentially contains a kernel address.
354 if ($line =~ '^SigBlk:' or
355 $line =~ '^SigIgn:' or
356 $line =~ '^SigCgt:') {
360 if ($line =~ '\bKEY=[[:xdigit:]]{14} [[:xdigit:]]{16} [[:xdigit:]]{16}\b' or
361 $line =~ '\b[[:xdigit:]]{14} [[:xdigit:]]{16} [[:xdigit:]]{16}\b') {
365 $address_re = get_address_re
();
366 while ($line =~ /($address_re)/g) {
367 if (!is_false_positive
($1)) {
378 return '\b(0x)?[89abcdef]00[[:xdigit:]]{13}\b';
379 } elsif (is_32bit
()) {
380 return '\b(0x)?[[:xdigit:]]{8}\b';
383 return get_x86_64_re
();
388 # We handle page table levels but only if explicitly configured using
389 # CONFIG_PGTABLE_LEVELS. If config file parsing fails or config option
390 # is not found we default to using address regular expression suitable
391 # for 4 page table levels.
392 state $ptl = get_kernel_config_option
('CONFIG_PGTABLE_LEVELS');
395 return '\b(0x)?ff[[:xdigit:]]{14}\b';
397 return '\b(0x)?ffff[[:xdigit:]]{12}\b';
402 open my $cmd, '-|', 'dmesg';
404 if (may_leak_address
($_)) {
405 print 'dmesg: ' . $_;
411 # True if we should skip this path.
416 foreach (@skip_abs) {
417 return 1 if (/^$path$/);
420 my($filename, $dirs, $suffix) = fileparse
($path);
421 foreach (@skip_any) {
422 return 1 if (/^$filename$/);
433 local $SIG{ALRM
} = sub { die "alarm\n" }; # NB: \n required.
440 die unless $@
eq "alarm\n"; # Propagate unexpected errors.
441 printf STDERR
"timed out parsing: %s\n", $file;
457 open my $fh, "<", $file or return;
459 if (may_leak_address
($_)) {
460 print $file . ': ' . $_;
466 # Checks if the actual path name is leaking a kernel address.
467 sub check_path_for_leaks
471 if (may_leak_address
($path)) {
472 printf("Path name may contain address: $path\n");
476 # Recursively walk directory tree.
481 while (my $pwd = shift @dirs) {
482 next if (!opendir(DIR
, $pwd));
483 my @files = readdir(DIR
);
486 foreach my $file (@files) {
487 next if ($file eq '.' or $file eq '..');
489 my $path = "$pwd/$file";
492 # skip /proc/PID except /proc/1
493 next if (($path =~ /^\/proc\
/[0-9]+$/) &&
494 ($path !~ /^\/proc\
/1$/));
496 next if (skip
($path));
498 check_path_for_leaks
($path);
505 dprint
"parsing: $path\n";
506 timed_parse_file
($path);
515 # Default is to show raw results.
516 if ($raw or (!$squash_by_path and !$squash_by_filename)) {
517 dump_raw_output
($file);
521 my ($total, $dmesg, $paths, $files) = parse_raw_file
($file);
523 printf "\nTotal number of results from scan (incl dmesg): %d\n", $total;
525 if (!$suppress_dmesg) {
529 if ($squash_by_filename) {
530 squash_by
($files, 'filename');
533 if ($squash_by_path) {
534 squash_by
($paths, 'path');
542 open (my $fh, '<', $file) or die "$0: $file: $!\n";
544 if ($suppress_dmesg) {
545 if ("dmesg:" eq substr($_, 0, 6)) {
558 my $total = 0; # Total number of lines parsed.
559 my @dmesg; # dmesg output.
560 my %files; # Unique filenames containing leaks.
561 my %paths; # Unique paths containing leaks.
563 open (my $fh, '<', $file) or die "$0: $file: $!\n";
564 while (my $line = <$fh>) {
567 if ("dmesg:" eq substr($line, 0, 6)) {
572 cache_path
(\
%paths, $line);
573 cache_filename
(\
%files, $line);
576 return $total, \
@dmesg, \
%paths, \
%files;
583 print "\ndmesg output:\n";
586 print "<no results>\n";
591 my $index = index($_, ': ');
592 $index += 2; # skid ': '
593 print substr($_, $index);
599 my ($ref, $desc) = @_;
601 print "\nResults squashed by $desc (excl dmesg). ";
602 print "Displaying [<number of results> <$desc>], <example result>\n";
604 if (keys %$ref == 0) {
605 print "<no results>\n";
609 foreach(keys %$ref) {
610 my $lines = $ref->{$_};
611 my $length = @
$lines;
612 printf "[%d %s] %s", $length, $_, @
$lines[0];
618 my ($paths, $line) = @_;
620 my $index = index($line, ': ');
621 my $path = substr($line, 0, $index);
623 $index += 2; # skip ': '
624 add_to_cache
($paths, $path, substr($line, $index));
629 my ($files, $line) = @_;
631 my $index = index($line, ': ');
632 my $path = substr($line, 0, $index);
633 my $filename = basename
($path);
635 $index += 2; # skip ': '
636 add_to_cache
($files, $filename, substr($line, $index));
641 my ($cache, $key, $value) = @_;
643 if (!$cache->{$key}) {
646 push @
{$cache->{$key}}, $value;