go-air.github.io

website

View the Project on GitHub

go-air

Go-air is a GitHub organisation dedicated to open development of verification and analysis tools in and for Go.

Public Projects

  1. Gini
  2. Reach
  3. This website ;)

Blog

Check out our blog.

Incubator

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

  1. pal – Clean, fast incremental pointer analysis for Go.
  2. six – sat for integer expressions ([u]int{8,16,32,64}).
  3. air – an new analysis ir for Go.
  4. phidl – a whacky blend of formulas and datalog
  5. dupi – index and extract duplicates.

Contributing

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.