Tritondse

Changelog

Features

* Upgrade LIEF to version >= 0.15.0.

Fixes

* Fix routine `fgets` so it does not take the trailing `\x00` as part of the input.
* Fix `Seed` deserialization.
* Fix Python path in class `QBDITrace`.

Changelog

Fixes

* Fix LIEF memory issues.

Misc

* Drop support for LIEF < v0.14.0.

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