How to use HIMACS AvoidBugs

"How to use HIMACS AvoidBugs" is not written yet.