package goblint

  1. Overview
  2. Docs

Module Goblint_lib.Malloc_null

Path-sensitive analysis of failed dynamic memory allocations (malloc_null).

module IdxDom = ValueDomain.IndexDomain
module Offs = ValueDomain.Offs
module Spec : sig ... end