[Inferbo] Use the OneInstrPerNode CFG

Summary: This will facilitate accessing Inferbo abstract state at the instruction level from the Cost analysis

Reviewed By: ddino

Differential Revision: D7568701

fbshipit-source-id: 84ac648

infer/src/bufferoverrun/bufferOverrunChecker.ml

@@ -307,8 +307,8 @@ module TransferFunctions (CFG : ProcCfg.S) = struct
     output_mem
 end
 
-module Analyzer = AbstractInterpreter.Make (ProcCfg.Normal) (TransferFunctions)
-module CFG = Analyzer.TransferFunctions.CFG
+module CFG = ProcCfg.OneInstrPerNode (ProcCfg.Normal)
+module Analyzer = AbstractInterpreter.Make (CFG) (TransferFunctions)
 
 module Report = struct
   module PO = BufferOverrunProofObligations