The roadmap for this project has two directions:

  1. Refine the extra annotations and promote its use
  2. Rewrite the core checker module with Scala
  3. Integrate it with more JS analyzers, including SAFE 2.0 and TAJS

WinterHack Milestone

https://github.com/xWIDL/safe/milestone/1