[−][src]Crate haybale
For an introduction to the crate and how to get started, see the crate's README.
Re-exports
pub use config::Config; |
Modules
alloc_utils | Utility functions for performing memory allocation. These may be useful in implementing hooks for various functions that perform memory allocation. |
backend | Traits which abstract over the backend (BV types, memory implementation, etc) being used. |
callbacks | Functions and structures for defining and activating instruction callbacks |
cell_memory | Implementation of a |
config | The |
function_hooks | Functions and structures for defining and activating function hooks |
hook_utils | Utility functions for performing memset or memcpy operations. These may be useful in implementing hooks for other functions. |
simple_memory | Simple implementation of a |
solver_utils | Simple utilities for interacting with the solver |
watchpoints | Structures for defining and processing memory watchpoints |
Structs
ExecutionManager | An |
Location | Fully describes a code location within the LLVM IR. |
LocationDescription | Describes a location in LLVM IR in a format more suitable for printing - for
instance, uses function names rather than references to |
PathEntry | Describes one segment of a path through the LLVM IR. The "segment" will be one or more consecutive instructions in a single basic block. |
Project | A |
State | A |
Enums
BBInstrIndex | Denotes either a particular instruction in a basic block, or its terminator. |
Error | Error types used throughout this crate. |
ReturnValue | A simple enum describing the value returned from a function |
SolutionValue | A simple enum describing either an integer value or a pointer |
Functions
find_zero_of_func | Given a function, find values of its inputs such that it returns zero. Assumes that the function takes (some number of) integer and/or pointer arguments, and returns an integer. Pointer arguments will be assumed to be never NULL. |
get_possible_return_values_of_func | Get a description of the possible return values of a function, for given argument values. Considers all possible paths through the function given these arguments. |
symex_function | Begin symbolic execution of the function named |
Type Definitions
Result | A type alias for convenience, similar to how |