The Basics verification layer consists of tests for:

• Exceptions Stop Details - ensures that applications do not hide access violations using structured exception handling.
  
  
• Handles Stop Details - tests to ensure the application is not attempting to use invalid handles.
  
  
• Heaps Stop Details - checks for memory corruptions issues in the heap.
  
  
• Leak Stop Details - detects leaks by tracking the resources made by a dll that are not freed by the time the dll was unloaded.
  
  
• Locks Stop Details - verifies the correct usage for critical sections.
  
  
• SRWLock Stop Details - verifies the correct usage for slim reader/writer (SRW) locks.
  
  
• Memory Stop Details - ensures APIs for virtual space manipulations are used correctly (e.g. VirtualAlloc, MapViewOfFile).
  
  
• TLS Stop Details - ensures that Thread Local Storage APIs are used correctly.
  
  
• Threadpool Stop Details- the threadpool verification ensures correct usage of threadpool API�s and enforces consistency checks on worker-thread-states after a callback.