zcov: / lib/Core/MemoryManager.h

	Files: 1 Branches Taken: 0.0% 0 / 0 Generated: 2009-05-17 22:47 Branches Executed: 0.0% 0 / 0 Line Coverage: 100.0% 1 / 1

	Programs: 1 Runs 371

       1                 : //===- MemoryManager.h - --*- C++ -*-===//
       2                 : 
       3                 : #ifndef KLEE_MEMORYMANAGER_H
       4                 : #define KLEE_MEMORYMANAGER_H
       5                 : 
       6                 : #include <vector>
       7                 : #include <stdint.h>
       8                 : 
       9                 : namespace llvm {
      10                 :   class Value;
      11                 : }
      12                 : 
      13                 : namespace klee {
      14                 :   class MemoryObject;
      15                 : 
      16                 :   class MemoryManager {
      17                 :   private:
      18                 :     typedef std::vector<MemoryObject*> objects_ty;
      19                 :     objects_ty objects;
      20                 : 
      21                 :   public:
      22              206:     MemoryManager() {}
      23                 :     ~MemoryManager();
      24                 : 
      25                 :     MemoryObject *allocate(uint64_t size, bool isLocal, bool isGlobal,
      26                 :                            const llvm::Value *allocSite);
      27                 :     MemoryObject *allocateFixed(uint64_t address, uint64_t size,
      28                 :                                 const llvm::Value *allocSite);
      29                 :     void deallocate(const MemoryObject *mo);
      30                 :   };
      31                 : 
      32                 : } // End klee namespace
      33                 : 
      34                 : #endif