Module Printer_domain

module Printer_domain: sig .. end
An abstract domain built on top of the Simpler_domains.Simple_Cvalue interface that just prints the transfer functions called by the engine during an analysis.

An abstract domain based on Simple_Cvalue that will litterally just print what goes through it.


include Abstract_domain.Leaf