Open Source Source Code Analysis Tools

The "Architecture Visualizator" parses source code and analyze the object oriented structure as well as the control flow and logic aspects. After that it visualize the results for example as graphviz file.

Bluprint is an Agile-MDA code generator. It is a fuss-free tool supporting code generation from UML modelling tools. It supports model/code merging so engineers can easily extend and maintain generated code. Bluprint has been developed using itself.

Constructs are classes that define a "piece of system state". Constructs can be composed together to form higher-level building blocks which represent a more complex state. Constructs are often used to represent the desired state of cloud applications. For example, in the AWS CDK, which is used to define the desired state for AWS infrastructure using CloudFormation, the lowest-level construct represents a resource definition in a CloudFormation template. These resources are composed to represent higher-level logical units of a cloud application, etc.

The Project aims to fulfill the following specific objectives of Computer Education, Supportive Education and Information Service Delivery, while in operation.

Java reverse-engineering plug-in for Eclipse Modelling project. Depends on JDK and UML2 eclipse projects. Supports JKD5, including enums and generics.

This projects aims at providing an object model which describes a java source file static and dynamic behaviour. The generated object model can be used to analyse the source code or generate new code (unit tests, for example).

Pythonisa is a Python code analyzer is a simple code analyzer for Python that creates a class diagram after executing your code.

This StarUML module for C++ provides practical support for legacy systems. It uses the StarUML as a KDM (Knowledge Discovery MetaModel) framework for existing systems. The module provides an incremental reverse engineering for C++ code with a set of configurable options, such as using namespaces or folder as packages, create attributes for relations or handle properties as relations,...

Extend the Alloy model checker (Java) to more natively support the OO concepts of dynamic dispatch and inheritance.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)