Jan 20 2015
Oct 31 2014
I'm sorry for two-month delay...
ExternalSym is the only way I can suggest to suppress the large number of FP's. I guess inter-unit analysis could have been helpful, but as such approach would require a lot more work, I found ignoring values which may be changed in other units to be the only viable option. But of course we are interested in any discussions and suggestions...
Improve checker and test suite:
- Split into two checkers for def/undef behavior.
- Refactor message composing
- Add comments
- Add test cases
Jul 22 2014
Thanks a lot for reviewing!