MergeHandler.h

Go to the documentation of this file.

//===-- MergeHandler.h --------------------------------------------*- C++ -*-===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
 
#ifndef KLEE_MERGEHANDLER_H
#define KLEE_MERGEHANDLER_H
 
#include "klee/ADT/Ref.h"
 
#include "llvm/Support/CommandLine.h"
 
#include <map>
#include <stdint.h>
#include <vector>
 
namespace llvm {
class Instruction;
}
 
namespace klee {
extern llvm::cl::opt<bool> UseMerge;
 
extern llvm::cl::opt<bool> DebugLogMerge;
 
extern llvm::cl::opt<bool> DebugLogIncompleteMerge;
 
class Executor;
class ExecutionState;
 
class MergeHandler {
private:
  Executor *executor;
 
  uint64_t openInstruction;
 
  double closedMean;
 
  unsigned closedStateCount;
 
  unsigned getInstructionDistance(ExecutionState *es);
 
  std::vector<ExecutionState *> openStates;
 
  std::map<llvm::Instruction *, std::vector<ExecutionState *> >
      reachedCloseMerge;
 
public:
 
  void addClosedState(ExecutionState *es, llvm::Instruction *mp);
 
  ExecutionState *getPrioritizeState();
 
  void addOpenState(ExecutionState *es);
 
  void removeOpenState(ExecutionState *es);
 
  bool hasMergedStates();
  
  void releaseStates();
 
  // Return the mean time it takes for a state to get from klee_open_merge to
  // klee_close_merge
  double getMean();
 
  class ReferenceCounter _refCount;
 
  MergeHandler(Executor *_executor, ExecutionState *es);
  ~MergeHandler();
};
}
 
#endif  /* KLEE_MERGEHANDLER_H */