BranchTypes.h File Reference
#include <cstdint>
Include dependency graph for BranchTypes.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Enumerations | |
| enum class | BranchType : std::uint8_t |
| Reason an ExecutionState forked. More... | |
Enumeration Type Documentation
◆ BranchType
|
strong |
Reason an ExecutionState forked.
| Value | Description |
|---|---|
BranchType::NONE | default value (no branch) |
BranchType::ConditionalBranch | branch caused by br instruction with symbolic condition |
BranchType::IndirectBranch | branch caused by indirectbr instruction with symbolic address |
BranchType::Switch | branch caused by switch instruction with symbolic value |
BranchType::Call | branch caused by call with symbolic function pointer |
BranchType::MemOp | branch caused by memory operation with symbolic address (e.g. multiple resolutions, out-of-bounds) |
BranchType::ResolvePointer | branch caused by symbolic pointer |
BranchType::Alloc | branch caused by symbolic allocation size |
BranchType::Realloc | branch caused by symbolic reallocation size |
BranchType::Free | branch caused by freeing symbolic pointer |
BranchType::GetVal | branch caused by user-invoked concretization while seeding |
Definition at line 48 of file BranchTypes.h.
