linting-tools.md

Linting tools

• https://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis#C.2FC.2B.2B
• https://en.wikipedia.org/wiki/Frama-C

Static analysis

• https://en.wikipedia.org/wiki/Abstract_interpretation
• https://en.wikipedia.org/wiki/ANSI/ISO_C_Specification_Language, implemented by Frama-C, inspired in JML: http://www.eecs.ucf.edu/~leavens/JML/index.shtml
• https://github.com/facebook/infer, also in OCaml, like Frama-C.