ControlFlowVerifier (YABR)

tonic@yabr:~$ Source Portfolio tonicbox.dev

java.lang.Object
- com.tonic.analysis.verifier.controlflow.ControlFlowVerifier

```
public class ControlFlowVerifier
extends Object
```
Verification pass over a method's control-flow graph: reachability and path termination.

Constructor Summary

Constructors
Constructor Description

ControlFlowVerifier()
Creates a stateless control-flow pass.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`verify(MethodEntry method, ErrorCollector collector)`	Checks a method's control flow, warning on unreachable instructions and erroring where execution can fall off the end of the code.

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

- Constructor Detail
  - ControlFlowVerifier
```
public ControlFlowVerifier()
```
    Creates a stateless control-flow pass.
- Method Detail
  - verify
```
public void verify(MethodEntry method,
                   ErrorCollector collector)
```
    Checks a method's control flow, warning on unreachable instructions and erroring where execution can fall off the end of the code.
    
    Parameters:
    
    method - the method to check
    
    collector - the sink for findings