Shed is a hex editor written for unix/linux using ncurses, with a friendly pico-style interface. Shows data in
ascii, hex, dec, oct and binary, and allows editing in all of these bases. Features also include searching and dumping.
...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
Madmap is a tool to help analyze java heap dumps. New in v1.1 it supports hprof ascii and now binary dumps collected with jmap. It helps find memory leaks by showing the live set and automatically calculating which objects retain the most heap size.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
SkyEye is a very fast full system simulator which takes llvm as IR of dynmic compiled framework.. It can simulate series ARM, Coldfire,Mips, Powerpc, Sparc, x86, TI DSP and Blackfin DSP Processor. Also can simulate multicore system by the multicore of host.
The commercial support is provided by DigiProto Co. (http://www.digiproto.com)
After a program has been thrown into the world in binary form, it can boomerang back as source code. The Boomerang reverse engineering framework is the first general native executable decompiler available to the public.
Udis86 is an easy-to-use minimalistic disassembler library for the x86 and x86-64 instruction set architectures. The primary intent of the design and development of udis86 is to aid software development projects that entail binary code analysis.
A standalone powerpc disassembler written as a wrapper over GNU libopcode library. It accepts the opcode ( in hex or decimal ) as it's argument and spits the disassembled output.
Recently, a reference assembler has been added. It takes the instruction in string form and spits the assembled 32-bit opcode.It's not fully tested and may not work always.
File-Spector is a small, fast and easy to use binary file analyzer and Inspector.
It allows the users to format a complete binary file structure and then use it to read any binary file that matches the specified format.
Language used: c++
Libraries used: fltk
OS: Linux
Problem Description: Jtag management software for CPLD and jtag aware chips
Major features: X11 UI, c++ platform for jtag apps
Data formats: jtag, bsdl, binary
Derived from existing project "jtag"
binaryfinary is a binary file format viewer/editor. Profiles are written which describe binary file formats e.g. media files formats, TCP packets, compression formats. Binaryfinary provides an XML-DTD so that these templates can be described in XML.