foxdec-0.1.0.0: Formally Verified x86-64 Decompilation
Safe HaskellNone
LanguageHaskell2010

OutputGeneration.Metrics

Synopsis

Documentation

num_of_instructions :: CFG -> Int Source #

Number of instructions in CFG

num_of_unres_inds_in_cfg :: Context -> (Opcode -> Bool) -> CFG -> Int Source #

Number of unresolved indirections in the given CFG

num_of_blocks :: CFG -> Int Source #

Number of basic blocks in CFG

num_of_edges :: CFG -> Int Source #

Number of edges in CFG

mk_metrics :: Context -> (String, String) Source #

Returns all generated metrics in JSON and pretty-printed