Module abstract_state

rapx::analysis::senryx::contracts

Module abstract_state 

Source

Enumsยง

AlignState
Tracks pointer alignment status in the abstract domain.