Documentation

mk_metrics :: BinaryClass p => p -> L0 pred finit SValue -> [Char] Source #

mk_metric_pointerDesignations :: (BinaryClass p, Num a) => p -> IntMap (PointerAnalysisResult SValue) -> Map String a Source #

get_pointer_specifity_cpointer :: BinaryClass p => p -> SValue -> String Source #

get_types :: (Foldable t, BinaryClass p) => p -> t SimpleExpr -> [Char] Source #

designations_to_percentages :: Map String Int -> Map String Double Source #

intDiv :: (Integral a, Integral b) => a -> b -> Double Source #