My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
Issue 7: PointerToNull Heuristic covers a == null but not a != null
1 person starred this issue and may be notified of changes. Back to list
 
Project Member Reported by Yeldarb....@gmail.com, Jun 24, 2013
Add Heuristic for reference != null


Powered by Google Project Hosting