transferFunction

package

v0.0.0-...-ad4f0ff Latest Latest Go to latest Published: Jun 25, 2019 License: MIT Imports: 3 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

Repository

github.com/akwick/gotcha

Links

Open Source Insights

Documentation ¶

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

This section is empty.

Types ¶

type PlainFF ¶

type PlainFF func(lattice.Valuer) (lattice.Valuer, error)

PlainFF describes a plain flow function without any connection to an instruction.

type Semanticer ¶

type Semanticer interface {
	// TransferFunction returns a PlainFF which describes the change of a lattice.Valuer caused by node
	TransferFunction(node ssa.Instruction, pointers *pointer.Result) PlainFF
}

Semanticer is an interface for a transfer function A transfer function describes the change in a Lattice caused by an expression. In our implementation, an expression is represented by a ssa.Instruction.

Source Files ¶

View all Source files

semanticer.go

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL