/// <summary>Adds a DataFlow Sanitizer Module pass</summary>
/// <param name="passManager">Pass manager to add the pass to</param>
/// <param name="abiListFile">ABI List Files</param>
/// <returns><paramref name="passManager"/>for fluent support</returns>
public static ModulePassManager AddDataFlowSanitizerPass([ValidatedNotNull] this ModulePassManager passManager, string[] abiListFile)
{
passManager.ValidateNotNull(nameof(passManager));
if (abiListFile == null)
{
abiListFile = Array.Empty <string>( );
}
passManager.ValidateNotNull(nameof(passManager));
LibLLVMAddDataFlowSanitizerPass(passManager.Handle, abiListFile.Length, abiListFile);
return(passManager);
}
/// <summary>Adds an Address Sanitizer Function pass</summary>
/// <param name="passManager">Pass manager to add the pass to</param>
/// <returns><paramref name="passManager"/>for fluent support</returns>
public static ModulePassManager AddSanitizerPass([ValidatedNotNull] this ModulePassManager passManager)
{
passManager.ValidateNotNull(nameof(passManager));
LibLLVMAddAddressSanitizerModulePass(passManager.Handle);
return(passManager);
}