#This script is designed to run with Understand - CodeCheck
use base ("Understand::Codecheck");
use strict;


use constant ERR1 => 'stdlib.h function %2 used in file %1';

sub register_tr_text() {
  my $check = shift;
  $check->add_tr_text(ERR1);
}

sub name { return "20.11 The library functions abort, exit, getenv and system from library <stdlib.h> shall not be used";}

sub description { return "20.11 (Required) The library functions abort, exit, getenv and system from library <stdlib.h> shall not be used";}

sub detailed_description { return <<"END_DESC"
These functions will not normally be required in an embedded system, which does not normally
need to communicate with an environment. If the functions are found necessary in an application,
then it is essential to check on the implementation-defined behaviour of the function in the
environment in question.
END_DESC
}

sub test_language {
  my $language = shift;
  return $language =~ /C\+\+/; #Handles C and C++
}

sub test_entity { return 1;}

sub test_global { return 0;}

sub define_options{}
our %seen;
sub check {
  my $check = shift; 
  my $file = shift;
  return unless $file->kind->check("file ~unknown ~unresolved");
 	foreach my $libFuncs($file->filerefs(" ","Function")){
 		if($libFuncs->ent->name eq "abort" || $libFuncs->ent->name eq "exit" || $libFuncs->ent->name eq "getenv" || $libFuncs->ent->name eq "system"){
      my $libUsed = includeCheck($file);
      if($libUsed){
        $check->violation($libFuncs->ent,$file,$libFuncs->line,$libFuncs->column,ERR1,$file->name,$libFuncs->ent->name);
      }
    }
 	}
  %seen=();  
}

sub includeCheck {
  my $file = shift;

  if ($seen{$file->id}){
    return 0;
  }
  $seen{$file->id}=1;
  if($file->name eq "stdlib.h"){
    return 1;
  }
  my @refs = $file->refs("include","file",1);
  foreach my $ref (@refs){
    return 1 if includeCheck($ref->ent);
  }
}