CondAwareNoretAnalysis (B2R2)

CondAwareNoretAnalysis Type

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis.Strategies
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll
Base Type: obj
All Interfaces: ICFGAnalysis<(SSACFG -> unit)> , ICFGAnalysis<(unit -> unit)>

This is a non-returning function identification strategy that can check conditionally non-returning functions. We currently support only those simple patterns that are handled by compilers, but we may have to extend this as the compilers evolve.

Constructors

Constructor Description

Constructor	Description
`CondAwareNoretAnalysis(?strict)` Full Usage: `CondAwareNoretAnalysis(?strict)` Parameters: ?strict : `bool` Returns: `CondAwareNoretAnalysis`	?strict : `bool` Returns: `CondAwareNoretAnalysis`


                
                  
                    
                      CondAwareNoretAnalysis(?strict)

Full Usage: CondAwareNoretAnalysis(?strict)

Parameters:

?strict : bool

Returns: CondAwareNoretAnalysis

?strict : bool

Returns: CondAwareNoretAnalysis