Page MenuHomePhabricator

j.trofimovich (Julia Trofimovich)
User

Projects

User does not belong to any projects.

User Details

User Since
Jun 9 2014, 1:09 AM (287 w, 1 d)

Recent Activity

Dec 11 2015

j.trofimovich updated subscribers of D15448: [analyzer] SVal Visitor..
Dec 11 2015, 5:56 AM

Oct 23 2015

j.trofimovich updated subscribers of D14014: Checker of proper vfork usage.
Oct 23 2015, 4:05 AM

Aug 3 2015

j.trofimovich updated subscribers of D10305: [Clang Static Analyzer] Bug identification.
Aug 3 2015, 10:56 AM

Jan 20 2015

j.trofimovich added a comment to D4066: [analyzer] Path-sensitive different.IntegerOverflow checker.

Hello Anna,

Jan 20 2015, 9:28 AM

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...

Oct 31 2014, 10:08 AM
j.trofimovich updated the diff for D4066: [analyzer] Path-sensitive different.IntegerOverflow checker.

Improve checker and test suite:

  1. Split into two checkers for def/undef behavior.
  2. Refactor message composing
  3. Add comments
  4. Add test cases
Oct 31 2014, 9:12 AM

Jul 22 2014

j.trofimovich added a comment to D4066: [analyzer] Path-sensitive different.IntegerOverflow checker.

Thanks a lot for reviewing!

Jul 22 2014, 12:17 AM

Jun 9 2014

j.trofimovich updated D4066: [analyzer] Path-sensitive different.IntegerOverflow checker.
Jun 9 2014, 11:44 PM
j.trofimovich retitled D4066: [analyzer] Path-sensitive different.IntegerOverflow checker from to [analyzer] [patch] Path-sensitive different.IntegerOverflow checker.
Jun 9 2014, 2:02 AM