Tritondse

Changelog

Features

* Change solving callback prototype to send formula
* Expose the symbolic seed
* Raise exception in probe `DerefSanitizer`

Fix

* Fix missing resource package on Windows
* Fix custom constraint that were not pushed
* Fix symbolization of raw inputs
* Fix execution not halting on `hlt` if `skip_unsupported_instruction` enabled
* Fix uncaught exceptions during execution

Changelog

Features

* Refactor ``SymbolicExecutor`` to enable step-by-step emulation.

Fix

* Fix SymbolicExecutor when segmentation is disabled:
* memory contextmanager was always re-enabling segmentation
* program counter mapping was always checked (also fetch instruction)
* Fix ``Seed.from_file`` which was not parsing filename correctly

Changelog

Features

/

Fixes

- Enforce timeout to input replay mechanism

Changelog:

Features:

* Add pack/unpack utility functions in ProcessState
* Expose endianness attribute in ProcessState

Fixes:

* Fix variable injection in register (enforce it to be int values)

Changelog:

**Features**:

* Rework the loggging mechanism.

**Fixes**:

* Fix `open` routine (force opening in binary mode).

Changelog:

**Features**:

* add support for functions `setjmp` and `longjmp` in `QBDITrace`.