SparseConstantPropagation (B2R2)

SparseConstantPropagation Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: ConstantPropagation<SCPValue>
All Interfaces: IConstantPropagationCore<SCPValue>

The most basic constant propagation algorithm, which can track stack-based memory objects and GOT pointers. The reader is to enable reading data from external sections, e.g., rodata. If the reader is not given, we simply ignore such global data.

Constructors

Constructor Description

Constructor	Description
`SparseConstantPropagation(hdl, ssaCFG, ?reader)` Full Usage: `SparseConstantPropagation(hdl, ssaCFG, ?reader)` Parameters: hdl : `BinHandle` ssaCFG : `DiGraph<SSABasicBlock, CFGEdgeKind>` ?reader : `Addr -> RegType -> BitVector option` Returns: `SparseConstantPropagation`	hdl : `BinHandle` ssaCFG : `DiGraph<SSABasicBlock, CFGEdgeKind>` ?reader : `Addr -> RegType -> BitVector option` Returns: `SparseConstantPropagation`


                
                  
                    
                      SparseConstantPropagation(hdl, ssaCFG, ?reader)

Full Usage: SparseConstantPropagation(hdl, ssaCFG, ?reader)

Parameters:

hdl : BinHandle

ssaCFG : DiGraph<SSABasicBlock, CFGEdgeKind>

?reader : Addr -> RegType -> BitVector option

Returns: SparseConstantPropagation

hdl : BinHandle
ssaCFG : DiGraph<SSABasicBlock, CFGEdgeKind>
?reader : Addr -> RegType -> BitVector option

Returns: SparseConstantPropagation