[][src]Module isla_lib::simplify

Structs

EventReferences

The EventReferences struct contains for every variable v in a trace, the set of all it's immediate dependencies, i.e. all the symbols used to directly define v, as computed by uses_in_exp.

WriteOpts

Functions

remove_unused
renumber_event

renumber_event Renumbers all the symbolic variables in an event such that multiple event sequences can have disjoint variable identifiers. It takes two u32 arguments i and total, such that i is the index of our event sequence in the range 0..(total - 1) inclusive where total is the number of event sequences we want to make disjoint.

simplify
write_events
write_events_with_opts

Type Definitions

Taints