abstract interpretation
List of tools for static code analysis — contains both abstract-interpretation based (sound) and ad hoc (unsound) tools
Static program analysis — overview of analysis methods, including, but not restricted to, abstract interpretation
Interpreter (computing)