tree 1f1367d6c59031427eb9b7911439f1f1d7ea722b
parent a02d631163860c795cac7a0428ad8abb9ed3b747
parent d747bb8f3f7061786db9ed77430a572361f263af
author Josh Gao <jmgao@google.com> 1537471323 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1537471323 +0000

Merge changes from topics "fdsan_ziparchive_type", "fdsan_java_socket"

* changes:
  fdsan: improve documentation.
  fdsan: add type for libziparchive's ZipArchive.
  fdsan: add types for Java sockets.