| fbrosson | 533407a | 2018-04-04 21:44:29 +0000 | [diff] [blame] | 1 | #!/usr/bin/env perl | 
| Manuel Pégourié-Gonnard | fd60a5c | 2014-11-12 22:54:24 +0100 | [diff] [blame] | 2 |  | 
|  | 3 | # Find functions making recursive calls to themselves. | 
|  | 4 | # (Multiple recursion where a() calls b() which calls a() not covered.) | 
|  | 5 | # | 
|  | 6 | # When the recursion depth might depend on data controlled by the attacker in | 
|  | 7 | # an unbounded way, those functions should use interation instead. | 
|  | 8 | # | 
|  | 9 | # Typical usage: scripts/recursion.pl library/*.c | 
|  | 10 |  | 
|  | 11 | use warnings; | 
|  | 12 | use strict; | 
|  | 13 |  | 
|  | 14 | use utf8; | 
|  | 15 | use open qw(:std utf8); | 
|  | 16 |  | 
|  | 17 | # exclude functions that are ok: | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 18 | # - mpi_write_hlp: bounded by size of mbedtls_mpi, a compile-time constant | 
|  | 19 | # - x509_crt_verify_child: bounded by MBEDTLS_X509_MAX_INTERMEDIATE_CA | 
| Manuel Pégourié-Gonnard | 10c44d7 | 2014-11-20 17:30:37 +0100 | [diff] [blame] | 20 | my $known_ok = qr/mpi_write_hlp|x509_crt_verify_child/; | 
| Manuel Pégourié-Gonnard | fd60a5c | 2014-11-12 22:54:24 +0100 | [diff] [blame] | 21 |  | 
|  | 22 | my $cur_name; | 
|  | 23 | my $inside; | 
|  | 24 | my @funcs; | 
|  | 25 |  | 
|  | 26 | die "Usage: $0 file.c [...]\n" unless @ARGV; | 
|  | 27 |  | 
|  | 28 | while (<>) | 
|  | 29 | { | 
|  | 30 | if( /^[^\/#{}\s]/ && ! /\[.*]/ ) { | 
|  | 31 | chomp( $cur_name = $_ ) unless $inside; | 
|  | 32 | } elsif( /^{/ && $cur_name ) { | 
|  | 33 | $inside = 1; | 
|  | 34 | $cur_name =~ s/.* ([^ ]*)\(.*/$1/; | 
|  | 35 | } elsif( /^}/ && $inside ) { | 
|  | 36 | undef $inside; | 
|  | 37 | undef $cur_name; | 
|  | 38 | } elsif( $inside && /\b\Q$cur_name\E\([^)]/ ) { | 
|  | 39 | push @funcs, $cur_name unless /$known_ok/; | 
|  | 40 | } | 
|  | 41 | } | 
|  | 42 |  | 
|  | 43 | print "$_\n" for @funcs; | 
|  | 44 | exit @funcs; |