Tritondse

Changelog

Refactor

* Rename module `seeds_manager` to `seed_manager`.
* Rename class `MonolithicLoader` to `RawBinaryLoader`.
* Rename module `worklist` to `seed_scheduler`.

Features

* Add support for LIEF `v0.14.0`.
* Add parameter `workspace_reset` to class `Config`.

Fixes

* Fix `rtn_table` circular reference.
* Fix method `concretize_memory_bytes` of class `ProcessState`.
* Fix `getchar` routine.
* Fix `printf` routine.
* Fix uncaught exceptions in method `step` of class `SymbolicExecutor`.
* Fix `strcmp` routine.

Misc

* Improve solutions to practicals (`doc/practicals`).
* Improve logging messages.
* Improve overall code quality.

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).