Custom formatting traits used when outputting Graphviz diagrams with the results of a dataflow analysis.
A framework that can express both gen-kill and generic dataflow problems.
Dataflow analyses are built upon some interpretation of the bitvectors attached to each basic block, represented via a zero-sized structure.
Traits used to represent lattices for use as the domain of a dataflow analysis.
Dataflow that runs from the exit of a block (the terminator), to its entry (the first statement).
A solver for dataflow problems.
Dataflow that runs from the entry of a block (the first statement), to its exit (terminator).
A dataflow analysis that has converged to fixpoint.
Allows random access inspection of the results of a dataflow analysis.
A dataflow problem with an arbitrarily complex transfer function.
Define the domain of a dataflow problem.
The legal operations for a transfer function in a gen/kill problem.
A gen/kill dataflow problem.
Calls the corresponding method in
The transient state of the dataflow analyses used by the borrow checker.
The results of the dataflow analyses used by the borrow checker.