Infer v1.1.0 Release Notes

  • Frontends

    👷 Build System Integrations

    • ⬆️ Clang upgraded to version 11.0

    Checkers

    • 📄 Liveness: properly handle exceptional control flow
    • 📄 Pulse:
    • 🆕 NEW checker Topl(early alpha): An experimental checker framework: write your own analysis as a state machine representing a temporal property over multiple memory objects at once, eg to write a taint analysis. Topl is based on Pulse.
    • Miscellaneous improvements to cost, inferbo, nullsafe, racerd, starvation