Module signature InputSig

Provides the input specification of the SSA implementation.

Import path

import codeql.ssa.Ssa

variableRead	Holds if the `i`th node of basic block `bb` reads source variable `v`. The Boolean `certain` indicates whether the read is certain.
variableWrite	Holds if the `i`th node of basic block `bb` is a (potential) write to source variable `v`. The Boolean `certain` indicates whether the write is certain.

A variable that can be SSA converted.

Location		LocationSig
BasicBlock		BasicBlockSig