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

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

Links

Repository: https://github.com/rkapl/endicheck

Last commit date

30 January 2020

Related papers

https://doi.org/10.1007/978-3-030-45237-7_15 (TACAS '20)

Last publication date

17 April 2020

Related tools

Sparse, Valgrind, Memcheck, Hobbes, DataFlowSanitizer

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.