call_stack_history.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Abstract Interpretation
 
Author: Martin Brain, martin.brain@cs.ox.ac.uk
 
\*******************************************************************/
 
 
#include "call_stack_history.h"
 
ai_history_baset::step_returnt call_stack_historyt::step(
  locationt to,
  const trace_sett &others,
  trace_ptrt caller_hist) const
{
  DATA_INVARIANT(current_stack != nullptr, "current_stack must exist");
 
  cse_ptrt next_stack = nullptr;
 
  // First construct what the new history would be.
  // This requires special handling if this edge is a function call or return
  if(current_stack->current_location->is_function_call())
  {
    locationt l_return = std::next(current_stack->current_location);
 
    if(l_return->location_number == to->location_number)
    {
      // Is skipping the function call, only update the location
      next_stack = cse_ptrt(
        std::make_shared<call_stack_entryt>(l_return, current_stack->caller));
    }
    else
    {
      // An interprocedural (call) edge; add to the current stack
 
      // If the recursion limit has been reached
      // shorten the stack / merge with the most recent invocation
      // before we extend
      cse_ptrt shorten = current_stack;
 
      if(has_recursion_limit())
      {
        unsigned int number_of_recursive_calls = 0;
        cse_ptrt first_found = nullptr; // The most recent recursive call
 
        // Iterate back through the call stack
        for(cse_ptrt i = current_stack->caller; i != nullptr; i = i->caller)
        {
          if(
            i->current_location->location_number ==
            current_stack->current_location->location_number)
          {
            // Found a recursive instance
            if(first_found == nullptr)
            {
              first_found = i;
            }
            ++number_of_recursive_calls;
            if(number_of_recursive_calls == recursion_limit)
            {
              shorten = first_found;
              break;
            }
          }
        }
      }
 
      next_stack = cse_ptrt(std::make_shared<call_stack_entryt>(to, shorten));
    }
  }
  else if(current_stack->current_location->is_end_function())
  {
    if(current_stack->caller == nullptr)
    {
      // Trying to return but there was no caller?
      // Refuse to do the transition outright
      return std::make_pair(ai_history_baset::step_statust::BLOCKED, nullptr);
    }
    else
    {
      INVARIANT(
        caller_hist != ai_history_baset::no_caller_history,
        "return from function should have a caller");
 
      // The expected call return site...
      locationt l_caller_return =
        std::next(current_stack->caller->current_location);
 
      if(l_caller_return->location_number == to->location_number)
      {
        INVARIANT(
          std::next(caller_hist->current_location())->location_number ==
            l_caller_return->location_number,
          "caller and caller_hist should be consistent");
        // It is tempting to think that...
        // INVARIANT(*(current_stack->caller) ==
        //           *(std::dynamic_pointer_cast<const call_stack_historyt>
        //                                       (caller_hist)->current_stack),
        //           "call stacks should match");
        // and that we could just use caller_hist->current_stack here.
        // This fails when you hit the recursion limit so that the
        // caller_hist has a deep stack but *this has a shallow one.
 
        // ... which is where we are going
        next_stack = cse_ptrt(std::make_shared<call_stack_entryt>(
          to, current_stack->caller->caller));
      }
      else
      {
        // Not possible to return to somewhere other than the call site
        return std::make_pair(ai_history_baset::step_statust::BLOCKED, nullptr);
      }
    }
  }
  else
  {
    // Just update the location
    next_stack =
      cse_ptrt(std::make_shared<call_stack_entryt>(to, current_stack->caller));
  }
  INVARIANT(next_stack != nullptr, "All branches should initialise next_stack");
 
  // Create the potential next history
  trace_ptrt next(new call_stack_historyt(next_stack, recursion_limit));
  // It would be nice to use make_shared here but ... that doesn't work with
  // protected constructors
 
  // If there is already an equivalent history, merge with that instead
  auto it = others.find(next);
 
  if(it == others.end())
  {
    return std::make_pair(ai_history_baset::step_statust::NEW, next);
  }
  else
  {
    return std::make_pair(ai_history_baset::step_statust::MERGED, *it);
  }
}
ai_history_baset::step_returnt call_stack_historyt::step( {…}
 
bool call_stack_historyt::operator<(const ai_history_baset &op) const
{
  auto other = dynamic_cast<const call_stack_historyt *>(&op);
  PRECONDITION(other != nullptr);
 
  return *(this->current_stack) < *(other->current_stack);
}
bool call_stack_historyt::operator<(const ai_history_baset &op) const {…}
 
bool call_stack_historyt::operator==(const ai_history_baset &op) const
{
  auto other = dynamic_cast<const call_stack_historyt *>(&op);
  PRECONDITION(other != nullptr);
 
  return *(this->current_stack) == *(other->current_stack);
}
bool call_stack_historyt::operator==(const ai_history_baset &op) const {…}
 
void call_stack_historyt::output(std::ostream &out) const
{
  out << "call_stack_history : stack "
      << current_stack->current_location->location_number;
  cse_ptrt working = current_stack->caller;
  while(working != nullptr)
  {
    out << " from " << working->current_location->location_number;
    working = working->caller;
  }
  return;
}
void call_stack_historyt::output(std::ostream &out) const {…}
 
bool call_stack_historyt::call_stack_entryt::
operator<(const call_stack_entryt &op) const
{
  if(
    this->current_location->location_number <
    op.current_location->location_number)
  {
    return true;
  }
  else if(
    this->current_location->location_number >
    op.current_location->location_number)
  {
    return false;
  }
  else
  {
    INVARIANT(
      this->current_location->location_number ==
        op.current_location->location_number,
      "Implied by if-then-else");
 
    if(this->caller == op.caller)
    {
      return false; // Because they are equal
    }
    else if(this->caller == nullptr)
    {
      return true; // Shorter stacks are 'lower'
    }
    else if(op.caller == nullptr)
    {
      return false;
    }
    else
    {
      // Sort by the rest of the stack
      return *(this->caller) < *(op.caller);
    }
  }
  UNREACHABLE;
}
bool call_stack_historyt::call_stack_entryt:: {…}
 
bool call_stack_historyt::call_stack_entryt::
operator==(const call_stack_entryt &op) const
{
  if(
    this->current_location->location_number ==
    op.current_location->location_number)
  {
    if(this->caller == op.caller)
    {
      return true;
    }
    else if(this->caller != nullptr && op.caller != nullptr)
    {
      return *(this->caller) == *(op.caller);
    }
  }
  return false;
}
bool call_stack_historyt::call_stack_entryt:: {…}