BinSight

A static program analyzer that supports attribution of API misuse to its source.

Security DSLs provided by the Tool
Name
Description
Security Checks provided by the Tool
Name
Description
Checks if APIs are used correctly.