Module Osek

Data race analysis for OSEK programs.

module Mutex = MutexAnalysis
module LockingPattern = Exp.LockingPattern
module CF = Cilfacade
module GU = Goblintutil
val is_atomic_type : Prelude.Ana.typ -> bool
val is_atomic : Prelude.Ana.lval -> bool
val is_ignorable : Cil.lval -> bool
module Flag : sig ... end

The basic thread domain that distinguishes singlethreaded mode, a single * thread ID, and otherwise goes to top.

val get_flag : (string * Obj.t) list -> Flag.t
module Spec : sig ... end