v2.1

Feature:

• [Instrumentation] Adjusts caller-saved registers based on whether or not the inserted function has a return value

v2.0

Feature:

• Adds a new instrumentation framework that enables instrumentation with a simple domain-specific language

v1.2.1

Bug Fixes:

• Aligns symbolized data if it is used in an instruction that requires data alignment
• Terminates gracefully on Uroboros core failure

v1.2

Feature:

• Uses existing symbols if binary is not stripped. This enables instrumentation to refer to those symbols

v1.1

Features:

• Adds a generic dataflow analysis framework (a parameterized module called DFA)
• Adds a new CFG construction algorithm that tracks preceding and succeeding instructions for DFA
• Rewrites GOT-relative addressing to corresponding constant for symbolization with DFA

Bug Fixes:

• Fixes signature mismatch when performing multiple transformations
• Fixes ppx bug where xorl is printed as xor

v1.0

Features:

• Supports transformation of {32,64}-bit {statically,dynamically}-linked ELF executables (tested with GCC 9.4, 11.4, 13.3)
• Supports more user-defined instrumentation passes
• Supports development in OCaml 5.3 and Python 3.12
• Runs natively on Ubuntu (tested on Ubuntu 20.04, 22.04, 24.04)
• Runs in containerized environment using Docker

This version also contains partial support for ARM.

v0.5

Uroboros 0.5

• Removes some redundant information in the output file
• Fixes some bugs

v0.4

Uroboros 0.4

• Upgrades the plugin to Ubuntu 20.04 and improve the design.

v0.3

Uroboros 0.3

• Supports 32-bit & 64-bit binary compiled by GCC 9.3.0 on Ubuntu 20.04

v0.2

Uroboros 0.2

• Updates to Ubuntu 20.04