Module post_dominates 

Post-dominator tree query.

Build a post-dominates query Program:

use weir::post_dominates::post_dominates;

let program = post_dominates(4, "pdom_set", "target_set", "out");

post_dominates - query the post-dominator tree.

Per node n and target t, write 1 iff n post-dominates t (every path from t to function exit goes through n). This is the dual of dominance and is needed for control-dependence analysis + the csrf_missing_token rule’s path checks.

Structs

PostDominates

Soundness marker for post_dominates.

Functions

post_dominates

Build a post-dominator query Program.