枚举变量扩展

在很多配置文件中，都会牵涉到变量扩展，一个变量会有多少种可能的扩展结果，这在静态分析中非常重要。这里给出一个算法：

使用 perl 来表达(expand.pl)，变量引用使用统一的形式：${varname}

Whoops, CSDN 竟然不支持 perl code, 用 ruby 做高亮，可能会有点问题

#!/usr/bin/env perl use strict; my %vars = (); # cross array array sub cross_aa($$) { my ($tx, $ty) = @_; my @res = (); for my $x (@$tx) { for my $y (@$ty) { push @res, $x.$y; } } return /@res; } sub expandexpr($) { my ($expr) = @_; my $res1 = [ "" ]; print "expand('$expr')/n"; while ($expr =~ m/(/$/{([/w.-]+)/})|([^/$]+)/g) { if ($3) { # join array scalar for (my $i = 0; $i < @$res1; ++$i) { $res1->[$i] .= $3; } } elsif ($1) { my @res2 = (); my $ty = $vars{$2}; for my $y (@$ty) { my $xy = cross_aa($res1, expandexpr($y)); push @res2, @$xy; } $res1 = /@res2; } else { print STDERR "bad expr=$expr, remain=$'/n"; } } return $res1; }

 

 

程序主控逻辑：

 

my @toExpand = (); for (my $i = 0; $i < @ARGV; ++$i) { if ($ARGV[$i] eq "-v") { push @toExpand, $ARGV[++$i]; } } while (<STDIN>) { if (m/([/w.-]+)/s*=(.*)$/g) { my $name = $1; my $val = $2; push @{$vars{$name}}, $val; } } for my $expr (@toExpand) { my $res = expandexpr("$expr"); print "expr:$expr/n"; for my $z (@$res) { print "/t:$z/n"; } }

 

使用一个简单的例子来测试一下(var.txt)：

a=AA_ a=11_ b=BB_${a}${a} b=22_${a}${a} x=XX_${b}${a}${b} y=YY_${a}${x}

 

命令： ./expand.pl -v '$y' < var.txt

输出结果：

:YY_AA_XX_BB_AA_AA_AA_BB_AA_AA_ :YY_AA_XX_BB_AA_AA_AA_BB_11_AA_ :YY_AA_XX_BB_AA_AA_AA_BB_AA_11_ :YY_AA_XX_BB_AA_AA_AA_BB_11_11_ :YY_AA_XX_BB_11_AA_AA_BB_AA_AA_ :YY_AA_XX_BB_11_AA_AA_BB_11_AA_ :YY_AA_XX_BB_11_AA_AA_BB_AA_11_ ..................................... too long, 256 lines, you know why it is. :)