Search Results for "hpc code analysis" - Page 19

The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.

Eclipse Plug-In that determines the Minimal Access Modifier of Java types and methods project and computes the software metrics Inappropriate Generosity with Accessibility of Types (IGAT) and Inappropriate Generosity with Accessibility of Methods (IGAM). The Minimal Access Modifier of a Java type or type member is the most restrictive access modifier that is able to allow all actual usages of the particular type or member from inside a given code base (normally the entire source code of...

IDA Pro (Interactive Disassembler) is a really great assembly code analysis tool. This project is an IDA Pro database file for Star Trek: Birth of the Federation. See the homepage for information on what's been done.

jSET - Java Software Evolution Tracker is a software visualization tool that allows practitioners to assess the magnitude of changes across the versions of a software system.

ProRefactor is the basis for Progress 4GL code analysis and refactoring. It is written in Java, and it is an Eclipse plug-in (though the libraries are useful beyond Eclipse).

cpp2xml is a tool to convert C/C++ definitions into XML. The main goal is to use the XML as input to code generation tools, but any other usage may be imagined.

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)

Open Metaheuristic (oMetah) is a library aimed at the conception and the rigourous testing of metaheuristics (i.e. genetic algorithms, simulated annealing, ...). The code design is separated in components : algorithms, problems and a test report generator

A static checker that model checks the implementation of equality for an Eclipse Java Project.

HealFu allows you to easily record health and fitness data and make your life better. -Your ideal body weight will be calculated according to your height and sex(your Body Mass Index). -After recording your body weight, a message will encourage you. -This application will be enhanced to upload images to twitter and facebook. FEATURES Functions: Recorded your health and fitness data are easily checked by the graphs. Easily set your goal weight by increasing or...

MSR Tools is a source code evolution analysis tool. It consists of a framework for mining software repositories and tools for metric calculation, visualization, defect prediction.

Tool to create a CSV report on directory hierarchies. Listing includes date range. Great for spreadsheet analysis to govern file archival. Another STDNOJ Project. By R.A Nagy

antillesXML is an extensive and in its form unique compilation of XML tools. Now the new version 2.0 is available as a free download. Various functions on all aspects of XML documents are available.

CesTa (Code Enhancing Security Transformation and Analysis) is a tool for enhancing security by program transformations. Focused on Smart Cards (Java Card in particular), powered by Ant, ANTLR and StringTemplates.

PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.

Justus is a tool set for Progress 4GL (ABL) Developers. It includes a simplified parser for 4GL, an API to load Profiler data and a Test Coverage Tool.

Another Open Source Code Analysis Tool

Its an Eclipse 3.5 Plugin. It can be used to find linear paths for unit testing of any method. The linear path covers all the child methods and till leaf level of the hierarchy. The packages which should be covered in the path can be controlled.

JavaML is a complementary representation of Java source code that is based on XML-- the representation targets software engineering and analysis tools

PSF is a path-sensitive, inter-procedural program analysis framework developed on top of Soot.

Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.

A plug in for Eclipse that calculates metrics for your code during build cycles and warns you, via the Problems View, of 'range violations' for each metric. You may also export the metrics to various formats for further analysis.

Parsers for biological data based on scanner generators like Flex (C), Re2c(C), Jflex (Java) and Ifickle (Tcl). This scanner generators are providing easier maintainance, development and higher speed than hand written scanners. Scanner output is SQL.

Code Coverage Tool For Oracle PL/SQL

The Java Code Clone Detection API (JCCD) allows to implement individual code clone detectors. These code clone detectors can be easily integrated into other Java applications. JCCD is based on a pipeline architecture which allows to replace whole par