ControlFlowExtractor (lisa-sdk 0.1 API)

java.lang.Object
- it.unive.lisa.program.cfg.controlFlow.ControlFlowExtractor

```
public class ControlFlowExtractor
extends java.lang.Object
```
An extractor of ControlFlowStructures from CFGs. It uses Dominators to extract Loops, and a graph visiting heuristics to find IfThenElses.

Extracting control flows should be a last-resort: if the cfg contains arbitrary jumps (like goto, break, continue, ...) the aforementioned algorithms will fail to properly infer some of the structures. It is always preferable to have frontends define each structure relying on source code information.

Constructor Summary

Constructors
Constructor Description

ControlFlowExtractor()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.util.Collection<ControlFlowStructure>`	`extract(CFG target)`	Runs the algorithms for extracting `ControlFlowStructure`s.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ControlFlowExtractor
```
public ControlFlowExtractor()
```
- Method Detail
  - extract
```
public java.util.Collection<ControlFlowStructure> extract(CFG target)
```
    Runs the algorithms for extracting ControlFlowStructures.
    
    Parameters:
    
    target - the cfg whose control flows structures are to be extracted
    
    Returns:
    
    the collection of extracted structures