Tools
xCore
A Tool for the Development of Software Analysis Tools
TEDi
A tool for TEmplate-based Design of digital circuits
![](https://www.cs.upt.ro/~petrum/uploads/Main/jModex.png)
jModex
This prototypical Eclipse plug-in helps an analyst to identify potential security vulnerabilities in a Java web application via model checking. The tool takes as input the Java code of the investigated application (currently, based on the JSP/Servlet technology) and builds a behavioral automaton for it. Next, the automaton is translated into an ASLAN++ model that can be checked against specified goals using a model checker (e.g. SATMC).
![](https://www.cs.upt.ro/~petrum/uploads/Main/iSummarize.png)
iSummarize
This prototypical tool is an inter-procedural summarization framework. Starting from a Java application code, the tool captures the behavior of the system in the form of a behavioral automaton.
Due to its structure, an analyst can abstract the investigated code in various ways (e.g. a particular method can be manipulated as an uninterpreted function).
![](https://www.cs.upt.ro/~petrum/uploads/Main/patrools.png)
Patrools
- Polimorphism Analysis Tool for Reengineer OO Legacy Systems
An Eclipse plugin implementing reengineering analyses involving polymorphic behavior in Java systems.
![](https://www.cs.upt.ro/~petrum/uploads/Main/jMondrian.png)
jMondrian
The tool is the Java version of the Mondrian Information Visualization Framework.
![](https://www.cs.upt.ro/~petrum/uploads/Main/mcc.png)
Mc'C
- Model capture for C++
The tool is a reverse engineering tool which extracts detailed design information from C++ source code. The tool repo can be reached at https://github.com/petrufm/mcc.
![](https://www.cs.upt.ro/~petrum/uploads/Main/membrain.png)
MemBrain
MEMORIA Extension for Method Body Representation, Analysis and INspection
A dataflow analysis framework.
![](https://www.cs.upt.ro/~petrum/uploads/Main/dstm.png)
DsTm
- Detection Strategy Tuning Machine
A prototype tool which can be used to find the proper threshold values of a detection strategy.
![](https://www.cs.upt.ro/~petrum/uploads/Main/prodeoos.png)
Prodeoos
- PROblem DEtector for Object-Oriented Systems
This is one of the first tools built in LOOSE Research Group to detect design flaws in object oriented systems.