[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:
https://www.youtube.com/watch?v=gEU9utf0sxE
and the source code and publications are available at:
https://github.com/sukyoung/safe
For more information, please check out a user manual at:
https://github.com/sukyoung/safe/blob/master/manual.pdf
If you have any questions or comments, please feel free to contact the main developers of SAFE at safe [ at ] plrg.kaist.ac.kr.
Best,
—
Jihyeok Park, Yeonhee Ryou, and Sukyoung Ryu
More information about the Types-announce
mailing list