Functor Cil2cfg.WeiMaoZouChen

module WeiMaoZouChen: 
functor (G : WeiMaoZouChenInput) -> sig .. end
Implementation of "A New Algorithm for Identifying Loops in Decompilation"
Parameters:
G : WeiMaoZouChenInput

val identify_loops : G.graph -> G.tenv