DASCA combines several projets for the dynamic and static techniques for analysing program code for finding security (i.e., vulnerabilities), safety, or reliability problems. In addition, DASCA contains project with intentionally vulnerable code.
