hub / github.com/akwick/gotcha

github.com/akwick/gotcha @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

507 symbols 1,468 edges 76 files 211 documented · 42% ● updated 7y ago★ 442 open issues

Browse by type

⨍ Functions 454◇ Types & classes 53

What it actually does AI analysis from the code graph — generated when you open this

loading…

Extension points exported contracts — how you extend this code

Latticer (Interface)

Latticer describes the lattice interface. A lattice contains ssa.Values which points to a Valuer [1 implementers]

lattice/lattice.go

VcIdentifier (Interface)

VcIdentifier provides all the necessary methods to compare two value contexts [1 implementers]

worklist/valueContext.go

Semanticer (Interface)

Semanticer is an interface for a transfer function A transfer function describes the change in a Lattice caused by an ex [1 …

transferFunction/semanticer.go

Pter (Interface)

Pter describes the methods a pointer lattice needs [1 implementers]

lattice/lattice.go

VCIfer (Interface)

(no doc) [1 implementers]

worklist/valueContext.go

PlainFF (FuncType)

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

transferFunction/semanticer.go

browse all types & interfaces →

Core symbols most depended-on inside this repo

↓ 16 filesValuer

Valuer defines the methods of a value inside a Latticer

lattice/lattice.go

↓ 10 filesVcIdentifier

VcIdentifier provides all the necessary methods to compare two value contexts

worklist/valueContext.go

↓ 10 filesLatticer

Latticer describes the lattice interface. A lattice contains ssa.Values which points to a Valuer

lattice/lattice.go

↓ 8 filesWlList

* TODO: * WlList sollte besser ein Interface definieren/implementieren. * Dann können wir hinterher evtl. besser auf go-Routinen …

worklist/wlMap.go

↓ 9 filesVCIfer

worklist/valueContext.go

↓ 7 filesssaValMock

ssaValMock is a simple struct which implements all methods required for the interface ssa.Value. The functions return nil for …

lattice/taint/ssaValMock.go

browse all functions →

Shape

Function 284

Method 170

Struct 43

Interface 6

TypeAlias 3

FuncType 1

Languages

Go100%

Modules by API surface

worklist/valueContext.go42 symbols

lattice/lattice.go30 symbols

lattice/taint/taintLattice.go27 symbols

lattice/taint/flow_test.go27 symbols

lattice/taint/taintLatticePointer.go24 symbols

worklist/wlHelper.go22 symbols

worklist/contextCallSite.go14 symbols

lattice/taint/taintLattice_test.go14 symbols

lattice/taint/flowFunc.go13 symbols

tests/exampleCode/simpleLinkedListOnlyTaint.go12 symbols

tests/exampleCode/simpleLinkedList0.go12 symbols

lattice/taint/ssaValMock.go12 symbols

For agents

$ claude mcp add gotcha \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/akwick/gotcha @main

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page