t/op/taint.t

   1 #!./perl -T
   2 #
   3 # Taint tests by Tom Phoenix <rootbeer@teleport.com>.
   4 #
   5 # I don't claim to know all about tainting. If anyone sees
   6 # tests that I've missed here, please add them. But this is
   7 # better than having no tests at all, right?
   8 #
   9
  10 BEGIN {
  11     chdir 't' if -d 't';
  12     @INC = '../lib';
  13     require './test.pl';
  14     skip_all_if_miniperl("no dynamic loading on miniperl, no re");
  15 }
  16
  17 use strict;
  18 use Config;
  19
  20 plan tests => 786;
  21
  22 $| = 1;
  23
  24 use vars qw($ipcsysv); # did we manage to load IPC::SysV?
  25
  26 my ($old_env_path, $old_env_dcl_path, $old_env_term);
  27 BEGIN {
  28    $old_env_path = $ENV{'PATH'};
  29    $old_env_dcl_path = $ENV{'DCL$PATH'};
  30    $old_env_term = $ENV{'TERM'};
  31   if ($^O eq 'VMS' && !defined($Config{d_setenv})) {
  32       $ENV{PATH} = $ENV{PATH};
  33       $ENV{TERM} = $ENV{TERM} ne ''? $ENV{TERM} : 'dummy';
  34   }
  35   if ($Config{'extensions'} =~ /\bIPC\/SysV\b/
  36       && ($Config{d_shm} || $Config{d_msg})) {
  37       eval { require IPC::SysV };
  38       unless ($@) {
  39           $ipcsysv++;
  40           IPC::SysV->import(qw(IPC_PRIVATE IPC_RMID IPC_CREAT S_IRWXU IPC_NOWAIT));
  41       }
  42   }
  43 }
  44
  45 my $Is_VMS      = $^O eq 'VMS';
  46 my $Is_MSWin32  = $^O eq 'MSWin32';
  47 my $Is_NetWare  = $^O eq 'NetWare';
  48 my $Is_Dos      = $^O eq 'dos';
  49 my $Is_Cygwin   = $^O eq 'cygwin';
  50 my $Is_OpenBSD  = $^O eq 'openbsd';
  51 my $Is_MirBSD   = $^O eq 'mirbsd';
  52 my $Invoke_Perl = $Is_VMS      ? 'MCR Sys$Disk:[]Perl.exe' :
  53                   $Is_MSWin32  ? '.\perl'               :
  54                   $Is_NetWare  ? 'perl'                 :
  55                                  './perl'               ;
  56 my @MoreEnv = qw/IFS CDPATH ENV BASH_ENV/;
  57
  58 if ($Is_VMS) {
  59     my (%old, $x);
  60     for $x ('DCL$PATH', @MoreEnv) {
  61         ($old{$x}) = $ENV{$x} =~ /^(.*)$/ if exists $ENV{$x};
  62     }
  63     # VMS note:  PATH and TERM are automatically created by the C
  64     # library in VMS on reference to the their keys in %ENV.
  65     # There is currently no way to determine if they did not exist
  66     # before this test was run.
  67     eval <<EndOfCleanup;
  68         END {
  69             \$ENV{PATH} = \$old_env_path;
  70             warn "# Note: logical name 'PATH' may have been created\n";
  71             \$ENV{'TERM'} = \$old_env_term;
  72             warn "# Note: logical name 'TERM' may have been created\n";
  73             \@ENV{keys %old} = values %old;
  74             if (defined \$old_env_dcl_path) {
  75                 \$ENV{'DCL\$PATH'} = \$old_env_dcl_path;
  76             } else {
  77                 delete \$ENV{'DCL\$PATH'};
  78             }
  79         }
  80 EndOfCleanup
  81 }
  82
  83 # Sources of taint:
  84 #   The empty tainted value, for tainting strings
  85 my $TAINT = substr($^X, 0, 0);
  86 #   A tainted zero, useful for tainting numbers
  87 my $TAINT0;
  88 {
  89     no warnings;
  90     $TAINT0 = 0 + $TAINT;
  91 }
  92
  93 # This taints each argument passed. All must be lvalues.
  94 # Side effect: It also stringifies them. :-(
  95 sub taint_these (@) {
  96     for (@_) { $_ .= $TAINT }
  97 }
  98
  99 # How to identify taint when you see it
 100 sub tainted ($) {
 101     not eval { join("",@_), kill 0; 1 };
 102 }
 103
 104 sub is_tainted {
 105     my $thing = shift;
 106     local $::Level = $::Level + 1;
 107     ok(tainted($thing), @_);
 108 }
 109
 110 sub isnt_tainted {
 111     my $thing = shift;
 112     local $::Level = $::Level + 1;
 113     ok(!tainted($thing), @_);
 114 }
 115
 116 sub violates_taint {
 117     my ($code, $what, $desc) = @_;
 118     $desc //= $what;
 119     local $::Level = $::Level + 1;
 120     is(eval { $code->(); }, undef, $desc);
 121     like($@, qr/^Insecure dependency in $what while running with -T switch/);
 122 }
 123
 124 # We need an external program to call.
 125 my $ECHO = ($Is_MSWin32 ? ".\\echo$$" : ($Is_NetWare ? "echo$$" : "./echo$$"));
 126 END { unlink $ECHO }
 127 open my $fh, '>', $ECHO or die "Can't create $ECHO: $!";
 128 print $fh 'print "@ARGV\n"', "\n";
 129 close $fh;
 130 my $echo = "$Invoke_Perl $ECHO";
 131
 132 my $TEST = 'TEST';
 133
 134 # First, let's make sure that Perl is checking the dangerous
 135 # environment variables. Maybe they aren't set yet, so we'll
 136 # taint them ourselves.
 137 {
 138     $ENV{'DCL$PATH'} = '' if $Is_VMS;
 139
 140     $ENV{PATH} = ($Is_Cygwin) ? '/usr/bin' : '';
 141     delete @ENV{@MoreEnv};
 142     $ENV{TERM} = 'dumb';
 143
 144     is(eval { `$echo 1` }, "1\n");
 145
 146     SKIP: {
 147         skip "Environment tainting tests skipped", 4
 148           if $Is_MSWin32 || $Is_NetWare || $Is_VMS || $Is_Dos;
 149
 150         my @vars = ('PATH', @MoreEnv);
 151         while (my $v = $vars[0]) {
 152             local $ENV{$v} = $TAINT;
 153             last if eval { `$echo 1` };
 154             last unless $@ =~ /^Insecure \$ENV{$v}/;
 155             shift @vars;
 156         }
 157         is("@vars", "");
 158
 159         # tainted $TERM is unsafe only if it contains metachars
 160         local $ENV{TERM};
 161         $ENV{TERM} = 'e=mc2';
 162         is(eval { `$echo 1` }, "1\n");
 163         $ENV{TERM} = 'e=mc2' . $TAINT;
 164         is(eval { `$echo 1` }, undef);
 165         like($@, qr/^Insecure \$ENV{TERM}/);
 166     }
 167
 168     my $tmp;
 169     if ($^O eq 'os2' || $^O eq 'amigaos' || $Is_MSWin32 || $Is_NetWare || $Is_Dos) {
 170         print "# all directories are writeable\n";
 171     }
 172     else {
 173         $tmp = (grep { defined and -d and (stat _)[2] & 2 }
 174                      qw(sys$scratch /tmp /var/tmp /usr/tmp),
 175                      @ENV{qw(TMP TEMP)})[0]
 176             or print "# can't find world-writeable directory to test PATH\n";
 177     }
 178
 179     SKIP: {
 180         skip "all directories are writeable", 2 unless $tmp;
 181
 182         local $ENV{PATH} = $tmp;
 183         is(eval { `$echo 1` }, undef);
 184         like($@, qr/^Insecure directory in \$ENV{PATH}/);
 185     }
 186
 187     SKIP: {
 188         skip "This is not VMS", 4 unless $Is_VMS;
 189
 190         $ENV{'DCL$PATH'} = $TAINT;
 191         is(eval { `$echo 1` }, undef);
 192         like($@, qr/^Insecure \$ENV{DCL\$PATH}/);
 193         SKIP: {
 194             skip q[can't find world-writeable directory to test DCL$PATH], 2
 195               unless $tmp;
 196
 197             $ENV{'DCL$PATH'} = $tmp;
 198             is(eval { `$echo 1` }, undef);
 199             like($@, qr/^Insecure directory in \$ENV{DCL\$PATH}/);
 200         }
 201         $ENV{'DCL$PATH'} = '';
 202     }
 203 }
 204
 205 # Let's see that we can taint and untaint as needed.
 206 {
 207     my $foo = $TAINT;
 208     is_tainted($foo);
 209
 210     # That was a sanity check. If it failed, stop the insanity!
 211     die "Taint checks don't seem to be enabled" unless tainted $foo;
 212
 213     $foo = "foo";
 214     isnt_tainted($foo);
 215
 216     taint_these($foo);
 217     is_tainted($foo);
 218
 219     my @list = 1..10;
 220     isnt_tainted($_) foreach @list;
 221     taint_these @list[1,3,5,7,9];
 222     is_tainted($_) foreach @list[1,3,5,7,9];
 223     isnt_tainted($_) foreach @list[0,2,4,6,8];
 224
 225     ($foo) = $foo =~ /(.+)/;
 226     isnt_tainted($foo);
 227
 228     my ($desc, $s, $res, $res2, $one);
 229
 230     $desc = "match with string tainted";
 231
 232     $s = 'abcd' . $TAINT;
 233     $res = $s =~ /(.+)/;
 234     $one = $1;
 235     is_tainted($s,     "$desc: s tainted");
 236     isnt_tainted($res, "$desc: res not tainted");
 237     isnt_tainted($one, "$desc: \$1 not tainted");
 238     is($res, 1,        "$desc: res value");
 239     is($one, 'abcd',   "$desc: \$1 value");
 240
 241     $desc = "match /g with string tainted";
 242
 243     $s = 'abcd' . $TAINT;
 244     $res = $s =~ /(.)/g;
 245     $one = $1;
 246     is_tainted($s,     "$desc: s tainted");
 247     isnt_tainted($res, "$desc: res not tainted");
 248     isnt_tainted($one, "$desc: \$1 not tainted");
 249     is($res, 1,        "$desc: res value");
 250     is($one, 'a',      "$desc: \$1 value");
 251
 252     $desc = "match with string tainted, list cxt";
 253
 254     $s = 'abcd' . $TAINT;
 255     ($res) = $s =~ /(.+)/;
 256     $one = $1;
 257     is_tainted($s,     "$desc: s tainted");
 258     isnt_tainted($res, "$desc: res not tainted");
 259     isnt_tainted($one, "$desc: \$1 not tainted");
 260     is($res, 'abcd',   "$desc: res value");
 261     is($one, 'abcd',   "$desc: \$1 value");
 262
 263     $desc = "match /g with string tainted, list cxt";
 264
 265     $s = 'abcd' . $TAINT;
 266     ($res, $res2) = $s =~ /(.)/g;
 267     $one = $1;
 268     is_tainted($s,     "$desc: s tainted");
 269     isnt_tainted($res, "$desc: res not tainted");
 270     isnt_tainted($res2,"$desc: res2 not tainted");
 271     isnt_tainted($one, "$desc: \$1 not tainted");
 272     is($res, 'a',      "$desc: res value");
 273     is($res2,'b',      "$desc: res2 value");
 274     is($one, 'd',      "$desc: \$1 value");
 275
 276     $desc = "match with pattern tainted";
 277
 278     $s = 'abcd';
 279     $res = $s =~ /$TAINT(.+)/;
 280     $one = $1;
 281     isnt_tainted($s,   "$desc: s not tainted");
 282     isnt_tainted($res, "$desc: res not tainted");
 283     is_tainted($one,   "$desc: \$1 tainted");
 284     is($res, 1,        "$desc: res value");
 285     is($one, 'abcd',   "$desc: \$1 value");
 286
 287     $desc = "match /g with pattern tainted";
 288
 289     $s = 'abcd';
 290     $res = $s =~ /$TAINT(.)/g;
 291     $one = $1;
 292     isnt_tainted($s,   "$desc: s not tainted");
 293     isnt_tainted($res, "$desc: res not tainted");
 294     is_tainted($one,   "$desc: \$1 tainted");
 295     is($res, 1,        "$desc: res value");
 296     is($one, 'a',      "$desc: \$1 value");
 297
 298     $desc = "match with pattern tainted via locale";
 299
 300     $s = 'abcd';
 301     { use locale; $res = $s =~ /(\w+)/; $one = $1; }
 302     isnt_tainted($s,   "$desc: s not tainted");
 303     isnt_tainted($res, "$desc: res not tainted");
 304     is_tainted($one,   "$desc: \$1 tainted");
 305     is($res, 1,        "$desc: res value");
 306     is($one, 'abcd',   "$desc: \$1 value");
 307
 308     $desc = "match /g with pattern tainted via locale";
 309
 310     $s = 'abcd';
 311     { use locale; $res = $s =~ /(\w)/g; $one = $1; }
 312     isnt_tainted($s,   "$desc: s not tainted");
 313     isnt_tainted($res, "$desc: res not tainted");
 314     is_tainted($one,   "$desc: \$1 tainted");
 315     is($res, 1,        "$desc: res value");
 316     is($one, 'a',      "$desc: \$1 value");
 317
 318     $desc = "match with pattern tainted, list cxt";
 319
 320     $s = 'abcd';
 321     ($res) = $s =~ /$TAINT(.+)/;
 322     $one = $1;
 323     isnt_tainted($s,   "$desc: s not tainted");
 324     is_tainted($res,   "$desc: res tainted");
 325     is_tainted($one,   "$desc: \$1 tainted");
 326     is($res, 'abcd',   "$desc: res value");
 327     is($one, 'abcd',   "$desc: \$1 value");
 328
 329     $desc = "match /g with pattern tainted, list cxt";
 330
 331     $s = 'abcd';
 332     ($res, $res2) = $s =~ /$TAINT(.)/g;
 333     $one = $1;
 334     isnt_tainted($s,   "$desc: s not tainted");
 335     is_tainted($res,   "$desc: res tainted");
 336     is_tainted($one,   "$desc: \$1 tainted");
 337     is($res, 'a',      "$desc: res value");
 338     is($res2,'b',      "$desc: res2 value");
 339     is($one, 'd',      "$desc: \$1 value");
 340
 341     $desc = "match with pattern tainted via locale, list cxt";
 342
 343     $s = 'abcd';
 344     { use locale; ($res) = $s =~ /(\w+)/; $one = $1; }
 345     isnt_tainted($s,   "$desc: s not tainted");
 346     is_tainted($res,   "$desc: res tainted");
 347     is_tainted($one,   "$desc: \$1 tainted");
 348     is($res, 'abcd',   "$desc: res value");
 349     is($one, 'abcd',   "$desc: \$1 value");
 350
 351     $desc = "match /g with pattern tainted via locale, list cxt";
 352
 353     $s = 'abcd';
 354     { use locale; ($res, $res2) = $s =~ /(\w)/g; $one = $1; }
 355     isnt_tainted($s,   "$desc: s not tainted");
 356     is_tainted($res,   "$desc: res tainted");
 357     is_tainted($res2,  "$desc: res2 tainted");
 358     is_tainted($one,   "$desc: \$1 tainted");
 359     is($res, 'a',      "$desc: res value");
 360     is($res2,'b',      "$desc: res2 value");
 361     is($one, 'd',      "$desc: \$1 value");
 362
 363     $desc = "substitution with string tainted";
 364
 365     $s = 'abcd' . $TAINT;
 366     $res = $s =~ s/(.+)/xyz/;
 367     $one = $1;
 368     is_tainted($s,     "$desc: s tainted");
 369     isnt_tainted($res, "$desc: res not tainted");
 370     isnt_tainted($one, "$desc: \$1 not tainted");
 371     is($s,   'xyz',    "$desc: s value");
 372     is($res, 1,        "$desc: res value");
 373     is($one, 'abcd',   "$desc: \$1 value");
 374
 375     $desc = "substitution /g with string tainted";
 376
 377     $s = 'abcd' . $TAINT;
 378     $res = $s =~ s/(.)/x/g;
 379     $one = $1;
 380     is_tainted($s,     "$desc: s tainted");
 381     is_tainted($res,   "$desc: res tainted");
 382     isnt_tainted($one, "$desc: \$1 not tainted");
 383     is($s,   'xxxx',   "$desc: s value");
 384     is($res, 4,        "$desc: res value");
 385     is($one, 'd',      "$desc: \$1 value");
 386
 387     $desc = "substitution /r with string tainted";
 388
 389     $s = 'abcd' . $TAINT;
 390     $res = $s =~ s/(.+)/xyz/r;
 391     $one = $1;
 392     is_tainted($s,     "$desc: s tainted");
 393     is_tainted($res,   "$desc: res tainted");
 394     isnt_tainted($one, "$desc: \$1 not tainted");
 395     is($s,   'abcd',   "$desc: s value");
 396     is($res, 'xyz',    "$desc: res value");
 397     is($one, 'abcd',   "$desc: \$1 value");
 398
 399     $desc = "substitution /e with string tainted";
 400
 401     $s = 'abcd' . $TAINT;
 402     $one = '';
 403     $res = $s =~ s{(.+)}{
 404                 $one = $one . "x"; # make sure code not tainted
 405                 isnt_tainted($one, "$desc: code not tainted within /e");
 406                 $one = $1;
 407                 isnt_tainted($one, "$desc: \$1 not tainted within /e");
 408                 "xyz";
 409             }e;
 410     $one = $1;
 411     is_tainted($s,     "$desc: s tainted");
 412     isnt_tainted($res, "$desc: res not tainted");
 413     isnt_tainted($one, "$desc: \$1 not tainted");
 414     is($s,   'xyz',    "$desc: s value");
 415     is($res, 1,        "$desc: res value");
 416     is($one, 'abcd',   "$desc: \$1 value");
 417
 418     $desc = "substitution with pattern tainted";
 419
 420     $s = 'abcd';
 421     $res = $s =~ s/$TAINT(.+)/xyz/;
 422     $one = $1;
 423     is_tainted($s,     "$desc: s tainted");
 424     isnt_tainted($res, "$desc: res not tainted");
 425     is_tainted($one,   "$desc: \$1 tainted");
 426     is($s,  'xyz',     "$desc: s value");
 427     is($res, 1,        "$desc: res value");
 428     is($one, 'abcd',   "$desc: \$1 value");
 429
 430     $desc = "substitution /g with pattern tainted";
 431
 432     $s = 'abcd';
 433     $res = $s =~ s/$TAINT(.)/x/g;
 434     $one = $1;
 435     is_tainted($s,     "$desc: s tainted");
 436     is_tainted($res,   "$desc: res tainted");
 437     is_tainted($one,   "$desc: \$1 tainted");
 438     is($s,  'xxxx',    "$desc: s value");
 439     is($res, 4,        "$desc: res value");
 440     is($one, 'd',      "$desc: \$1 value");
 441
 442     $desc = "substitution /ge with pattern tainted";
 443
 444     $s = 'abc';
 445     {
 446         my $i = 0;
 447         my $j;
 448         $res = $s =~ s{(.)$TAINT}{
 449                     $j = $i; # make sure code not tainted
 450                     $one = $1;
 451                     isnt_tainted($j, "$desc: code not tainted within /e");
 452                     $i++;
 453                     if ($i == 1) {
 454                         isnt_tainted($s,   "$desc: s not tainted loop 1");
 455                     }
 456                     else {
 457                         is_tainted($s,     "$desc: s tainted loop $i");
 458                     }
 459                     is_tainted($one,   "$desc: \$1 tainted loop $i");
 460                     $i.$TAINT;
 461                 }ge;
 462         $one = $1;
 463     }
 464     is_tainted($s,     "$desc: s tainted");
 465     is_tainted($res,   "$desc: res tainted");
 466     is_tainted($one,   "$desc: \$1 tainted");
 467     is($s,  '123',     "$desc: s value");
 468     is($res, 3,        "$desc: res value");
 469     is($one, 'c',      "$desc: \$1 value");
 470
 471     $desc = "substitution /r with pattern tainted";
 472
 473     $s = 'abcd';
 474     $res = $s =~ s/$TAINT(.+)/xyz/r;
 475     $one = $1;
 476     isnt_tainted($s,   "$desc: s not tainted");
 477     is_tainted($res,   "$desc: res tainted");
 478     is_tainted($one,   "$desc: \$1 tainted");
 479     is($s,  'abcd',    "$desc: s value");
 480     is($res, 'xyz',    "$desc: res value");
 481     is($one, 'abcd',   "$desc: \$1 value");
 482
 483     $desc = "substitution with pattern tainted via locale";
 484
 485     $s = 'abcd';
 486     { use locale;  $res = $s =~ s/(\w+)/xyz/; $one = $1; }
 487     is_tainted($s,     "$desc: s tainted");
 488     isnt_tainted($res, "$desc: res not tainted");
 489     is_tainted($one,   "$desc: \$1 tainted");
 490     is($s,  'xyz',     "$desc: s value");
 491     is($res, 1,        "$desc: res value");
 492     is($one, 'abcd',   "$desc: \$1 value");
 493
 494     $desc = "substitution /g with pattern tainted via locale";
 495
 496     $s = 'abcd';
 497     { use locale;  $res = $s =~ s/(\w)/x/g; $one = $1; }
 498     is_tainted($s,     "$desc: s tainted");
 499     is_tainted($res,   "$desc: res tainted");
 500     is_tainted($one,   "$desc: \$1 tainted");
 501     is($s,  'xxxx',    "$desc: s value");
 502     is($res, 4,        "$desc: res value");
 503     is($one, 'd',      "$desc: \$1 value");
 504
 505     $desc = "substitution /r with pattern tainted via locale";
 506
 507     $s = 'abcd';
 508     { use locale;  $res = $s =~ s/(\w+)/xyz/r; $one = $1; }
 509     isnt_tainted($s,   "$desc: s not tainted");
 510     is_tainted($res,   "$desc: res tainted");
 511     is_tainted($one,   "$desc: \$1 tainted");
 512     is($s,  'abcd',    "$desc: s value");
 513     is($res, 'xyz',    "$desc: res value");
 514     is($one, 'abcd',   "$desc: \$1 value");
 515
 516     $desc = "substitution with replacement tainted";
 517
 518     $s = 'abcd';
 519     $res = $s =~ s/(.+)/xyz$TAINT/;
 520     $one = $1;
 521     is_tainted($s,     "$desc: s tainted");
 522     isnt_tainted($res, "$desc: res not tainted");
 523     isnt_tainted($one, "$desc: \$1 not tainted");
 524     is($s,  'xyz',     "$desc: s value");
 525     is($res, 1,        "$desc: res value");
 526     is($one, 'abcd',   "$desc: \$1 value");
 527
 528     $desc = "substitution /g with replacement tainted";
 529
 530     $s = 'abcd';
 531     $res = $s =~ s/(.)/x$TAINT/g;
 532     $one = $1;
 533     is_tainted($s,     "$desc: s tainted");
 534     isnt_tainted($res, "$desc: res not tainted");
 535     isnt_tainted($one, "$desc: \$1 not tainted");
 536     is($s,  'xxxx',    "$desc: s value");
 537     is($res, 4,        "$desc: res value");
 538     is($one, 'd',      "$desc: \$1 value");
 539
 540     $desc = "substitution /ge with replacement tainted";
 541
 542     $s = 'abc';
 543     {
 544         my $i = 0;
 545         my $j;
 546         $res = $s =~ s{(.)}{
 547                     $j = $i; # make sure code not tainted
 548                     $one = $1;
 549                     isnt_tainted($j, "$desc: code not tainted within /e");
 550                     $i++;
 551                     if ($i == 1) {
 552                         isnt_tainted($s,   "$desc: s not tainted loop 1");
 553                     }
 554                     else {
 555                         is_tainted($s,     "$desc: s tainted loop $i");
 556                     }
 557                     isnt_tainted($one, "$desc: \$1 not tainted within /e");
 558                     $i.$TAINT;
 559                 }ge;
 560         $one = $1;
 561     }
 562     is_tainted($s,     "$desc: s tainted");
 563     is_tainted($res,   "$desc: res tainted");
 564     isnt_tainted($one, "$desc: \$1 not tainted");
 565     is($s,  '123',     "$desc: s value");
 566     is($res, 3,        "$desc: res value");
 567     is($one, 'c',      "$desc: \$1 value");
 568
 569     $desc = "substitution /r with replacement tainted";
 570
 571     $s = 'abcd';
 572     $res = $s =~ s/(.+)/xyz$TAINT/r;
 573     $one = $1;
 574     isnt_tainted($s,   "$desc: s not tainted");
 575     is_tainted($res,   "$desc: res tainted");
 576     isnt_tainted($one, "$desc: \$1 not tainted");
 577     is($s,   'abcd',   "$desc: s value");
 578     is($res, 'xyz',    "$desc: res value");
 579     is($one, 'abcd',   "$desc: \$1 value");
 580
 581     {
 582         # now do them all again with "use re 'taint"
 583
 584         use re 'taint';
 585
 586         $desc = "use re 'taint': match with string tainted";
 587
 588         $s = 'abcd' . $TAINT;
 589         $res = $s =~ /(.+)/;
 590         $one = $1;
 591         is_tainted($s,     "$desc: s tainted");
 592         isnt_tainted($res, "$desc: res not tainted");
 593         is_tainted($one,   "$desc: \$1 tainted");
 594         is($res, 1,        "$desc: res value");
 595         is($one, 'abcd',   "$desc: \$1 value");
 596
 597         $desc = "use re 'taint': match /g with string tainted";
 598
 599         $s = 'abcd' . $TAINT;
 600         $res = $s =~ /(.)/g;
 601         $one = $1;
 602         is_tainted($s,     "$desc: s tainted");
 603         isnt_tainted($res, "$desc: res not tainted");
 604         is_tainted($one,   "$desc: \$1 tainted");
 605         is($res, 1,        "$desc: res value");
 606         is($one, 'a',      "$desc: \$1 value");
 607
 608         $desc = "use re 'taint': match with string tainted, list cxt";
 609
 610         $s = 'abcd' . $TAINT;
 611         ($res) = $s =~ /(.+)/;
 612         $one = $1;
 613         is_tainted($s,     "$desc: s tainted");
 614         is_tainted($res,   "$desc: res tainted");
 615         is_tainted($one,   "$desc: \$1 tainted");
 616         is($res, 'abcd',   "$desc: res value");
 617         is($one, 'abcd',   "$desc: \$1 value");
 618
 619         $desc = "use re 'taint': match /g with string tainted, list cxt";
 620
 621         $s = 'abcd' . $TAINT;
 622         ($res, $res2) = $s =~ /(.)/g;
 623         $one = $1;
 624         is_tainted($s,     "$desc: s tainted");
 625         is_tainted($res,   "$desc: res tainted");
 626         is_tainted($res2,  "$desc: res2 tainted");
 627         is_tainted($one,   "$desc: \$1 not tainted");
 628         is($res, 'a',      "$desc: res value");
 629         is($res2,'b',      "$desc: res2 value");
 630         is($one, 'd',      "$desc: \$1 value");
 631
 632         $desc = "use re 'taint': match with pattern tainted";
 633
 634         $s = 'abcd';
 635         $res = $s =~ /$TAINT(.+)/;
 636         $one = $1;
 637         isnt_tainted($s,   "$desc: s not tainted");
 638         isnt_tainted($res, "$desc: res not tainted");
 639         is_tainted($one,   "$desc: \$1 tainted");
 640         is($res, 1,        "$desc: res value");
 641         is($one, 'abcd',   "$desc: \$1 value");
 642
 643         $desc = "use re 'taint': match /g with pattern tainted";
 644
 645         $s = 'abcd';
 646         $res = $s =~ /$TAINT(.)/g;
 647         $one = $1;
 648         isnt_tainted($s,   "$desc: s not tainted");
 649         isnt_tainted($res, "$desc: res not tainted");
 650         is_tainted($one,   "$desc: \$1 tainted");
 651         is($res, 1,        "$desc: res value");
 652         is($one, 'a',      "$desc: \$1 value");
 653
 654         $desc = "use re 'taint': match with pattern tainted via locale";
 655
 656         $s = 'abcd';
 657         { use locale; $res = $s =~ /(\w+)/; $one = $1; }
 658         isnt_tainted($s,   "$desc: s not tainted");
 659         isnt_tainted($res, "$desc: res not tainted");
 660         is_tainted($one,   "$desc: \$1 tainted");
 661         is($res, 1,        "$desc: res value");
 662         is($one, 'abcd',   "$desc: \$1 value");
 663
 664         $desc = "use re 'taint': match /g with pattern tainted via locale";
 665
 666         $s = 'abcd';
 667         { use locale; $res = $s =~ /(\w)/g; $one = $1; }
 668         isnt_tainted($s,   "$desc: s not tainted");
 669         isnt_tainted($res, "$desc: res not tainted");
 670         is_tainted($one,   "$desc: \$1 tainted");
 671         is($res, 1,        "$desc: res value");
 672         is($one, 'a',      "$desc: \$1 value");
 673
 674         $desc = "use re 'taint': match with pattern tainted, list cxt";
 675
 676         $s = 'abcd';
 677         ($res) = $s =~ /$TAINT(.+)/;
 678         $one = $1;
 679         isnt_tainted($s,   "$desc: s not tainted");
 680         is_tainted($res,   "$desc: res tainted");
 681         is_tainted($one,   "$desc: \$1 tainted");
 682         is($res, 'abcd',   "$desc: res value");
 683         is($one, 'abcd',   "$desc: \$1 value");
 684
 685         $desc = "use re 'taint': match /g with pattern tainted, list cxt";
 686
 687         $s = 'abcd';
 688         ($res, $res2) = $s =~ /$TAINT(.)/g;
 689         $one = $1;
 690         isnt_tainted($s,   "$desc: s not tainted");
 691         is_tainted($res,   "$desc: res tainted");
 692         is_tainted($one,   "$desc: \$1 tainted");
 693         is($res, 'a',      "$desc: res value");
 694         is($res2,'b',      "$desc: res2 value");
 695         is($one, 'd',      "$desc: \$1 value");
 696
 697         $desc = "use re 'taint': match with pattern tainted via locale, list cxt";
 698
 699         $s = 'abcd';
 700         { use locale; ($res) = $s =~ /(\w+)/; $one = $1; }
 701         isnt_tainted($s,   "$desc: s not tainted");
 702         is_tainted($res,   "$desc: res tainted");
 703         is_tainted($one,   "$desc: \$1 tainted");
 704         is($res, 'abcd',   "$desc: res value");
 705         is($one, 'abcd',   "$desc: \$1 value");
 706
 707         $desc = "use re 'taint': match /g with pattern tainted via locale, list cxt";
 708
 709         $s = 'abcd';
 710         { use locale; ($res, $res2) = $s =~ /(\w)/g; $one = $1; }
 711         isnt_tainted($s,   "$desc: s not tainted");
 712         is_tainted($res,   "$desc: res tainted");
 713         is_tainted($res2,  "$desc: res2 tainted");
 714         is_tainted($one,   "$desc: \$1 tainted");
 715         is($res, 'a',      "$desc: res value");
 716         is($res2,'b',      "$desc: res2 value");
 717         is($one, 'd',      "$desc: \$1 value");
 718
 719         $desc = "use re 'taint': substitution with string tainted";
 720
 721         $s = 'abcd' . $TAINT;
 722         $res = $s =~ s/(.+)/xyz/;
 723         $one = $1;
 724         is_tainted($s,     "$desc: s tainted");
 725         isnt_tainted($res, "$desc: res not tainted");
 726         is_tainted($one,   "$desc: \$1 tainted");
 727         is($s,   'xyz',    "$desc: s value");
 728         is($res, 1,        "$desc: res value");
 729         is($one, 'abcd',   "$desc: \$1 value");
 730
 731         $desc = "use re 'taint': substitution /g with string tainted";
 732
 733         $s = 'abcd' . $TAINT;
 734         $res = $s =~ s/(.)/x/g;
 735         $one = $1;
 736         is_tainted($s,     "$desc: s tainted");
 737         is_tainted($res,   "$desc: res tainted");
 738         is_tainted($one,   "$desc: \$1 tainted");
 739         is($s,   'xxxx',   "$desc: s value");
 740         is($res, 4,        "$desc: res value");
 741         is($one, 'd',      "$desc: \$1 value");
 742
 743         $desc = "use re 'taint': substitution /r with string tainted";
 744
 745         $s = 'abcd' . $TAINT;
 746         $res = $s =~ s/(.+)/xyz/r;
 747         $one = $1;
 748         is_tainted($s,     "$desc: s tainted");
 749         is_tainted($res,   "$desc: res tainted");
 750         is_tainted($one,   "$desc: \$1 tainted");
 751         is($s,   'abcd',   "$desc: s value");
 752         is($res, 'xyz',    "$desc: res value");
 753         is($one, 'abcd',   "$desc: \$1 value");
 754
 755         $desc = "use re 'taint': substitution /e with string tainted";
 756
 757         $s = 'abcd' . $TAINT;
 758         $one = '';
 759         $res = $s =~ s{(.+)}{
 760                     $one = $one . "x"; # make sure code not tainted
 761                     isnt_tainted($one, "$desc: code not tainted within /e");
 762                     $one = $1;
 763                     is_tainted($one, "$desc: $1 tainted within /e");
 764                     "xyz";
 765                 }e;
 766         $one = $1;
 767         is_tainted($s,     "$desc: s tainted");
 768         isnt_tainted($res, "$desc: res not tainted");
 769         is_tainted($one,   "$desc: \$1 tainted");
 770         is($s,   'xyz',    "$desc: s value");
 771         is($res, 1,        "$desc: res value");
 772         is($one, 'abcd',   "$desc: \$1 value");
 773
 774         $desc = "use re 'taint': substitution with pattern tainted";
 775
 776         $s = 'abcd';
 777         $res = $s =~ s/$TAINT(.+)/xyz/;
 778         $one = $1;
 779         is_tainted($s,     "$desc: s tainted");
 780         isnt_tainted($res, "$desc: res not tainted");
 781         is_tainted($one,   "$desc: \$1 tainted");
 782         is($s,  'xyz',     "$desc: s value");
 783         is($res, 1,        "$desc: res value");
 784         is($one, 'abcd',   "$desc: \$1 value");
 785
 786         $desc = "use re 'taint': substitution /g with pattern tainted";
 787
 788         $s = 'abcd';
 789         $res = $s =~ s/$TAINT(.)/x/g;
 790         $one = $1;
 791         is_tainted($s,     "$desc: s tainted");
 792         is_tainted($res,   "$desc: res tainted");
 793         is_tainted($one,   "$desc: \$1 tainted");
 794         is($s,  'xxxx',    "$desc: s value");
 795         is($res, 4,        "$desc: res value");
 796         is($one, 'd',      "$desc: \$1 value");
 797
 798         $desc = "use re 'taint': substitution /ge with pattern tainted";
 799
 800         $s = 'abc';
 801         {
 802             my $i = 0;
 803             my $j;
 804             $res = $s =~ s{(.)$TAINT}{
 805                         $j = $i; # make sure code not tainted
 806                         $one = $1;
 807                         isnt_tainted($j, "$desc: code not tainted within /e");
 808                         $i++;
 809                         if ($i == 1) {
 810                             isnt_tainted($s,   "$desc: s not tainted loop 1");
 811                         }
 812                         else {
 813                             is_tainted($s,     "$desc: s tainted loop $i");
 814                         }
 815                         is_tainted($one,   "$desc: \$1 tainted loop $i");
 816                         $i.$TAINT;
 817                     }ge;
 818             $one = $1;
 819         }
 820         is_tainted($s,     "$desc: s tainted");
 821         is_tainted($res,   "$desc: res tainted");
 822         is_tainted($one,   "$desc: \$1 tainted");
 823         is($s,  '123',     "$desc: s value");
 824         is($res, 3,        "$desc: res value");
 825         is($one, 'c',      "$desc: \$1 value");
 826
 827
 828         $desc = "use re 'taint': substitution /r with pattern tainted";
 829
 830         $s = 'abcd';
 831         $res = $s =~ s/$TAINT(.+)/xyz/r;
 832         $one = $1;
 833         isnt_tainted($s,   "$desc: s not tainted");
 834         is_tainted($res,   "$desc: res tainted");
 835         is_tainted($one,   "$desc: \$1 tainted");
 836         is($s,  'abcd',    "$desc: s value");
 837         is($res, 'xyz',    "$desc: res value");
 838         is($one, 'abcd',   "$desc: \$1 value");
 839
 840         $desc = "use re 'taint': substitution with pattern tainted via locale";
 841
 842         $s = 'abcd';
 843         { use locale;  $res = $s =~ s/(\w+)/xyz/; $one = $1; }
 844         is_tainted($s,     "$desc: s tainted");
 845         isnt_tainted($res, "$desc: res not tainted");
 846         is_tainted($one,   "$desc: \$1 tainted");
 847         is($s,  'xyz',     "$desc: s value");
 848         is($res, 1,        "$desc: res value");
 849         is($one, 'abcd',   "$desc: \$1 value");
 850
 851         $desc = "use re 'taint': substitution /g with pattern tainted via locale";
 852
 853         $s = 'abcd';
 854         { use locale;  $res = $s =~ s/(\w)/x/g; $one = $1; }
 855         is_tainted($s,     "$desc: s tainted");
 856         is_tainted($res,   "$desc: res tainted");
 857         is_tainted($one,   "$desc: \$1 tainted");
 858         is($s,  'xxxx',    "$desc: s value");
 859         is($res, 4,        "$desc: res value");
 860         is($one, 'd',      "$desc: \$1 value");
 861
 862         $desc = "use re 'taint': substitution /r with pattern tainted via locale";
 863
 864         $s = 'abcd';
 865         { use locale;  $res = $s =~ s/(\w+)/xyz/r; $one = $1; }
 866         isnt_tainted($s,   "$desc: s not tainted");
 867         is_tainted($res,   "$desc: res tainted");
 868         is_tainted($one,   "$desc: \$1 tainted");
 869         is($s,  'abcd',    "$desc: s value");
 870         is($res, 'xyz',    "$desc: res value");
 871         is($one, 'abcd',   "$desc: \$1 value");
 872
 873         $desc = "use re 'taint': substitution with replacement tainted";
 874
 875         $s = 'abcd';
 876         $res = $s =~ s/(.+)/xyz$TAINT/;
 877         $one = $1;
 878         is_tainted($s,     "$desc: s tainted");
 879         isnt_tainted($res, "$desc: res not tainted");
 880         isnt_tainted($one, "$desc: \$1 not tainted");
 881         is($s,  'xyz',     "$desc: s value");
 882         is($res, 1,        "$desc: res value");
 883         is($one, 'abcd',   "$desc: \$1 value");
 884
 885         $desc = "use re 'taint': substitution /g with replacement tainted";
 886
 887         $s = 'abcd';
 888         $res = $s =~ s/(.)/x$TAINT/g;
 889         $one = $1;
 890         is_tainted($s,     "$desc: s tainted");
 891         isnt_tainted($res, "$desc: res not tainted");
 892         isnt_tainted($one, "$desc: \$1 not tainted");
 893         is($s,  'xxxx',    "$desc: s value");
 894         is($res, 4,        "$desc: res value");
 895         is($one, 'd',      "$desc: \$1 value");
 896
 897         $desc = "use re 'taint': substitution /ge with replacement tainted";
 898
 899         $s = 'abc';
 900         {
 901             my $i = 0;
 902             my $j;
 903             $res = $s =~ s{(.)}{
 904                         $j = $i; # make sure code not tainted
 905                         $one = $1;
 906                         isnt_tainted($j, "$desc: code not tainted within /e");
 907                         $i++;
 908                         if ($i == 1) {
 909                             isnt_tainted($s,   "$desc: s not tainted loop 1");
 910                         }
 911                         else {
 912                             is_tainted($s,     "$desc: s tainted loop $i");
 913                         }
 914                             isnt_tainted($one, "$desc: \$1 not tainted");
 915                         $i.$TAINT;
 916                     }ge;
 917             $one = $1;
 918         }
 919         is_tainted($s,     "$desc: s tainted");
 920         is_tainted($res,   "$desc: res tainted");
 921         isnt_tainted($one, "$desc: \$1 not tainted");
 922         is($s,  '123',     "$desc: s value");
 923         is($res, 3,        "$desc: res value");
 924         is($one, 'c',      "$desc: \$1 value");
 925
 926         $desc = "use re 'taint': substitution /r with replacement tainted";
 927
 928         $s = 'abcd';
 929         $res = $s =~ s/(.+)/xyz$TAINT/r;
 930         $one = $1;
 931         isnt_tainted($s,   "$desc: s not tainted");
 932         is_tainted($res,   "$desc: res tainted");
 933         isnt_tainted($one, "$desc: \$1 not tainted");
 934         is($s,   'abcd',   "$desc: s value");
 935         is($res, 'xyz',    "$desc: res value");
 936         is($one, 'abcd',   "$desc: \$1 value");
 937     }
 938
 939     $foo = $1 if 'bar' =~ /(.+)$TAINT/;
 940     is_tainted($foo);
 941     is($foo, 'bar');
 942
 943     my $pi = 4 * atan2(1,1) + $TAINT0;
 944     is_tainted($pi);
 945
 946     ($pi) = $pi =~ /(\d+\.\d+)/;
 947     isnt_tainted($pi);
 948     is(sprintf("%.5f", $pi), '3.14159');
 949 }
 950
 951 # How about command-line arguments? The problem is that we don't
 952 # always get some, so we'll run another process with some.
 953 SKIP: {
 954     my $arg = tempfile();
 955     open $fh, '>', $arg or die "Can't create $arg: $!";
 956     print $fh q{
 957         eval { join('', @ARGV), kill 0 };
 958         exit 0 if $@ =~ /^Insecure dependency/;
 959         print "# Oops: \$@ was [$@]\n";
 960         exit 1;
 961     };
 962     close $fh or die "Can't close $arg: $!";
 963     print `$Invoke_Perl "-T" $arg and some suspect arguments`;
 964     is($?, 0, "Exited with status $?");
 965     unlink $arg;
 966 }
 967
 968 # Reading from a file should be tainted
 969 {
 970     ok(open my $fh, '<', $TEST) or diag("Couldn't open '$TEST': $!");
 971
 972     my $block;
 973     sysread($fh, $block, 100);
 974     my $line = <$fh>;
 975     close $fh;
 976     is_tainted($block);
 977     is_tainted($line);
 978 }
 979
 980 # Output of commands should be tainted
 981 {
 982     my $foo = `$echo abc`;
 983     is_tainted($foo);
 984 }
 985
 986 # Certain system variables should be tainted
 987 {
 988     is_tainted($^X);
 989     is_tainted($0);
 990 }
 991
 992 # Results of matching should all be untainted
 993 {
 994     my $foo = "abcdefghi" . $TAINT;
 995     is_tainted($foo);
 996
 997     $foo =~ /def/;
 998     isnt_tainted($`);
 999     isnt_tainted($&);
1000     isnt_tainted($');
1001
1002     $foo =~ /(...)(...)(...)/;
1003     isnt_tainted($1);
1004     isnt_tainted($2);
1005     isnt_tainted($3);
1006     isnt_tainted($+);
1007
1008     my @bar = $foo =~ /(...)(...)(...)/;
1009     isnt_tainted($_) foreach @bar;
1010
1011     is_tainted($foo);   # $foo should still be tainted!
1012     is($foo, "abcdefghi");
1013 }
1014
1015 # Operations which affect files can't use tainted data.
1016 {
1017     violates_taint(sub { chmod 0, $TAINT }, 'chmod');
1018
1019     SKIP: {
1020         skip "truncate() is not available", 2 unless $Config{d_truncate};
1021
1022         violates_taint(sub { truncate 'NoSuChFiLe', $TAINT0 }, 'truncate');
1023     }
1024
1025     violates_taint(sub { rename '', $TAINT }, 'rename');
1026     violates_taint(sub { unlink $TAINT }, 'unlink');
1027     violates_taint(sub { utime $TAINT }, 'utime');
1028
1029     SKIP: {
1030         skip "chown() is not available", 2 unless $Config{d_chown};
1031
1032         violates_taint(sub { chown -1, -1, $TAINT }, 'chown');
1033     }
1034
1035     SKIP: {
1036         skip "link() is not available", 2 unless $Config{d_link};
1037
1038 violates_taint(sub { link $TAINT, '' }, 'link');
1039     }
1040
1041     SKIP: {
1042         skip "symlink() is not available", 2 unless $Config{d_symlink};
1043
1044         violates_taint(sub { symlink $TAINT, '' }, 'symlink');
1045     }
1046 }
1047
1048 # Operations which affect directories can't use tainted data.
1049 {
1050     violates_taint(sub { mkdir "foo".$TAINT, 0755 . $TAINT0 }, 'mkdir');
1051     violates_taint(sub { rmdir $TAINT }, 'rmdir');
1052     violates_taint(sub { chdir "foo".$TAINT }, 'chdir');
1053
1054     SKIP: {
1055         skip "chroot() is not available", 2 unless $Config{d_chroot};
1056
1057         violates_taint(sub { chroot $TAINT }, 'chroot');
1058     }
1059 }
1060
1061 # Some operations using files can't use tainted data.
1062 {
1063     my $foo = "imaginary library" . $TAINT;
1064     violates_taint(sub { require $foo }, 'require');
1065
1066     my $filename = tempfile();  # NB: $filename isn't tainted!
1067     $foo = $filename . $TAINT;
1068     unlink $filename;   # in any case
1069
1070     is(eval { open FOO, $foo }, undef, 'open for read');
1071     is($@, '');                # NB: This should be allowed
1072     is(eval { open my $fh, , '<', $foo }, undef, 'open for read');
1073     is($@, '');                # NB: This should be allowed
1074
1075     # Try first new style but allow also old style.
1076     # We do not want the whole taint.t to fail
1077     # just because Errno possibly failing.
1078     ok(eval('$!{ENOENT}') ||
1079         $! == 2 || # File not found
1080         ($Is_Dos && $! == 22));
1081
1082     violates_taint(sub { open FOO, "> $foo" }, 'open', 'open for write');
1083     violates_taint(sub { open my $fh, '>', $foo }, 'open', 'open for write');
1084 }
1085
1086 # Commands to the system can't use tainted data
1087 {
1088     my $foo = $TAINT;
1089
1090     SKIP: {
1091         skip "open('|') is not available", 8 if $^O eq 'amigaos';
1092
1093         violates_taint(sub { open FOO, "| x$foo" }, 'piped open', 'popen to');
1094         violates_taint(sub { open FOO, "x$foo |" }, 'piped open', 'popen from');
1095         violates_taint(sub { open my $fh, '|-', "x$foo" }, 'piped open', 'popen to');
1096         violates_taint(sub { open my $fh, '-|', "x$foo" }, 'piped open', 'popen from');
1097     }
1098
1099     violates_taint(sub { exec $TAINT }, 'exec');
1100     violates_taint(sub { system $TAINT }, 'system');
1101
1102     $foo = "*";
1103     taint_these $foo;
1104
1105     violates_taint(sub { `$echo 1$foo` }, '``', 'backticks');
1106
1107     SKIP: {
1108         # wildcard expansion doesn't invoke shell on VMS, so is safe
1109         skip "This is not VMS", 2 unless $Is_VMS;
1110
1111         isnt(join('', eval { glob $foo } ), '', 'globbing');
1112         is($@, '');
1113     }
1114 }
1115
1116 # Operations which affect processes can't use tainted data.
1117 {
1118     violates_taint(sub { kill 0, $TAINT }, 'kill');
1119
1120     SKIP: {
1121         skip "setpgrp() is not available", 2 unless $Config{d_setpgrp};
1122
1123         violates_taint(sub { setpgrp 0, $TAINT0 }, 'setpgrp');
1124     }
1125
1126     SKIP: {
1127         skip "setpriority() is not available", 2 unless $Config{d_setprior};
1128
1129         violates_taint(sub { setpriority 0, $TAINT0, $TAINT0 }, 'setpriority');
1130     }
1131 }
1132
1133 # Some miscellaneous operations can't use tainted data.
1134 {
1135     SKIP: {
1136         skip "syscall() is not available", 2 unless $Config{d_syscall};
1137
1138         violates_taint(sub { syscall $TAINT }, 'syscall');
1139     }
1140
1141     {
1142         my $foo = "x" x 979;
1143         taint_these $foo;
1144         local *FOO;
1145         my $temp = tempfile();
1146         ok(open FOO, "> $temp") or diag("Couldn't open $temp for write: $!");
1147         violates_taint(sub { ioctl FOO, $TAINT0, $foo }, 'ioctl');
1148
1149         my $temp2 = tempfile();
1150         ok(open my $fh, '>', $temp2) or diag("Couldn't open $temp2 for write: $!");
1151         violates_taint(sub { ioctl $fh, $TAINT0, $foo }, 'ioctl');
1152
1153         SKIP: {
1154             skip "fcntl() is not available", 4 unless $Config{d_fcntl};
1155
1156             violates_taint(sub { fcntl FOO, $TAINT0, $foo }, 'fcntl');
1157             violates_taint(sub { fcntl $fh, $TAINT0, $foo }, 'fcntl');
1158         }
1159
1160         close FOO;
1161     }
1162 }
1163
1164 # Some tests involving references
1165 {
1166     my $foo = 'abc' . $TAINT;
1167     my $fooref = \$foo;
1168     isnt_tainted($fooref);
1169     is_tainted($$fooref);
1170     is_tainted($foo);
1171 }
1172
1173 # Some tests involving assignment
1174 {
1175     my $foo = $TAINT0;
1176     my $bar = $foo;
1177     is_tainted($foo);
1178     is_tainted($bar);
1179     is_tainted($foo = $bar);
1180     is_tainted($bar = $bar);
1181     is_tainted($bar += $bar);
1182     is_tainted($bar -= $bar);
1183     is_tainted($bar *= $bar);
1184     is_tainted($bar++);
1185     is_tainted($bar /= $bar);
1186     is_tainted($bar += 0);
1187     is_tainted($bar -= 2);
1188     is_tainted($bar *= -1);
1189     is_tainted($bar /= 1);
1190     is_tainted($bar--);
1191     is($bar, 0);
1192 }
1193
1194 # Test assignment and return of lists
1195 {
1196     my @foo = ("A", "tainted" . $TAINT, "B");
1197     isnt_tainted($foo[0]);
1198     is_tainted(    $foo[1]);
1199     isnt_tainted($foo[2]);
1200     my @bar = @foo;
1201     isnt_tainted($bar[0]);
1202     is_tainted(    $bar[1]);
1203     isnt_tainted($bar[2]);
1204     my @baz = eval { "A", "tainted" . $TAINT, "B" };
1205     isnt_tainted($baz[0]);
1206     is_tainted(    $baz[1]);
1207     isnt_tainted($baz[2]);
1208     my @plugh = eval q[ "A", "tainted" . $TAINT, "B" ];
1209     isnt_tainted($plugh[0]);
1210     is_tainted(    $plugh[1]);
1211     isnt_tainted($plugh[2]);
1212     my $nautilus = sub { "A", "tainted" . $TAINT, "B" };
1213     isnt_tainted(((&$nautilus)[0]));
1214     is_tainted(    ((&$nautilus)[1]));
1215     isnt_tainted(((&$nautilus)[2]));
1216     my @xyzzy = &$nautilus;
1217     isnt_tainted($xyzzy[0]);
1218     is_tainted(    $xyzzy[1]);
1219     isnt_tainted($xyzzy[2]);
1220     my $red_october = sub { return "A", "tainted" . $TAINT, "B" };
1221     isnt_tainted(((&$red_october)[0]));
1222     is_tainted(    ((&$red_october)[1]));
1223     isnt_tainted(((&$red_october)[2]));
1224     my @corge = &$red_october;
1225     isnt_tainted($corge[0]);
1226     is_tainted(    $corge[1]);
1227     isnt_tainted($corge[2]);
1228 }
1229
1230 # Test for system/library calls returning string data of dubious origin.
1231 {
1232     # No reliable %Config check for getpw*
1233     SKIP: {
1234         skip "getpwent() is not available", 9 unless
1235           eval { setpwent(); getpwent() };
1236
1237         setpwent();
1238         my @getpwent = getpwent();
1239         die "getpwent: $!\n" unless (@getpwent);
1240         isnt_tainted($getpwent[0]);
1241         is_tainted($getpwent[1]);
1242         isnt_tainted($getpwent[2]);
1243         isnt_tainted($getpwent[3]);
1244         isnt_tainted($getpwent[4]);
1245         isnt_tainted($getpwent[5]);
1246         is_tainted($getpwent[6], 'ge?cos');
1247         isnt_tainted($getpwent[7]);
1248         is_tainted($getpwent[8], 'shell');
1249         endpwent();
1250     }
1251
1252     SKIP: {
1253         # pretty hard to imagine not
1254         skip "readdir() is not available", 1 unless $Config{d_readdir};
1255
1256         opendir my $dh, "op" or die "opendir: $!\n";
1257         my $readdir = readdir $dh;
1258         is_tainted($readdir);
1259         closedir $dh;
1260     }
1261
1262     SKIP: {
1263         skip "readlink() or symlink() is not available" unless
1264           $Config{d_readlink} && $Config{d_symlink};
1265
1266         my $symlink = "sl$$";
1267         unlink($symlink);
1268         my $sl = "/something/naughty";
1269         # it has to be a real path on Mac OS
1270         symlink($sl, $symlink) or die "symlink: $!\n";
1271         my $readlink = readlink($symlink);
1272         is_tainted($readlink);
1273         unlink($symlink);
1274     }
1275 }
1276
1277 # test bitwise ops (regression bug)
1278 {
1279     my $why = "y";
1280     my $j = "x" | $why;
1281     isnt_tainted($j);
1282     $why = $TAINT."y";
1283     $j = "x" | $why;
1284     is_tainted(    $j);
1285 }
1286
1287 # test target of substitution (regression bug)
1288 {
1289     my $why = $TAINT."y";
1290     $why =~ s/y/z/;
1291     is_tainted(    $why);
1292
1293     my $z = "[z]";
1294     $why =~ s/$z/zee/;
1295     is_tainted(    $why);
1296
1297     $why =~ s/e/'-'.$$/ge;
1298     is_tainted(    $why);
1299 }
1300
1301
1302 SKIP: {
1303     skip "no IPC::SysV", 2 unless $ipcsysv;
1304
1305     # test shmread
1306     SKIP: {
1307         skip "shm*() not available", 1 unless $Config{d_shm};
1308
1309         no strict 'subs';
1310         my $sent = "foobar";
1311         my $rcvd;
1312         my $size = 2000;
1313         my $id = shmget(IPC_PRIVATE, $size, S_IRWXU);
1314
1315         if (defined $id) {
1316             if (shmwrite($id, $sent, 0, 60)) {
1317                 if (shmread($id, $rcvd, 0, 60)) {
1318                     substr($rcvd, index($rcvd, "\0")) = '';
1319                 } else {
1320                     warn "# shmread failed: $!\n";
1321                 }
1322             } else {
1323                 warn "# shmwrite failed: $!\n";
1324             }
1325             shmctl($id, IPC_RMID, 0) or warn "# shmctl failed: $!\n";
1326         } else {
1327             warn "# shmget failed: $!\n";
1328         }
1329
1330         skip "SysV shared memory operation failed", 1 unless
1331           $rcvd eq $sent;
1332
1333         is_tainted($rcvd);
1334     }
1335
1336
1337     # test msgrcv
1338     SKIP: {
1339         skip "msg*() not available", 1 unless $Config{d_msg};
1340
1341         no strict 'subs';
1342         my $id = msgget(IPC_PRIVATE, IPC_CREAT | S_IRWXU);
1343
1344         my $sent      = "message";
1345         my $type_sent = 1234;
1346         my $rcvd;
1347         my $type_rcvd;
1348
1349         if (defined $id) {
1350             if (msgsnd($id, pack("l! a*", $type_sent, $sent), IPC_NOWAIT)) {
1351                 if (msgrcv($id, $rcvd, 60, 0, IPC_NOWAIT)) {
1352                     ($type_rcvd, $rcvd) = unpack("l! a*", $rcvd);
1353                 } else {
1354                     warn "# msgrcv failed: $!\n";
1355                 }
1356             } else {
1357                 warn "# msgsnd failed: $!\n";
1358             }
1359             msgctl($id, IPC_RMID, 0) or warn "# msgctl failed: $!\n";
1360         } else {
1361             warn "# msgget failed\n";
1362         }
1363
1364         SKIP: {
1365             skip "SysV message queue operation failed", 1
1366               unless $rcvd eq $sent && $type_sent == $type_rcvd;
1367
1368             is_tainted($rcvd);
1369         }
1370     }
1371 }
1372
1373 {
1374     # bug id 20001004.006
1375
1376     open my $fh, '<', $TEST or warn "$0: cannot read $TEST: $!" ;
1377     local $/;
1378     my $a = <$fh>;
1379     my $b = <$fh>;
1380
1381     is_tainted($a);
1382     is_tainted($b);
1383     is($b, undef);
1384 }
1385
1386 {
1387     # bug id 20001004.007
1388
1389     open my $fh, '<', $TEST or warn "$0: cannot read $TEST: $!" ;
1390     my $a = <$fh>;
1391
1392     my $c = { a => 42,
1393               b => $a };
1394
1395     isnt_tainted($c->{a});
1396     is_tainted($c->{b});
1397
1398
1399     my $d = { a => $a,
1400               b => 42 };
1401     is_tainted($d->{a});
1402     isnt_tainted($d->{b});
1403
1404
1405     my $e = { a => 42,
1406               b => { c => $a, d => 42 } };
1407     isnt_tainted($e->{a});
1408     isnt_tainted($e->{b});
1409     is_tainted($e->{b}->{c});
1410     isnt_tainted($e->{b}->{d});
1411 }
1412
1413 {
1414     # bug id 20010519.003
1415
1416     BEGIN {
1417         use vars qw($has_fcntl);
1418         eval { require Fcntl; import Fcntl; };
1419         unless ($@) {
1420             $has_fcntl = 1;
1421         }
1422     }
1423
1424     SKIP: {
1425         skip "no Fcntl", 18 unless $has_fcntl;
1426
1427         my $foo = tempfile();
1428         my $evil = $foo . $TAINT;
1429
1430         is(eval { sysopen(my $ro, $evil, &O_RDONLY) }, undef);
1431         is($@, '');
1432
1433         violates_taint(sub { sysopen(my $wo, $evil, &O_WRONLY) }, 'sysopen');
1434         violates_taint(sub { sysopen(my $rw, $evil, &O_RDWR) }, 'sysopen');
1435         violates_taint(sub { sysopen(my $ap, $evil, &O_APPEND) }, 'sysopen');
1436         violates_taint(sub { sysopen(my $cr, $evil, &O_CREAT) }, 'sysopen');
1437         violates_taint(sub { sysopen(my $tr, $evil, &O_TRUNC) }, 'sysopen');
1438
1439         is(eval { sysopen(my $ro, $foo, &O_RDONLY | $TAINT0) }, undef);
1440         is($@, '');
1441
1442         violates_taint(sub { sysopen(my $wo, $foo, &O_WRONLY | $TAINT0) }, 'sysopen');
1443         violates_taint(sub { sysopen(my $rw, $foo, &O_RDWR | $TAINT0) }, 'sysopen');
1444         violates_taint(sub { sysopen(my $ap, $foo, &O_APPEND | $TAINT0) }, 'sysopen');
1445         violates_taint(sub { sysopen(my $cr, $foo, &O_CREAT | $TAINT0) }, 'sysopen');
1446         violates_taint(sub { sysopen(my $tr, $foo, &O_TRUNC | $TAINT0) }, 'sysopen');
1447         is(eval { sysopen(my $ro, $foo, &O_RDONLY, $TAINT0) }, undef);
1448         is($@, '');
1449
1450         violates_taint(sub { sysopen(my $wo, $foo, &O_WRONLY, $TAINT0) }, 'sysopen');
1451         violates_taint(sub { sysopen(my $rw, $foo, &O_RDWR, $TAINT0) }, 'sysopen');
1452         violates_taint(sub { sysopen(my $ap, $foo, &O_APPEND, $TAINT0) }, 'sysopen');
1453         violates_taint(sub { sysopen(my $cr, $foo, &O_CREAT, $TAINT0) }, 'sysopen');
1454         violates_taint(sub { sysopen(my $tr, $foo, &O_TRUNC, $TAINT0) }, 'sysopen');
1455     }
1456 }
1457
1458 {
1459     # bug 20010526.004
1460
1461     use warnings;
1462
1463     my $saw_warning = 0;
1464     local $SIG{__WARN__} = sub { ++$saw_warning };
1465
1466     sub fmi {
1467         my $divnum = shift()/1;
1468         sprintf("%1.1f\n", $divnum);
1469     }
1470
1471     fmi(21 . $TAINT);
1472     fmi(37);
1473     fmi(248);
1474
1475     is($saw_warning, 0);
1476 }
1477
1478
1479 {
1480     # Bug ID 20010730.010
1481
1482     my $i = 0;
1483
1484     sub Tie::TIESCALAR {
1485         my $class =  shift;
1486         my $arg   =  shift;
1487
1488         bless \$arg => $class;
1489     }
1490
1491     sub Tie::FETCH {
1492         $i ++;
1493         ${$_ [0]}
1494     }
1495
1496
1497     package main;
1498
1499     my $bar = "The Big Bright Green Pleasure Machine";
1500     taint_these $bar;
1501     tie my ($foo), Tie => $bar;
1502
1503     my $baz = $foo;
1504
1505     ok $i == 1;
1506 }
1507
1508 {
1509     # Check that all environment variables are tainted.
1510     my @untainted;
1511     while (my ($k, $v) = each %ENV) {
1512         if (!tainted($v) &&
1513             # These we have explicitly untainted or set earlier.
1514             $k !~ /^(BASH_ENV|CDPATH|ENV|IFS|PATH|PERL_CORE|TEMP|TERM|TMP)$/) {
1515             push @untainted, "# '$k' = '$v'\n";
1516         }
1517     }
1518     is("@untainted", "");
1519 }
1520
1521
1522 is(${^TAINT}, 1, '$^TAINT is on');
1523
1524 eval { ${^TAINT} = 0 };
1525 is(${^TAINT}, 1, '$^TAINT is not assignable');
1526 like($@, qr/^Modification of a read-only value attempted/,
1527      'Assigning to ${^TAINT} fails');
1528
1529 {
1530     # bug 20011111.105
1531
1532     my $re1 = qr/x$TAINT/;
1533     is_tainted($re1);
1534
1535     my $re2 = qr/^$re1\z/;
1536     is_tainted($re2);
1537
1538     my $re3 = "$re2";
1539     is_tainted($re3);
1540 }
1541
1542 SKIP: {
1543     skip "system {} has different semantics on Win32", 1 if $Is_MSWin32;
1544
1545     # bug 20010221.005
1546     local $ENV{PATH} .= $TAINT;
1547     eval { system { "echo" } "/arg0", "arg1" };
1548     like($@, qr/^Insecure \$ENV/);
1549 }
1550
1551 TODO: {
1552     todo_skip 'tainted %ENV warning occludes tainted arguments warning', 22
1553       if $Is_VMS;
1554
1555     # bug 20020208.005 plus some single arg exec/system extras
1556     violates_taint(sub { exec $TAINT, $TAINT }, 'exec');
1557     violates_taint(sub { exec $TAINT $TAINT }, 'exec');
1558     violates_taint(sub { exec $TAINT $TAINT, $TAINT }, 'exec');
1559     violates_taint(sub { exec $TAINT 'notaint' }, 'exec');
1560     violates_taint(sub { exec {'notaint'} $TAINT }, 'exec');
1561
1562     violates_taint(sub { system $TAINT, $TAINT }, 'system');
1563     violates_taint(sub { system $TAINT $TAINT }, 'system');
1564     violates_taint(sub { system $TAINT $TAINT, $TAINT }, 'system');
1565     violates_taint(sub { system $TAINT 'notaint' }, 'system');
1566     violates_taint(sub { system {'notaint'} $TAINT }, 'system');
1567
1568     eval {
1569         no warnings;
1570         system("lskdfj does not exist","with","args");
1571     };
1572     is($@, "");
1573
1574     eval {
1575         no warnings;
1576         exec("lskdfj does not exist","with","args");
1577     };
1578     is($@, "");
1579
1580     # If you add tests here update also the above skip block for VMS.
1581 }
1582
1583 {
1584     # [ID 20020704.001] taint propagation failure
1585     use re 'taint';
1586     $TAINT =~ /(.*)/;
1587     is_tainted(my $foo = $1);
1588 }
1589
1590 {
1591     # [perl #24291] this used to dump core
1592     our %nonmagicalenv = ( PATH => "util" );
1593     local *ENV = \%nonmagicalenv;
1594     eval { system("lskdfj"); };
1595     like($@, qr/^%ENV is aliased to another variable while running with -T switch/);
1596     local *ENV = *nonmagicalenv;
1597     eval { system("lskdfj"); };
1598     like($@, qr/^%ENV is aliased to %nonmagicalenv while running with -T switch/);
1599 }
1600 {
1601     # [perl #24248]
1602     $TAINT =~ /(.*)/;
1603     isnt_tainted($1);
1604     my $notaint = $1;
1605     isnt_tainted($notaint);
1606
1607     my $l;
1608     $notaint =~ /($notaint)/;
1609     $l = $1;
1610     isnt_tainted($1);
1611     isnt_tainted($l);
1612     $notaint =~ /($TAINT)/;
1613     $l = $1;
1614     is_tainted($1);
1615     is_tainted($l);
1616
1617     $TAINT =~ /($notaint)/;
1618     $l = $1;
1619     isnt_tainted($1);
1620     isnt_tainted($l);
1621     $TAINT =~ /($TAINT)/;
1622     $l = $1;
1623     is_tainted($1);
1624     is_tainted($l);
1625
1626     my $r;
1627     ($r = $TAINT) =~ /($notaint)/;
1628     isnt_tainted($1);
1629     ($r = $TAINT) =~ /($TAINT)/;
1630     is_tainted($1);
1631
1632     #  [perl #24674]
1633     # accessing $^O  shoudn't taint it as a side-effect;
1634     # assigning tainted data to it is now an error
1635
1636     isnt_tainted($^O);
1637     if (!$^X) { } elsif ($^O eq 'bar') { }
1638     isnt_tainted($^O);
1639     local $^O;  # We're going to clobber something test infrastructure depends on.
1640     eval '$^O = $^X';
1641     like($@, qr/Insecure dependency in/);
1642 }
1643
1644 EFFECTIVELY_CONSTANTS: {
1645     my $tainted_number = 12 + $TAINT0;
1646     is_tainted( $tainted_number );
1647
1648     # Even though it's always 0, it's still tainted
1649     my $tainted_product = $tainted_number * 0;
1650     is_tainted( $tainted_product );
1651     is($tainted_product, 0);
1652 }
1653
1654 TERNARY_CONDITIONALS: {
1655     my $tainted_true  = $TAINT . "blah blah blah";
1656     my $tainted_false = $TAINT0;
1657     is_tainted( $tainted_true );
1658     is_tainted( $tainted_false );
1659
1660     my $result = $tainted_true ? "True" : "False";
1661     is($result, "True");
1662     isnt_tainted( $result );
1663
1664     $result = $tainted_false ? "True" : "False";
1665     is($result, "False");
1666     isnt_tainted( $result );
1667
1668     my $untainted_whatever = "The Fabulous Johnny Cash";
1669     my $tainted_whatever = "Soft Cell" . $TAINT;
1670
1671     $result = $tainted_true ? $tainted_whatever : $untainted_whatever;
1672     is($result, "Soft Cell");
1673     is_tainted( $result );
1674
1675     $result = $tainted_false ? $tainted_whatever : $untainted_whatever;
1676     is($result, "The Fabulous Johnny Cash");
1677     isnt_tainted( $result );
1678 }
1679
1680 {
1681     # rt.perl.org 5900  $1 remains tainted if...
1682     # 1) The regular expression contains a scalar variable AND
1683     # 2) The regular expression appears in an elsif clause
1684
1685     my $foo = "abcdefghi" . $TAINT;
1686
1687     my $valid_chars = 'a-z';
1688     if ( $foo eq '' ) {
1689     }
1690     elsif ( $foo =~ /([$valid_chars]+)/o ) {
1691         isnt_tainted($1);
1692         isnt($1, undef);
1693     }
1694
1695     if ( $foo eq '' ) {
1696     }
1697     elsif ( my @bar = $foo =~ /([$valid_chars]+)/o ) {
1698         isnt_tainted($bar[0]);
1699         is(scalar @bar, 1);
1700     }
1701 }
1702
1703 # at scope exit, a restored localised value should have its old
1704 # taint status, not the taint status of the current statement
1705
1706 {
1707     our $x99 = $^X;
1708     is_tainted($x99);
1709
1710     $x99 = '';
1711     isnt_tainted($x99);
1712
1713     my $c = do { local $x99; $^X };
1714     isnt_tainted($x99);
1715 }
1716 {
1717     our $x99 = $^X;
1718     is_tainted($x99);
1719
1720     my $c = do { local $x99; '' };
1721     is_tainted($x99);
1722 }
1723
1724 # an mg_get of a tainted value during localization shouldn't taint the
1725 # statement
1726
1727 {
1728     eval { local $0, eval '1' };
1729     is($@, '');
1730 }
1731
1732 # [perl #8262] //g loops infinitely on tainted data
1733
1734 {
1735     my @a;
1736     $a[0] = $^X . '-';
1737     $a[0]=~ m/(.)/g;
1738     cmp_ok pos($a[0]), '>', 0, "infinite m//g on arrays (aelemfast)";
1739
1740     my $i = 1;
1741     $a[$i] = $^X . '-';
1742     $a[$i]=~ m/(.)/g;
1743     cmp_ok pos($a[$i]), '>', 0, "infinite m//g on arrays (aelem)";
1744
1745     my %h;
1746     $h{a} = $^X . '-';
1747     $h{a}=~ m/(.)/g;
1748     cmp_ok pos($h{a}), '>', 0, "infinite m//g on hashes (helem)";
1749 }
1750
1751 SKIP:
1752 {
1753     my $got_dualvar;
1754     eval 'use Scalar::Util "dualvar"; $got_dualvar++';
1755     skip "No Scalar::Util::dualvar" unless $got_dualvar;
1756     my $a = Scalar::Util::dualvar(3, $^X);
1757     my $b = $a + 5;
1758     is ($b, 8, "Arithmetic on tainted dualvars works");
1759 }
1760
1761 # opening '|-' should not trigger $ENV{PATH} check
1762
1763 {
1764     SKIP: {
1765         skip "fork() is not available", 3 unless $Config{'d_fork'};
1766         skip "opening |- is not stable on threaded Open/MirBSD with taint", 3
1767             if $Config{useithreads} and $Is_OpenBSD || $Is_MirBSD;
1768
1769         $ENV{'PATH'} = $TAINT;
1770         local $SIG{'PIPE'} = 'IGNORE';
1771         eval {
1772             my $pid = open my $pipe, '|-';
1773             if (!defined $pid) {
1774                 die "open failed: $!";
1775             }
1776             if (!$pid) {
1777                 kill 'KILL', $$;        # child suicide
1778             }
1779             close $pipe;
1780         };
1781         unlike($@, qr/Insecure \$ENV/, 'fork triggers %ENV check');
1782         is($@, '',               'pipe/fork/open/close failed');
1783         eval {
1784             open my $pipe, "|$Invoke_Perl -e 1";
1785             close $pipe;
1786         };
1787         like($@, qr/Insecure \$ENV/, 'popen neglects %ENV check');
1788     }
1789 }
1790
1791 {
1792     package AUTOLOAD_TAINT;
1793     sub AUTOLOAD {
1794         our $AUTOLOAD;
1795         return if $AUTOLOAD =~ /DESTROY/;
1796         if ($AUTOLOAD =~ /untainted/) {
1797             main::isnt_tainted($AUTOLOAD, '$AUTOLOAD can be untainted');
1798             my $copy = $AUTOLOAD;
1799             main::isnt_tainted($copy, '$AUTOLOAD can be untainted');
1800         } else {
1801             main::is_tainted($AUTOLOAD, '$AUTOLOAD can be tainted');
1802             my $copy = $AUTOLOAD;
1803             main::is_tainted($copy, '$AUTOLOAD can be tainted');
1804         }
1805     }
1806
1807     package main;
1808     my $o = bless [], 'AUTOLOAD_TAINT';
1809     $o->untainted;
1810     $o->$TAINT;
1811     $o->untainted;
1812 }
1813
1814 {
1815     # tests for tainted format in s?printf
1816     my $fmt = $TAINT . "# %s\n";
1817     violates_taint(sub { printf($fmt, "foo") }, 'printf',
1818                    q/printf doesn't like tainted formats/);
1819     violates_taint(sub { printf($TAINT . "# %s\n", "foo") }, 'printf',
1820                    q/printf doesn't like tainted format expressions/);
1821     eval { printf("# %s\n", $TAINT . "foo") };
1822     is($@, '', q/printf accepts other tainted args/);
1823     violates_taint(sub { sprintf($fmt, "foo") }, 'sprintf',
1824                    q/sprintf doesn't like tainted formats/);
1825     violates_taint(sub { sprintf($TAINT . "# %s\n", "foo") }, 'sprintf',
1826                    q/sprintf doesn't like tainted format expressions/);
1827     eval { sprintf("# %s\n", $TAINT . "foo") };
1828     is($@, '', q/sprintf accepts other tainted args/);
1829 }
1830
1831 {
1832     # 40708
1833     my $n  = 7e9;
1834     8e9 - $n;
1835
1836     my $val = $n;
1837     is ($val, '7000000000', 'Assignment to untainted variable');
1838     $val = $TAINT;
1839     $val = $n;
1840     is ($val, '7000000000', 'Assignment to tainted variable');
1841 }
1842
1843 {
1844     my $val = 0;
1845     my $tainted = '1' . $TAINT;
1846     eval '$val = eval $tainted;';
1847     is ($val, 0, "eval doesn't like tainted strings");
1848     like ($@, qr/^Insecure dependency in eval/);
1849
1850     # Rather nice code to get a tainted undef by from Rick Delaney
1851     open my $fh, "test.pl" or die $!;
1852     seek $fh, 0, 2 or die $!;
1853     $tainted = <$fh>;
1854
1855     eval 'eval $tainted';
1856     like ($@, qr/^Insecure dependency in eval/);
1857 }
1858
1859 foreach my $ord (78, 163, 256) {
1860     # 47195
1861     my $line = 'A1' . $TAINT . chr $ord;
1862     chop $line;
1863     is($line, 'A1');
1864     $line =~ /(A\S*)/;
1865     isnt_tainted($1, "\\S match with chr $ord");
1866 }
1867
1868 {
1869     # 59998
1870     sub cr { my $x = crypt($_[0], $_[1]); $x }
1871     sub co { my $x = ~$_[0]; $x }
1872     my ($a, $b);
1873     $a = cr('hello', 'foo' . $TAINT);
1874     $b = cr('hello', 'foo');
1875     is_tainted($a,  "tainted crypt");
1876     isnt_tainted($b, "untainted crypt");
1877     $a = co('foo' . $TAINT);
1878     $b = co('foo');
1879     is_tainted($a,  "tainted complement");
1880     isnt_tainted($b, "untainted complement");
1881 }
1882
1883 {
1884     my @data = qw(bonk zam zlonk qunckkk);
1885     # Clearly some sort of usenet bang-path
1886     my $string = $TAINT . join "!", @data;
1887
1888     is_tainted($string, "tainted data");
1889
1890     my @got = split /!|,/, $string;
1891
1892     # each @got would be useful here, but I want the test for earlier perls
1893     for my $i (0 .. $#data) {
1894         is_tainted($got[$i], "tainted result $i");
1895         is($got[$i], $data[$i], "correct content $i");
1896     }
1897
1898     is_tainted($string, "still tainted data");
1899
1900     my @got = split /[!,]/, $string;
1901
1902     # each @got would be useful here, but I want the test for earlier perls
1903     for my $i (0 .. $#data) {
1904         is_tainted($got[$i], "tainted result $i");
1905         is($got[$i], $data[$i], "correct content $i");
1906     }
1907
1908     is_tainted($string, "still tainted data");
1909
1910     my @got = split /!/, $string;
1911
1912     # each @got would be useful here, but I want the test for earlier perls
1913     for my $i (0 .. $#data) {
1914         is_tainted($got[$i], "tainted result $i");
1915         is($got[$i], $data[$i], "correct content $i");
1916     }
1917 }
1918
1919 # Bug RT #52552 - broken by change at git commit id f337b08
1920 {
1921     my $x = $TAINT. q{print "Hello world\n"};
1922     my $y = pack "a*", $x;
1923     is_tainted($y, "pack a* preserves tainting");
1924
1925     my $z = pack "A*", q{print "Hello world\n"}.$TAINT;
1926     is_tainted($z, "pack A* preserves tainting");
1927
1928     my $zz = pack "a*a*", q{print "Hello world\n"}, $TAINT;
1929     is_tainted($zz, "pack a*a* preserves tainting");
1930 }
1931
1932 # Bug RT #61976 tainted $! would show numeric rather than string value
1933
1934 {
1935     my $tainted_path = substr($^X,0,0) . "/no/such/file";
1936     my $err;
1937     # $! is used in a tainted expression, so gets tainted
1938     open my $fh, $tainted_path or $err= "$!";
1939     unlike($err, qr/^\d+$/, 'tainted $!');
1940 }
1941
1942 {
1943     # #6758: tainted values become untainted in tied hashes
1944     #         (also applies to other value magic such as pos)
1945
1946
1947     package P6758;
1948
1949     sub TIEHASH { bless {} }
1950     sub TIEARRAY { bless {} }
1951
1952     my $i = 0;
1953
1954     sub STORE {
1955         main::is_tainted($_[1], "tied arg1 tainted");
1956         main::is_tainted($_[2], "tied arg2 tainted");
1957         $i++;
1958     }
1959
1960     package main;
1961
1962     my ($k,$v) = qw(1111 val);
1963     taint_these($k,$v);
1964     tie my @array, 'P6758';
1965     tie my %hash , 'P6758';
1966     $array[$k] = $v;
1967     $hash{$k} = $v;
1968     ok $i == 2, "tied STORE called correct number of times";
1969 }
1970
1971 # Bug RT #45167 the return value of sprintf sometimes wasn't tainted
1972 # when the args were tainted. This only occured on the first use of
1973 # sprintf; after that, its TARG has taint magic attached, so setmagic
1974 # at the end works.  That's why there are multiple sprintf's below, rather
1975 # than just one wrapped in an inner loop. Also, any plaintext between
1976 # fprmat entires would correctly cause tainting to get set. so test with
1977 # "%s%s" rather than eg "%s %s".
1978
1979 {
1980     for my $var1 ($TAINT, "123") {
1981         for my $var2 ($TAINT0, "456") {
1982             is( tainted(sprintf '%s', $var1, $var2), tainted($var1),
1983                 "sprintf '%s', '$var1', '$var2'" );
1984             is( tainted(sprintf ' %s', $var1, $var2), tainted($var1),
1985                 "sprintf ' %s', '$var1', '$var2'" );
1986             is( tainted(sprintf '%s%s', $var1, $var2),
1987                 tainted($var1) || tainted($var2),
1988                 "sprintf '%s%s', '$var1', '$var2'" );
1989         }
1990     }
1991 }
1992
1993
1994 # Bug RT #67962: old tainted $1 gets treated as tainted
1995 # in next untainted # match
1996
1997 {
1998     use re 'taint';
1999     "abc".$TAINT =~ /(.*)/; # make $1 tainted
2000     is_tainted($1, '$1 should be tainted');
2001
2002     my $untainted = "abcdef";
2003     isnt_tainted($untainted, '$untainted should be untainted');
2004     $untainted =~ s/(abc)/$1/;
2005     isnt_tainted($untainted, '$untainted should still be untainted');
2006     $untainted =~ s/(abc)/x$1/;
2007     isnt_tainted($untainted, '$untainted should yet still be untainted');
2008 }
2009
2010 {
2011     # On Windows we can't spawn a fresh Perl interpreter unless at
2012     # least the Windows system directory (usually C:\Windows\System32)
2013     # is still on the PATH.  There is however no way to determine the
2014     # actual path on the current system without loading the Win32
2015     # module, so we just restore the original $ENV{PATH} here.
2016     local $ENV{PATH} = $ENV{PATH};
2017     $ENV{PATH} = $old_env_path if $Is_MSWin32;
2018
2019     fresh_perl_is(<<'end', "ok", { switches => [ '-T' ] },
2020     $TAINT = substr($^X, 0, 0);
2021     formline('@'.('<'x("2000".$TAINT)).' | @*', 'hallo', 'welt');
2022     print "ok";
2023 end
2024     "formline survives a tainted dynamic picture");
2025 }
2026
2027 {
2028     isnt_tainted($^A, "format accumulator not tainted yet");
2029     formline('@ | @*', 'hallo' . $TAINT, 'welt');
2030     is_tainted($^A, "tainted formline argument makes a tainted accumulator");
2031     $^A = "";
2032     isnt_tainted($^A, "accumulator can be explicitly untainted");
2033     formline('@' .('<'*5) . ' | @*', 'hallo', 'welt');
2034     isnt_tainted($^A, "accumulator still untainted");
2035     $^A = "" . $TAINT;
2036     is_tainted($^A, "accumulator can be explicitly tainted");
2037     formline('@' .('<'*5) . ' | @*', 'hallo', 'welt');
2038     is_tainted($^A, "accumulator still tainted");
2039     $^A = "";
2040     isnt_tainted($^A, "accumulator untainted again");
2041     formline('@' .('<'*5) . ' | @*', 'hallo', 'welt');
2042     isnt_tainted($^A, "accumulator still untainted");
2043     formline('@' .('<'*(5+$TAINT0)) . ' | @*', 'hallo', 'welt');
2044     TODO: {
2045         local $::TODO = "get magic handled too late?";
2046         is_tainted($^A, "the accumulator should be tainted already");
2047     }
2048     is_tainted($^A, "tainted formline picture makes a tainted accumulator");
2049 }
2050
2051 {   # Bug #80610
2052     "Constant(1)" =~ / ^ ([a-z_]\w*) (?: [(] (.*) [)] )? $ /xi;
2053     my $a = $1;
2054     my $b = $2;
2055     isnt_tainted($a, "regex optimization of single char /[]/i doesn't taint");
2056     isnt_tainted($b, "regex optimization of single char /[]/i doesn't taint");
2057 }
2058
2059 {
2060     # RT 81230: tainted value during FETCH created extra ref to tied obj
2061
2062     package P81230;
2063     use warnings;
2064
2065     my %h;
2066
2067     sub TIEHASH {
2068         my $x = $^X; # tainted
2069         bless  \$x;
2070     }
2071     sub FETCH { my $x = $_[0]; $$x . "" }
2072
2073     tie %h, 'P81230';
2074
2075     my $w = "";
2076     local $SIG{__WARN__} = sub { $w .= "@_" };
2077
2078     untie %h if $h{"k"};
2079
2080     ::is($w, "", "RT 81230");
2081 }
2082
2083 {
2084     # Compiling a subroutine inside a tainted expression does not make the
2085     # constant folded values tainted.
2086     my $x = sub { "x" . "y" };
2087     my $y = $ENV{PATH} . $x->(); # Compile $x inside a tainted expression
2088     my $z = $x->();
2089     isnt_tainted($z, "Constants folded value not tainted");
2090 }
2091
2092 {
2093     # now that regexes are first class SVs, make sure that they themselves
2094     # as well as references to them are tainted
2095
2096     my $rr = qr/(.)$TAINT/;
2097     my $r = $$rr; # bare REGEX
2098     my $s ="abc";
2099     ok($s =~ s/$r/x/, "match bare regex");
2100     is_tainted($s, "match bare regex taint");
2101     is($s, 'xbc', "match bare regex taint value");
2102 }
2103
2104 {
2105     # [perl #82616] security Issues with user-defined \p{} properties
2106     # A using a tainted user-defined property should croak
2107
2108     sub IsA { sprintf "%02x", ord("A") }
2109
2110     my $prop = "IsA";
2111     ok("A" =~ /\p{$prop}/, "user-defined property: non-tainted case");
2112     $prop = "IsA$TAINT";
2113     eval { "A" =~ /\p{$prop}/};
2114     like($@, qr/Insecure user-defined property \\p{main::IsA}/,
2115             "user-defined property: tainted case");
2116 }
2117
2118 {
2119     # [perl #87336] lc/uc(first) failing to taint the returned string
2120     my $source = "foo$TAINT";
2121     my $dest = lc $source;
2122     is_tainted $dest, "lc(tainted) taints its return value";
2123     $dest = lcfirst $source;
2124     is_tainted $dest, "lcfirst(tainted) taints its return value";
2125     $dest = uc $source;
2126     is_tainted $dest, "uc(tainted) taints its return value";
2127     $dest = ucfirst $source;
2128     is_tainted $dest, "ucfirst(tainted) taints its return value";
2129 }
2130
2131 {
2132     # Taintedness of values returned from given()
2133     use feature 'switch';
2134
2135     my @descriptions = ('when', 'given end', 'default');
2136
2137     for (qw<x y z>) {
2138         my $letter = "$_$TAINT";
2139
2140         my $desc = "tainted value returned from " . shift(@descriptions);
2141
2142         my $res = do {
2143             given ($_) {
2144                 when ('x') { $letter }
2145                 when ('y') { goto leavegiven }
2146                 default    { $letter }
2147                 leavegiven:  $letter
2148             }
2149         };
2150         is         $res, $letter, "$desc is correct";
2151         is_tainted $res,          "$desc stays tainted";
2152     }
2153 }
2154
2155
2156 # tainted constants and index()
2157 #  RT 64804; http://bugs.debian.org/291450
2158 {
2159     ok(tainted $old_env_path, "initial taintedness");
2160     BEGIN { no strict 'refs'; my $v = $old_env_path; *{"::C"} = sub () { $v }; }
2161     ok(tainted C, "constant is tainted properly");
2162     ok(!tainted "", "tainting not broken yet");
2163     index(undef, C);
2164     ok(!tainted "", "tainting still works after index() of the constant");
2165 }
2166
2167 # Tainted values with smartmatch
2168 # [perl #93590] S_do_smartmatch stealing its own string buffers
2169 ok "M$TAINT" ~~ ['m', 'M'], '$tainted ~~ ["whatever", "match"]';
2170 ok !("M$TAINT" ~~ ['m', undef]), '$tainted ~~ ["whatever", undef]';
2171
2172
2173 # This may bomb out with the alarm signal so keep it last
2174 SKIP: {
2175     skip "No alarm()"  unless $Config{d_alarm};
2176     # Test from RT #41831]
2177     # [PATCH] Bug & fix: hang when using study + taint mode (perl 5.6.1, 5.8.x)
2178
2179     my $DATA = <<'END' . $TAINT;
2180 line1 is here
2181 line2 is here
2182 line3 is here
2183 line4 is here
2184
2185 END
2186
2187     #study $DATA;
2188
2189     ## don't set $SIG{ALRM}, since we'd never get to a user-level handler as
2190     ## perl is stuck in a regexp infinite loop!
2191
2192     alarm(10);
2193
2194     if ($DATA =~ /^line2.*line4/m) {
2195         fail("Should not be a match")
2196     } else {
2197         pass("Match on tainted multiline data should fail promptly");
2198     }
2199
2200     alarm(0);
2201 }
2202 __END__
2203 # Keep the previous test last