Search Results for "hpc code analysis" - Page 11

BLua is a full featured Lua IDE for writing Lua code. It has code completion, code analysis with error display, code structure trees and many other features found in professional IDE's. It also has some World of Warcraft Lua specific features.

A code analyzer for c++ written in java.

This is a code quality diagnostic tool. It can output many stats helping to assess the readability, reusability of source. Its design allows easy implementation of new analysis component. Screenshots avalaible !

Sight provides a friendly interface to create and connect agents for bioinformatics. The workflow supports multiple responses to a single request, structure transforms, filters and request history access.Can talk with ordinary http servers (get and post)

This project is an off-shoot of the EGADSS project. The nature of the changes made to the PD CLIPS code means a separate project would be best. This is an FOSS version of the PD CLIPS Engine to include such features as backwards chaining and more....

Preclipse is an Eclipse plugin providing extensive support for the Java prevalence layer Prevayler in terms of Code Generation, Code Analysis, Refactorings, and Visualization.

Barat is a front-end for Java. It parses source and byte-code, and performs name and type analysis on demand.

Recoder.C# is a Java framework for C# program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references and supports transformation rollbacks and incremental model updates.

The Java Software Metrics Evaluation & Graphing tool is a source code analyser providing metrics analysis and graphical representation of Java code. The system presents code in a graphical format and allows software metrics calculations to be performed.

A suite of reverse engineering tools for ELF executables and any operating system that supports it, including numerous gdb patches.

All APIs that help build prof of concepts of frameworks : bytecode, java, xml models analysis, querying and generation, using high level of abstraction.

A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all

This program makes it possible to read a file produced by the option "-fdump-tree-original" which replaces the old "-fdump-ast-<I>switch</i>". The goal is to automatically annotate C code for SPLint (actually we focus on possibly null pointer)

Transmogrify is a code analysis/manipulation tool for Java whose current focus is refactoring. There are also the beginnings of a lint tool and a code twiddler (makes changes to code that aren't refactorings).

Code Insight is a Open source, cross platform software for developers to browse, edit and understand code easily, like commercial one named Source Insight. Based on CodeLite IDE the CodeInsight also is aligned with GPL license.

Prime is a tool capable of downloading massive numbers of code examples, analyzing them, then using the analyzed results for validation, completion or prediction.

typos

...It covers major testing areas such as Unit Testing, Functional Testing and Regression Testing. Two major sections of the testing area like memory management and code coverage is accomplished by open source tools, such as, • Valgrind -- Memory Management • Lcov -- Code Coverage • splint -- Static Code Analysis 2. Supported Platform • Linux operating system on Intel x86 architecture • Linux operating system on Intel x86_64 architecture

Jistory is an Eclipse plug-in for history sensitive detection of design anomalies in source code. This plug-in aims to aid the developer in writing better code by using history sensitive heuristics to analyse multiple versions of source code.

Library dedicated to the parsing of network protocols and designed to be fast, auto-adaptive, asynchronous, modular and completely independent from client/server code.

This is project is a refactoring assistant kit. It intends to provide tools and script to help refactor C++ code, replacing our usual search'n'replace by providing some rough code analysis and IDE specific plug-ins for integration.

This package will allow people to check, change, update the license of their projects. It will conform to all new licenses available.

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...

NReflector is an extensible, open class browser and analysis tool for Mono/.NET. It allows users to browse Mono/.NET assemblies, search for methods/types and analyze their usage in an intuitive way.

Stalin is an aggressive optimizing batch whole-program Scheme compiler. It uses advanced flow analysis and type inference and a variety of other optimization techniques to produce code (using C as an intermediate language) that is extremely fast.