package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.FileUse`

Analysis of correct file handle usage (file).

see https://www2.in.tum.de/hp/file?fid=1323
Vogler, R. Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint. Section 3.

module Spec : sig ... end