# 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
# Packages
No description provided by the author
Package index provides support for abstract integral index to pal.
Package memory defines the memory model of pal and associated operations.
Package objects coordinates lower level memory and typeset models with Go objects.
No description provided by the author
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 xtruth provides 3-valued T/F/X logic.
# Functions
SSAAnalyzer produces an Analyzer which works on golang.org/x/tools/go/ssa form.
No description provided by the author