| int purify_assert_is_readable (const char *addr, int size) | 
| Simulates a read of size bytes starting at address addr, generating any ABR, BSR, FMR, IPR, MSE, NPR, SBR, UMR, WPR or ZPR errors that read would cause and calling purify_stop_here. Returns 0 if errors are detected, and returns 1 if no errors are detected. | 
| int purify_assert_is_writable (const char *addr, int size) | 
| Simulates a write of size bytes starting at address addr, generating any ABW, BSW, FMW, IPW, MSE, NPW, SBW, WPW, or ZPW errors that write would cause and calling purify_stop_here. Returns 0 if errors are detected, and returns 1 if no errors are detected. | 
| 
 
 |