I've submitted a proposal for extending the static analyzer to support posix fd APIs on GSoC website. Here is the Google docs link (gdocs <https://docs.google.com/document/d/188zxPUsuYcF-uGVYL_G1s2RVtHhJSZeQ4sha40H7374/edit?usp=sharing>). Please take a look and let me know what you think. Thank you.