paralab is a framework for black-box analysis of MPI programs. It allows you to investigate communication patterns, performance issues, and algorithmic features of binary MPI programs, without any source code.
A LaTeX equation editor for LibreOffice.
A Java source code analyzer.