Static analysis using PPI

[PerlOnTheWay]

my $a = 1;
..
my $b = func1($a);
..
sub t{
  my ($c) = @_;
}

t(func2($b));

Since Parse::Perl::Independant can parse Perl itself,is it possible to know that $c is first converted from $a and then converted from $b programatically(which is obvious for human)?

If yes,any advice?

[Corion]

Yes - look at type inference. For a language like Perl, real type inference and/or dataflow analysis will be limited, because eval can be used to overwrite call sequences in various places, as can glob assignment. But for a class of programs that don't do this, it is in theory possible.

[bluescreen]

Any static analysis over Perl code is not reliable Perl Cannot Be Parsed: A Formal Proof, in simple cases like this you might be able to trace the origins of a variable but as long as you attempt the same thing over more complex code you will get into trouble because the Perl parser adapts to the run time environment.

[Anonymous Monk]

FYI, FWIW, there is no such module named Parse::Perl::Independent :)