Search Results for "structural analysis software" - Page 2

CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.

https://github.com/jplevyak/ifa IFA, Iterative Flow Analysis is a combined data-flow and control flow analysis. It is capable of resolving the concrete types (as opposed to the nominal or declared types) and the interprocedural call graph for statically or dynamically typed programs.

mojo is a standalone software and library for the fast analysis of business processes. Because of its lightweight architecture and its implementation in Java, it can be used as extension in your program, e.g., business process designer. It provides new researched compiler-based analysis techniques which supports very good failure location. The software can be used under the GNU Lesser General Public License (LPGL): http://www.gnu.org/licenses/lgpl-3.0.txt

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

XTCC/Qscript revolves around two concepts: 1) Data collection : Qscript 2) Data analysis : XTCC Qscript enables Market Research companies to securely collect data using online and offline mediums such as web, tablets/mobile. Different products include: 1) Pen and Paper Survey Management Qscript enables faster and easier keyboard entry with real time logic and validation. It generates SPSS and IBM Quantum compatible data tabulation programs leading to significant time savings of up...

cparser is a library containing a parser, lexer and semantic analysis for the ISO C99 language. It should be used as a compiler frontend, a base for source-source transformation, or source-checker tools.

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.

Based on boost. Thread:mutex-condition queue and map,ACE style thread and Glib style thread pool, loop task. Memory:memory pool. COM:COM object invocation. Language:compiler lexical and grammar analysis. Network:epoll reactor.

PegTest is an interactive application for developing parsing expression grammars (PEGs). First, write your grammar. Then, write a test input. Finally, browse how the PEG has parsed your input.

The Whiteoak programming language, http://whiteoak.sourceforge.net, is a Java 6 extension that supports: structural subtyping (structural conformance), virtual fields and constructors, mixin-like/trait-like composition of objects and more.

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.

Aurelia is a framework for program transformation based on a C++0x development environment. It provides libraries and tools for term rewriting, strategic programming, AST type generation, parsing.

Ktopsy is an educational compilation tool. Its purpose is to teach how a compiler and an interpreter work. Each step of compilation process is separated (lexical analysis, syntaxical analysis and object code generation).

News: since 2015 we continue all related developments within Collective Knowledge Framework: http://github.com/ctuning/ck/wiki ICI transforms production compilers into open interactive plugin-based research infrastructure as the first step towards future intelligent self-tuning computing systems. More information: http://cTuning.org/ici

Java Cobol Lexer take a cobol source program and return it as a list of lexical tokens. Library takes source code in fixed, free and mixed formats. It recognizes standard Cobol 85.

Java2C++ is a translator from Java to C++. It makes the assumption that the java program to translate is a properly functioning program, significantly simplifying analysis. Java run-time environment will be provided in a runtime library.

Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.

Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.

Direct C++ to C# translator, translates one of the languages to another without compiling. Has academic aim only!!!

The scala-fast-dynamic is a compiler plugin + a small runtime library for the Scala programming language (http://www.scala-lang.org) that re-implement the way structural types are translated into JVM bytecode, achieving higher performance.

Application for searching classpath dependencies of source code. Sometimes you do not know, which common libraries you need to compile existing java source code including transitive dependencies.

This project contains a set of tools for formal verification and static analysis of VHDL design.

An optimising compiler for the R5RS Scheme language, written in R5RS Scheme, compiling to ANSI C, supporting Unix-like platforms, performing whole-program analysis and online partial evaluation.

The stack tracer is an delphi library for help to make exception handling to informative. The library is written for Delphi 7, but i think will work also on the 5 and 6 versions.

HiLexed 2 is a dynamic hierarchical LL-parser system with integrated lexing. It features a powerful unlimited look-ahead, look-ahead compression*, dynamic rules and left-recursion*. * = Under development