>whether it is valid Perl And why that information may be valuable? You cannot say anything about whether it works or it doesn't. "This is valid C++ code, but

>whether it is valid Perl And why that information may be valuable? You cannot say anything about whether it works or it doesn't. "This is valid C++ code, but it dumps a core on null pointer dereference here and there." -- is that information very useful? How exactly? I see an only one ephemerical goal that was a Holy Grail for academia and static analysis was primarily developed to approach it -- formal verification. But it's dead and buried outside an academia and noone cried at the funeral.