Struct DataFlowAnalyzer 

pub struct DataFlowAnalyzer { /* private fields */ }

Data Flow Analyzer

Implementations

impl DataFlowAnalyzer

pub fn new() -> Self

Create a new data flow analyzer

pub fn from_module(module: &PtxModule) -> Self

Create from a PTX module (analyzes first kernel)

pub fn analyze_kernel(&mut self, kernel: &KernelDef)

Analyze a kernel for data flow

pub fn detect_loaded_value_bug(&self) -> Vec<LoadedValueBug>

Detect the “loaded value” bug pattern (F081)

Pattern: ld.shared -> computation -> st.XXX crashes

pub fn detect_computed_addr_from_loaded(&self) -> Vec<ComputedAddrFromLoadedBug>

Detect “computed address from loaded value” bug pattern (F082)

Pattern: ld.shared %r_val -> add %r_addr, base, %r_val -> st.XXX [%r_addr] Even storing a CONSTANT to an address computed from a loaded value crashes.

Trait Implementations

impl Default for DataFlowAnalyzer

fn default() -> Self

Returns the “default value” for a type.