Crate haybale[−][src]
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. |
ParameterVal | |
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. |
get_path_length | Returns the number of LLVM instructions in a passed path. The returned value is only accurate if the path under analysis does not include a panic, exception, exit, or any hooked calls (such as inline assembly). |
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 |