Search Results for "open-shell" - Page 8

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)

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...

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.

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

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.

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.

Another Open Source Code Analysis Tool

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.

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

Moved to Git Hub, https://github.com/SaikiranDaripelli/WsdlAuditor

Hexjector is an Opensource,Cross Platform PHP script to automate Site Pentest for SQL Injection Vulnerabilties.

progstat: Used to view current download statistics for posted programs on various sites.

"No comment!" is a command-line tool that generates various comment-related metrics for source code files (e. g. comment density, blank lines per file)

An interactive binary search tree. The user may interact with the tree by performing rotations, balancing, insertions, and deletions. For educational purposes

LDIFF is an enhanced language-independent line differencing tool built upon the Unix diff and overcomes its limitations in determining whether an artifact line has been changed or is the result of additions and removals

CTokenizer accepts C++ syntax as input and outputs a vector of CToken objects, which contain a token string and a(n enumerated) token type, which can then be used to parse the input.

Patch file shows difference in files in whole lines. Sometimes those lines are very similar, only one or two words changed. This script compares changed lines by characters and highlights actual differences in them - very helpful with long lines.

Unique finds patterns in source code. It helps you build better software by finding pieces of code that could benefit from a refactoring.

Small plug-ins for the Eclipse IDE to enhance the usability. All plugins can be updated through the update site: http://sahits.ch/project/eclipse/update

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.

Provide metrics calculation and dependency analyzer plugin for the Eclipse platform. Measure metrics with avg and std deviation and detect cycles in package and type dependencies. Continuation of work from http://sourceforge.net/projects/metrics.