Introducing Logic Analyzer

The Logic Analyzer tool offers a variety of advanced algorithms for slicing logic from program source: all the code you need for a computation, for example, or the code required to "specialize" a program based on the value of a variable. You can create a self-contained program, called a component from the sliced code or simply generate a list of sliced constructs for further analysis. You can mark and colorize the constructs in the Interactive Analysis Source pane.