Struct AddressSpaceValidator 

pub struct AddressSpaceValidator { /* private fields */ }

Address Space Validator

Implementations

impl AddressSpaceValidator

pub fn new() -> Self

Create a new address space validator

pub fn detect_generic_shared_access( &mut self, module: &PtxModule, ) -> Vec<GenericSharedBug>

Detect generic addressing of shared memory (F021)

WRONG: cvta.shared.u64 %rd, smem; ld.u32 [%rd] RIGHT: ld.shared.u32 [smem_offset]

pub fn detect_shared_mem_u64(&self, module: &PtxModule) -> Vec<GenericSharedBug>

Detect shared memory using 64-bit addresses (F022)

pub fn detect_loop_cvta_shared( &self, module: &PtxModule, ) -> Vec<GenericSharedBug>

Detect cvta.shared inside loops (F083)

Trait Implementations

impl Default for AddressSpaceValidator

fn default() -> Self

Returns the “default value” for a type.