PV1 ⊧ Endicheckdetects endianness bugs in annotated C/C++ programs

Endicheck is a dynamic analysis tool for detecting endianness bugs, based on Valgrind

Application domain/field

• Endianness bugs
• Dynamic analysis
• Bug detection

Type of tool

Bug detector

Expected input

Program and some annotations to mark the byte-swapping and I/O functions.

Format:

C/C++ program. The annotations are written in the program source code using the annotations defined in the C header file endicheck.h

Expected output

Endicheck will report errors if it detects missing byte-swaps

Internals

Endianness: ordering of bytes used to represent numbers. Endicheck was initially created as a fork of Valgrind.

Comments

License: GPL