StackMapVerifier (YABR)

tonic@yabr:~$ Source Portfolio tonicbox.dev

java.lang.Object
- com.tonic.analysis.verifier.stackmap.StackMapVerifier

```
public class StackMapVerifier
extends Object
```
Verification pass that validates a method's StackMapTable against frames recomputed by dataflow.

Constructor Summary

Constructors
Constructor Description

StackMapVerifier(ClassFile classFile)
Creates the pass for one class.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`verify(MethodEntry method, ErrorCollector collector)`	Checks that every branch target has a StackMapTable frame and that declared frames match the computed type states.

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

- Constructor Detail
  - StackMapVerifier
```
public StackMapVerifier(ClassFile classFile)
```
    Creates the pass for one class.
    
    Parameters:
    
    classFile - the class whose methods will be checked
- Method Detail
  - verify
```
public void verify(MethodEntry method,
                   ErrorCollector collector)
```
    Checks that every branch target has a StackMapTable frame and that declared frames match the computed type states.
    
    Parameters:
    
    method - the method to check
    
    collector - the sink for findings