static analysis

A static analysis tool to draw an application map, which is similar to a context map although more accurate and detailed.

Performs interprocedural and intraprocedural PointsTo analysis on static Java methods using a bounded call string approach.

Jesse is a program analysis tool which returns for a given binary (program or library) all system calls it can invoke.

Mirror of the Python Code Quality Authority's PyLint static code analysis tool.