This is an archive of the discontinued LLVM Phabricator instance.

CSA's StreamChecker - additional functionality and fix
Needs ReviewPublic

Authored by a.sidorin on May 5 2014, 7:04 AM.

Details

Summary

This is a patch for StreamChecker.
Improvements:

  1. open/close Unix API support
  2. BugVisitor with open/close messages (based on MallocChecker's one)
  3. New functions are supported.
  4. Check for access after closing of descriptor.

Diff Detail

Event Timeline

a.sidorin updated this revision to Diff 9074.May 5 2014, 7:04 AM
a.sidorin retitled this revision from to CSA's StreamChecker - additional functionality and fix.
a.sidorin updated this object.
a.sidorin edited the test plan for this revision. (Show Details)
a.sidorin added a reviewer: jordan_rose.
a.sidorin added a subscriber: Unknown Object (MLST).May 6 2014, 11:25 PM

Hello,
Please review this commit (improvements of StreamChecker).

zaks.anna edited edge metadata.Jul 6 2014, 11:19 AM

Sent the high level comments through the list.