/// <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); }