1 #ifndef ROSE_BinaryAnalysis_Concolic_Callback_MemoryTime_H
2 #define ROSE_BinaryAnalysis_Concolic_Callback_MemoryTime_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_CONCOLIC_TESTING
5 #include <Rose/BinaryAnalysis/Concolic/SharedMemory.h>
8 namespace BinaryAnalysis {
20 class MemoryTime:
public SharedMemoryCallback {
23 using Ptr = MemoryTimePtr;
29 explicit MemoryTime(
const std::string &name);
42 virtual SharedMemoryCallbackPtr instanceFromFactory(
const AddressInterval&,
const Yaml::Node &config)
const override;
43 virtual void handlePreSharedMemory(SharedMemoryContext&)
override;
44 virtual void playback(SharedMemoryContext&)
override;
Main namespace for the ROSE library.
Sawyer::SharedPointer< Node > Ptr
Reference counting pointer.