Header menu logo B2R2

SensitiveProgramPoint<'ExeCtx> Type

Represents a program point in the sensitive data-flow analysis.

Record fields

Record Field Description

ExecutionContext

Full Usage: ExecutionContext

Field type: 'ExeCtx
Field type: 'ExeCtx

ProgramPoint

Full Usage: ProgramPoint

Field type: ProgramPoint
Field type: ProgramPoint

Type something to start searching.