tools/

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

Links

Open Source Insights

Directories ¶

Path	Synopsis
container
intsets
github.com
aclements/go-z3/internal/ops
aclements/go-z3/st
aclements/go-z3/z3
aclements/go-z3/z3/z3log
go
analysis
analysis/analysistest
analysis/cmd/vet
analysis/internal/analysisflags
analysis/internal/checker
analysis/internal/facts
analysis/multichecker
analysis/passes/asmdecl
analysis/passes/assign
analysis/passes/atomic
analysis/passes/atomicalign
analysis/passes/bools
analysis/passes/buildssa
analysis/passes/buildtag
analysis/passes/cgocall
analysis/passes/composite
analysis/passes/copylock
analysis/passes/ctrlflow
analysis/passes/deepequalerrors
analysis/passes/errorsas
analysis/passes/findcall
analysis/passes/findcall/cmd/findcall
analysis/passes/httpresponse
analysis/passes/inspect
analysis/passes/internal/analysisutil
analysis/passes/loopclosure
analysis/passes/lostcancel
analysis/passes/lostcancel/cmd/lostcancel
analysis/passes/nilfunc
analysis/passes/nilness
analysis/passes/nilness/cmd/nilness
analysis/passes/pkgfact
analysis/passes/printf
analysis/passes/shadow
analysis/passes/shadow/cmd/shadow
analysis/passes/shift
analysis/passes/stdmethods
analysis/passes/structtag
analysis/passes/tests
analysis/passes/unmarshal
analysis/passes/unmarshal/cmd/unmarshal
analysis/passes/unreachable
analysis/passes/unsafeptr
analysis/passes/unusedresult
analysis/singlechecker
analysis/unitchecker
ast/astutil
ast/inspector
buildutil
callgraph
callgraph/cha
callgraph/rta
callgraph/static
cfg
expect
gccgoexportdata
gcexportdata
internal/cgo
internal/gccgoimporter
internal/gcimporter
internal/packagesdriver
loader
mypointer
packages
packages/gopackages
packages/packagestest
pointer
ssa
ssa/interp
ssa/ssautil
types/objectpath
types/typeutil
vcs
internal
apidiff
fastwalk
gopathwalk
imports
jsonrpc2
lsp
lsp/browser
lsp/cache
lsp/cmd
lsp/debug
lsp/diff
lsp/protocol
lsp/snippet
lsp/source
lsp/tests
lsp/xlog
module
semver
span
tool
txtar

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