cover_filter.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Coverage Instrumentation
 
Author: Peter Schrammel
 
\*******************************************************************/
 
 
#include "cover_filter.h"
 
#include <util/prefix.h>
#include <util/symbol.h>
 
#include <linking/static_lifetime_init.h>
 
bool internal_functions_filtert::operator()(
  const symbolt &function,
  const goto_functionst::goto_functiont &goto_function) const
{
  if(function.name == goto_functionst::entry_point())
    return false;
 
  if(function.name == INITIALIZE_FUNCTION)
    return false;
 
  if(goto_function.is_hidden())
    return false;
 
  // ignore Java built-ins (synthetic functions)
  if(function.name.starts_with("java::array["))
    return false;
 
  // ignore if built-in library
  if(
    !goto_function.body.instructions.empty() &&
    goto_function.body.instructions.front().source_location().is_built_in())
    return false;
 
  return true;
}
bool internal_functions_filtert::operator()( {…}
 
bool file_filtert::operator()(
  const symbolt &function,
  const goto_functionst::goto_functiont &goto_function) const
{
  (void)goto_function; // unused parameter
  return function.location.get_file() == file_id;
}
bool file_filtert::operator()( {…}
 
bool single_function_filtert::operator()(
  const symbolt &function,
  const goto_functionst::goto_functiont &goto_function) const
{
  (void)goto_function; // unused parameter
  return function.name == function_id;
}
bool single_function_filtert::operator()( {…}
 
bool include_pattern_filtert::operator()(
  const symbolt &function,
  const goto_functionst::goto_functiont &goto_function) const
{
  (void)goto_function; // unused parameter
  std::smatch string_matcher;
  return std::regex_match(
    id2string(function.name), string_matcher, regex_matcher);
}
bool include_pattern_filtert::operator()( {…}
 
bool trivial_functions_filtert::operator()(
  const symbolt &function,
  const goto_functionst::goto_functiont &goto_function) const
{
  (void)function; // unused parameter
  unsigned long count_assignments = 0, count_goto = 0;
  for(const auto &instruction : goto_function.body.instructions)
  {
    if(instruction.is_goto())
    {
      if((++count_goto) >= 2)
        return true;
    }
    else if(instruction.is_assign())
    {
      if((++count_assignments) >= 5)
        return true;
    }
    else if(instruction.is_decl())
      return true;
  }
 
  return false;
}
bool trivial_functions_filtert::operator()( {…}
 
bool internal_goals_filtert::
operator()(const source_locationt &source_location) const
{
  if(source_location.get_file().empty())
    return false;
 
  if(source_location.is_built_in())
    return false;
 
  return true;
}
bool internal_goals_filtert:: {…}