package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `NullByteSet`

Abstract domains for tracking NULL bytes in C arrays.

module MustSet : sig ... end

module MaySet : sig ... end

module MustMaySet : sig ... end