You are hereBugwise
To use the Bugwise system submit a sample.
Bugwise is a system for detecting software defects, bugs, and vulnerabilities in executable objects. Detecting bugs in binaries is useful. It can be used by external auditors who can only have access to binaries, or as a verification stage that compilation and linking hasn't introduced extra defects.
Bugwise works by combining decompilation with traditional methods to detect bugs. Thus we combine the effectiveness of source level analysis with techniques for executable objects.
Our analyses are performed on an architecture neutral intermediate language that we recover from executable content. For more motivation on why we use an intermediate language read this article.