枚举变量扩展

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

使用 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. :)