package goblint

  1. Overview
  2. Docs

Module Goblint_lib.ThreadJoins

Joined threads analysis (threadJoins).

  • see https://arxiv.org/abs/2301.06439

    Schwarz, M., Saan, S., Seidl, H., Erhard, J., Vojdani, V. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. Appendix F.

module TIDs = ConcDomain.ThreadSet
module MustTIDs = ConcDomain.MustThreadSet
module CleanExit = BoolDomain.MustBool
module Spec : sig ... end