edk2.cfg

<?xml version="1.0"?>
<def>
  <resource>
    <alloc init="true">AppendDevicePath</alloc>
    <alloc init="true">AppendDevicePathInstance</alloc>
    <alloc init="true">AppendDevicePathNode</alloc>
    <alloc init="true">DevicePathFromHandle</alloc>
    <alloc init="true">DuplicateDevicePath</alloc>
    <dealloc>FreePool</dealloc>
  </resource>

  <memory>
    <alloc init="true">AllocateCopyPool</alloc>
    <alloc init="true">AllocateZeroPool</alloc>
    <alloc>AllocatePool</alloc>
    <dealloc>FreePool</dealloc>
  </memory>

  <memory>
    <alloc>AllocatePages</alloc>
    <dealloc>FreePages</dealloc>
  </memory>

  <memory>
    <alloc>AllocateAlignedPages</alloc>
    <dealloc>FreeAlignedPages</dealloc>
  </memory>

  <function name="AllocatePages">
    <noreturn>false</noreturn>
    <arg nr="1"><not-bool/><valid>0:</valid></arg>
  </function>

  <function name="AllocateAlignedPages">
    <noreturn>false</noreturn>
    <arg nr="1"><not-bool/><valid>1:</valid></arg>
    <arg nr="2"><not-bool/><valid>0:</valid></arg>
  </function>

  <function name="CopyMem">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1"><not-null/></arg>
    <arg nr="2"><not-null/><not-uninit/></arg>
    <arg nr="3"><not-bool/><valid>1:</valid></arg>
  </function>

  <function name="DevicePathFromHandle">
    <noreturn>false</noreturn>
    <arg nr="1"><not-uninit/></arg>
  </function>

  <function name="FreePages">
    <noreturn>false</noreturn>
    <arg nr="1"><not-null/></arg>
    <arg nr="2"><not-bool/><valid>1:</valid></arg>
  </function>

  <function name="FreeAlignedPages">
    <noreturn>false</noreturn>
    <arg nr="1"><not-null/></arg>
    <arg nr="2"><not-bool/><valid>1:</valid></arg>
  </function>

  <function name="FreePool">
    <noreturn>false</noreturn>
    <arg nr="1"><not-null/></arg>
  </function>

  <function name="SetMem">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1"><not-null/></arg>
    <arg nr="2"><not-bool/><valid>1:</valid></arg>
    <arg nr="3"><not-uninit/></arg>
  </function>

  <function name="StrCpy">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1"><not-null/></arg>
    <arg nr="2"><not-null/><not-uninit/></arg>
  </function>

  <function name="StrLen">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1"><not-null/></arg>
  </function>

  <function name="StrnCpy">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1"><not-null/></arg>
    <arg nr="2"><not-null/><not-uninit/></arg>
    <arg nr="3"><not-bool/><valid>0:</valid></arg>
  </function>

  <function name="ZeroMem">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1"><not-null/></arg>
    <arg nr="2"><not-bool/><valid>1:</valid></arg>
  </function>

</def>