You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Target-agnostic SSA IR for blocks, instructions, phi nodes, variables, values, exception handlers, and functions.
SSA analyses for CFGs, constants, liveness, memory, phi placement, symbolic expressions, dataflow, def-use, loop structure, and verification.
Optimization and deobfuscation passes including algebraic simplification, block merging, control-flow cleanup, copy propagation, dead-code elimination, GVN, LICM, loop canonicalization, reassociation, scheduling, strength reduction, and jump threading.
Generic graph and bitset utilities used by the IR and analyses.
Host adapter traits and a pass scheduler for integrating analyssa into target lifters without tying the crate to one instruction set or metadata model.