Module Goblint_lib.BranchSet

Helper analyses to be path-sensitive in set of taken branches (branchSet, branchSetFull, branchSetLocal).

The different analysis variants have different interprocedural behavior.

module CommonSpec : sig ... end

Common parts of all variants.

module FullSpec : sig ... end

Fully interprocedural branch path-sensitivity (branchSetFull).

module Spec : sig ... end

Semi-interprocedural branch path-sensitivity (branchSet).

module LocalSpec : sig ... end

Fully intraprocedural branch path-sensitivity (branchSetLocal).