nscheck.in 1.65 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47
#!/usr/bin/perl -wT
use English;
use Getopt::Std;

#
# Syntax check an NS file.
#
# usage: nscheck <nsfile>
#
sub usage()
{
    print STDOUT "Usage: nscheck <nsfile>\n";
    exit(-1);
}
my  $optlist = "";

#
# Configure variables
#
my $TB       = "@prefix@";

my $tbbindir = "$TB/bin/";

#
# Turn off line buffering on output
#
$| = 1;

#
# Untaint the path
# 
$ENV{'PATH'} = "/bin:/usr/bin:$TB/libexec:$TB/libexec/ir".
    ":$TB/libexec/ns2ir:$TB/sbin:$TB/bin";
delete @ENV{'IFS', 'CDPATH', 'ENV', 'BASH_ENV'};


#
# Parse command arguments. Once we return from getopts, all that should
# left are the required arguments.
#
%options = ();
if (! getopts($optlist, \%options)) {
    usage();
}
if (@ARGV != 1) {
    usage();
}
Leigh B. Stoller's avatar
Leigh B. Stoller committed
48
my ($tempfile) = @ARGV;
49 50 51 52 53 54 55 56

#
# Untaint the arguments.
#
# Note different taint check (allow /).
if ($tempfile =~ /^([-\@\w.\/]+)$/) {
    $tempfile = $1;
}
Leigh B. Stoller's avatar
Leigh B. Stoller committed
57

58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79
else {
    fatal("Tainted argument $tempfile");
}

$nsfile    = "foo.ns";

#
# Make a temp dir and copy the NS file into it. We run the scripts
# from that directory cause it writes temp files.
# 
$dirname = "/tmp/parse-$$";

mkdir($dirname, 0775) or
    fatal("Could not mkdir $dirname");

chdir($dirname) or
    fatal("Could not chdir to $dirname");

if (system("/bin/cp", "$tempfile", "$nsfile")) {
    fatal("Could not copy $tempfile to $dirname");
}

Leigh B. Stoller's avatar
Leigh B. Stoller committed
80 81 82
# Run parse in impotent mode on the NS file.  This has no effect but
# will display any errors.

83
if (system("parse-ns -n -a $nsfile") != 0) {
84 85 86 87 88 89 90 91 92 93 94 95 96 97 98
    fatal("NS Parse failed!");
}

system("/bin/rm", "-rf", "$dirname");
exit 0;

sub fatal($)
{
    my($mesg) = $_[0];

    print STDOUT "$mesg\n";

    system("/bin/rm", "-rf", "$dirname");
    exit(-1);
}