APISan: Sanitizing API Usages through Semantic Cross-Checking
sslab-gatech
An automatic API misuse checker for C programs!
tomgu1991