Machine.h File Reference

#include "klee/Expr.h"

Include dependency graph for Machine.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	klee
namespace	klee::machine
Defines
#define	kMachineByteOrder   klee::machine::LSB
#define	kMachinePointerType   Expr::Int32
#define	kMachinePointerSize   4
Enumerations
enum	klee::machine::ByteOrder { klee::machine::LSB = 0, klee::machine::MSB = 1 }

---

Define Documentation

#define kMachineByteOrder   klee::machine::LSB

Definition at line 24 of file Machine.h.

Referenced by klee::ObjectState::read16(), klee::ObjectState::read32(), klee::ObjectState::read64(), klee::ObjectState::write16(), klee::ObjectState::write32(), and klee::ObjectState::write64().

#define kMachinePointerSize   4

Definition at line 26 of file Machine.h.

#define kMachinePointerType   Expr::Int32

Definition at line 25 of file Machine.h.

Referenced by klee::ImpliedValue::checkForImpliedValues(), FastCexSolver::computeInitialValues(), klee::Expr::createCoerceToPointerType(), klee::Expr::createPointer(), klee::Expr::createTempRead(), klee::Executor::evalConstantExpr(), klee::Executor::executeAlloc(), klee::ObjectState::flushRangeForRead(), klee::ObjectState::flushRangeForWrite(), klee::MemoryObject::getBaseExpr(), klee::MemoryObject::getBoundsCheckOffset(), klee::MemoryObject::getSizeExpr(), klee::Expr::getWidthForLLVMType(), klee::ObjectState::read16(), klee::ObjectState::read32(), klee::ObjectState::read64(), klee::ObjectState::read8(), klee::ObjectState::write16(), klee::ObjectState::write32(), and klee::ObjectState::write64().