Search Results for "binary analysis tool"

CODERU is a java code quality tool to enforce good structure in respect to packages and therefore modules dependencies. CODERU is an achronym and stands for Common Dependency Rules. The CODERU-rules rely on reserved package names and the allowed dependency rules between them expressed in a general way. Unlike other tools forcing you to define allowed or disallowed individual package dependencies CODERU is based on a fixed set of general rules. The dependencies between packages need...

....) • Offers ideological and conceptual integrity across all facilities. By adapting a new approach to CASE tool architecture (integration at repository level and developing a component-based CASE system instead of a monolithic tool) an entirely new species of tools can be brought into a useful existence – an integrated environment where all project-related activities can be performed efficiently.

Design/Reverse Engineer/Generate Scripts/Compare Versions of all major databases with "Apricot DB" ERD- tool "Apricot DB" is a database tool for design and analysis of the relational database structure. It represents the DB- structure in the form of editable Entity/Relationship Diagrams (ERD). "Apricot DB" allows to perform reverse engineering on the existing database, as well as to create a new database structure from scratch. Allows to generate the essential DDL- scripts for CREATE/DROP/DELETE- operations based on the current ERD. ...

"Component-Watch" is a tool discovering, showing and assessing the structure of (big) java programs from their classes. It finds what are the components composing a program, analyse what are the relations between those components and compare those the the permitted relations between components. The tool helps to easily define and display UML-like diagrams showing components and their relationship.

This tool helps you to reverse engineer UML Sequence Diagram for your java program at runtime. It works well with both complex java programs (that have multiple threads) and J2EE applications deployed on Application Servers.

...For installation guide read the pdf inside the zip. References: Sarica Alessia, Giuseppe Di Fatta, and Mario Cannataro. "K-Surfer: A KNIME Extension for the Management and Analysis of Human Brain MRI FreeSurfer/FSL Data." Brain Informatics and Health. Springer International Publishing, 2014. 481-492. Sarica A, Di Fatta G and Cannataro M (2014). K-Surfer: A KNIME-based tool for the management and analysis of human brain MRI FreeSurfer/FSL Data. Front. Neuroinform. Conference Abstract: Neuroinformatics 2014. doi: 10.3389/conf.fninf.2014.18.00003

An Eclipse plug-in to monitor and act against the deterioration of software modularity in Java source code. On going development, with a prototype available.

This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome

The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.

This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.