package jasmin

You can search for identifiers within the package.

in-package search v0.2.0

Module `Linter.VariableInitialisation`

module VIChecker

checker module for variable initialisation. This expects a program to be decorated according to the ReachingDefinitions module. It checks that every (syntactically) used variable is initialised in the domain.

val check_prog : 
  (RDDomain.t Annotation.annotation, 'asm) Jasmin.Prog.prog ->
  CompileError.t list

package jasmin

Module Linter.VariableInitialisation

Module `Linter.VariableInitialisation`