/*
    Copyright (c) Microsoft Corporation.  All rights reserved.

    Description:

        This rule checks for use-after-free defects
    
*/

sdv_main.exit
{
  abort "This is just a placeholder as the actual rule is defined by the engine"; 
}
