README
¶
⊧ pal
pal -- pointer analysis library for Go
See this blog post for an overview.
status: volatile prototype
pal is in a volatile prototyping stage. We have re-organised things a few times already, and there are many sizeable holes still to be coded.
We will use v0.0.X semtags for this stage of development, treating it as "pre-alpha". We will move to v0.1.X when the whole chain runs on our own tests, well enough to be used by others in alpha testing.
roadmap
See #33
--
Docs
Documentation
¶
Source Files
Directories
¶
| Path | Synopsis |
|---|---|
|
cmd
|
|
|
Package index provides support for abstract integral index to pal.
|
Package index provides support for abstract integral index to pal. |
|
internal
|
|
|
plain
Package plain provides interfaces and helpers for "plain" encoding.
|
Package plain provides interfaces and helpers for "plain" encoding. |
|
Package memory defines the memory model of pal and associated operations.
|
Package memory defines the memory model of pal and associated operations. |
|
Package objects coordinates lower level memory and typeset models with Go objects.
|
Package objects coordinates lower level memory and typeset models with Go objects. |
|
Package ssa2pal provides support for encoding golang.org/x/tools/go/ssa into pal's memory model.
|
Package ssa2pal provides support for encoding golang.org/x/tools/go/ssa into pal's memory model. |
|
Package typeset provides a serialisable, canonical subset of go/types for use with pal.
|
Package typeset provides a serialisable, canonical subset of go/types for use with pal. |
|
Package xtruth provides 3-valued T/F/X logic.
|
Package xtruth provides 3-valued T/F/X logic. |
Click to show internal directories.
Click to hide internal directories.