title: What does HFA stand for in Coverity Prevent?
body: <p><a href="http://en.wikipedia.org/wiki/Coverity#Products" rel="nofollow noreferrer">Coverity Prevent</a> has a checker 'HFA' which is used to identify unused included header files.</p>
  
  <p>I understand what it's used for, but I don't understand the abbreviation. What does HFA stand for? </p>
  
  <p>It doesn't appear to be mentioned in the documentation and a quick bit of googling hasn't turned anything up.</p>