Protection (p.goblint.2.5.0.doc.goblint.lib.Goblint

val is_unprotected : 
  Queries.ask ->
  ?protection:Q.Protection.t ->
  GoblintCil.varinfo ->
  bool

val is_unprotected_without : 
  Queries.ask ->
  ?write:bool ->
  ?protection:Q.Protection.t ->
  CilType.Varinfo.t ->
  LockDomain.MustLock.t ->
  bool

val is_protected_by : 
  Queries.ask ->
  ?protection:Q.Protection.t ->
  LockDomain.MustLock.t ->
  GoblintCil.varinfo ->
  bool

val protected_vars : Q.ask -> GoblintCil.varinfo list