Login Required

Log in to Open Hub

Remember Me

Inactive

Analyzed
17 days
ago.
based on code collected
17 days
ago.

Project Summary

A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all