Hello Anna,
- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Jan 20 2015
Jan 20 2015
j.trofimovich added a comment to D4066: [analyzer] Path-sensitive different.IntegerOverflow checker.
Oct 31 2014
Oct 31 2014
j.trofimovich added a comment to D4066: [analyzer] Path-sensitive different.IntegerOverflow checker.
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...
j.trofimovich updated the diff for D4066: [analyzer] Path-sensitive different.IntegerOverflow checker.
Improve checker and test suite:
- Split into two checkers for def/undef behavior.
- Refactor message composing
- Add comments
- Add test cases
Jul 22 2014
Jul 22 2014
j.trofimovich added a comment to D4066: [analyzer] Path-sensitive different.IntegerOverflow checker.
Thanks a lot for reviewing!
Jun 9 2014
Jun 9 2014
j.trofimovich retitled D4066: [analyzer] Path-sensitive different.IntegerOverflow checker from to [analyzer] [patch] Path-sensitive different.IntegerOverflow checker.