Struct SymexOptions 

pub struct SymexOptions {
    pub enabled: bool,
    pub cross_file: bool,
    pub interprocedural: bool,
    pub smt: bool,
}

Options for the symbolic-execution pipeline.

Fields

enabled: bool

Run the symex pass at all. When false, findings get no symbolic verdict and cross-file body extraction is skipped.

cross_file: bool

Persist and consult cross-file SSA bodies so symex can model callees defined in other files.

interprocedural: bool

Dive into intra-file callee bodies during symex (k ≥ 2 via the interprocedural frame stack).

smt: bool

Use the SMT backend when available. Only meaningful when nyx is compiled with the smt feature; silently ignored otherwise.

Trait Implementations

impl Clone for SymexOptions

fn clone(&self) -> SymexOptions

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SymexOptions

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SymexOptions

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SymexOptions

where SymexOptions: Default,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for SymexOptions

fn eq(&self, other: &SymexOptions) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for SymexOptions

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for SymexOptions

impl Eq for SymexOptions

impl StructuralPartialEq for SymexOptions