Go-air is a GitHub organisation dedicated to open development of verification and analysis tools in and for Go.
Check out our blog.
We maintain several volatile incubator projects, some of which are too premature to publish to all, but we welcome enthusiasts. If you'd like an invite to a private repo below, please join us.
Public incubator projects have stub main branches. Development occurs on a branch named
proto and is often highly volatile and difficult to coordinate. However, all are welcome
to have a look and comment, ask questions, make suggestions, or even jump in as a co-designer.
These projects are generally not yet ready for functional consumption.
Currently, these repositories include
- pal -- Clean, fast incremental pointer analysis for Go.
- six -- sat for integer expressions ([u]int{8,16,32,64}).
- air -- an new analysis ir for Go.
- phidl -- a whacky blend of formulas and datalog
- dupi -- index and extract duplicates.
There are many ways to contribute to Go-air.
Please see our code of conduct and contribution guidelines.
If you are interested in joining Go-air, see joining for more info.