goto_check_excessive_alloc.h

Go to the documentation of this file.

#pragma once
 
#include <goto-programs/goto_functions_algorithm.h>
#include <util/arith/mp_arith.h>
#include <irep2/irep2.h>

class goto_check_excessive_alloc : public goto_functions_algorithm
{
public:
  goto_check_excessive_alloc(contextt &context, const BigInt &max_alloc_bytes)
    : goto_functions_algorithm(true),
      context(context),
      max_alloc_bytes(max_alloc_bytes)
  {
  }
 
protected:
  contextt &context;
  BigInt max_alloc_bytes;
 
  bool runOnFunction(std::pair<const irep_idt, goto_functiont> &F) override;
};