Tools Developed

1. SemDDA

   SemDDA is a database dependency analyzer written in Java. It computes both syntax and semantic-based database-database dependencies in Java Server Page (JSP)-based database-driven web applications. The tool supports various levels of abstractions in the Abstract Interpretation Framework, facilitating one to find a trade-off between precision and efficiency of the dependency analysis.

   Available on  

2. K-Taint

   K-Taint is a rewriting logic-based executable semantics in the K framework for taint analysis of an imperative programming language. K-Taint extends to the case of taint analysis the semantically sound flow-sensitive security type system introduced by Hunt and Sands, considering a support to interprocedural analysis as well. The tool effectively deals with pointers aliasing and a number of constant functions, improving precision of the analysis-results.

   Available on  

3. Tukra

   Tukra allows the practical evaluation of abstract program slicing algorithms. It exploits the notions of statement relevancy, semantic data dependences and conditional dependences. The combination of these three notions allows TUKRA to refine traditinal syntax-based program dependence graphs, generating more accurate slices. Given a program and an abstract program slicing criterion from end-user as input, TUKRA is able to perform both syntax- and semantics-based intraprocedural slicing of the program w.r.t. the slicing criterion.

   Available on