MCPcopy Create free account
hub / github.com/akwick/gotcha / TransferFunction

Method TransferFunction

transferFunction/semanticer.go:15–15  ·  view source on GitHub ↗

TransferFunction returns a PlainFF which describes the change of a lattice.Valuer caused by node

(node ssa.Instruction, pointers *pointer.Result)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 15

TestMultipleSSAValuesFunction · 0.65
TransferFunctionMethod · 0.65
TestAllocFunction · 0.65
TestBinOpFunction · 0.65
TestCallFunction · 0.65
TestCallTaintedFunction · 0.65
TestChangeInterfaceFunction · 0.65
TestChangeTypeFunction · 0.65
TestConvertFunction · 0.65
TestDeferFunction · 0.65
TestExtractFunction · 0.65
TestFieldFunction · 0.65

Implementers 1

LatticePointerlattice/taint/taintLatticePointer.go

Calls

no outgoing calls

Tested by 15

TestMultipleSSAValuesFunction · 0.52
TestAllocFunction · 0.52
TestBinOpFunction · 0.52
TestCallFunction · 0.52
TestCallTaintedFunction · 0.52
TestChangeInterfaceFunction · 0.52
TestChangeTypeFunction · 0.52
TestConvertFunction · 0.52
TestDeferFunction · 0.52
TestExtractFunction · 0.52
TestFieldFunction · 0.52
TestFieldAddrFunction · 0.52