Search Results for "binary analysis tool"

ELFIO is a header-only C++ library intended for reading and generating files in the ELF binary format

...The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link technology support rapid development of GUI applications. Several development, documentation, test and analyzing tools are provided in order to support developers and administrators. .NET interface and a...

The Baby X resource compiler (babyxrc) is a program to import binary data, such as images in most common formats, audio data, fonts, cursors, and text data, and output it as portable, compileable C source. Input is the raw binary resource data (.jpegs, .wavs etc) and a simple xml file which lists the files and the format in which they are to be output. It's very easy to maintain. To avoid users having to maintain a tool chain, a few basic transformations like resizing images or resampling audio files to match the rate required by the program are included. ...

...The approach allows services to be described graphically as (work)flows of activities. Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment and validation. Cress aims to make service design as easy as possible without requiring specialist development knowledge. It simplifies service creation to drawing diagrams, clicking buttons and defining a few tool parameters. ...

Klonwerk is an advanced and easy-to-use tool for reactive variability management and large-scale software reuse. It allows you to automatically clone and modify directories of textural or binary files (e.g. code, architecture, documentation), based on conceptual feature/decision models.

Command line tool to convert BMP images to binary bitmaps and c header files with 8bit page layout instead of line layout (one byte is 8-bit vertical line). Can be used to present data for graphical LCD images in micro controller programming (eg AVR).

Component (library, framework) refactoring may affect existing applications, where the client code used previous component versions. Our tool preserves applications binary-compatible by generating an adaptation layer out of change history.

Binconv is a Python script as a template-based binary file converter. It can help to convert binary files into any text-based files which can be represented by Mako template engine. The collection of template can make this tool adaptable to many project.

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.