Cascade 2.0 Wei Wang, Clark Barrett, and Thomas Wies New York University Abstract. Cascade is a program static analysis tool developed at New York University. Cascade takes as input a program and a control file.

First Page		Document Content
Date: 2014-01-24 22:43:34		Cascade 2.0 Wei Wang, Clark Barrett, and Thomas Wies New York University Abstract. Cascade is a program static analysis tool developed at New York University. Cascade takes as input a program and a control file. Add to Reading List Source URL: www.cs.nyu.edu Download Document from Source Website File Size: 325,57 KB Share Document on Facebook