MISS_HIT is a compiler framework for the MATLAB and Octave programming languages, and a set of tools for improving code quality and correctness. MISS_HIT offers a variety of tools, for any level of static analysis needed.
Tools (GPL Licensed)
Tools (AGPL Licensed)
Static analysis tools can be classified by three properties. Any tools can have up to two of these properties, but it is impossible to have all three for non-trivial source languages (i.e. languages that contain loops):
- automatic: This means a tool does not require human intervention, such as loop invariants or precondition annotations.
- sound: This means a tool will never miss a bug. There could be false alarms, but every bug will be found.
- complete: This means a tool will never raise a false alarm. Any issue found is a real issue; but there is no guarantee that all issues will be found.
MISS_HIT offers a number of static analysis tools, depending on your project needs: