Static Analysis Security Testing uses tools that inspect an application without running it. This can be done by either looking at the source code or at the compiled version of it.

A major player in this area is HP Fortify.