Static analysis, String analysis, Abstract Interpretation