[TYPES/announce] SAFE 2.0 is now available!

Sukyoung Ryu sukyoung.ryu at gmail.com
Mon Oct 10 05:28:26 EDT 2016

Dear all,

We are pleased to announce the official release of SAFE 2.0, a scalable and pluggable analysis framework for JavaScript web applications.  General information on the SAFE project is available at an invited talk at ICFP 2016:


and the source code and publications are available at:


For more information, please check out a user manual at:


If you have any questions or comments, please feel free to contact the main developers of SAFE at safe [ at ] plrg.kaist.ac.kr.

Jihyeok Park, Yeonhee Ryou, and Sukyoung Ryu

More information about the Types-announce mailing list