DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.

Go to file

Achim D. Brucker e2e54acd27 Updated global WALA dependency/module.		2015-06-12 15:39:15 +02:00
externals	added DASPA/WALA as submodule.	2015-06-11 22:36:50 +02:00
src	Updated global WALA dependency/module.	2015-06-12 15:39:15 +02:00
.gitignore	Ignore bin directories.	2015-06-09 19:21:36 +02:00
.gitmodules	added DASPA/WALA as submodule.	2015-06-11 22:36:50 +02:00
LICENSE	Initial commit	2015-05-30 23:28:28 +02:00
README.md	Initial commit	2015-05-30 23:28:28 +02:00

DASCA