v0.1.14

Changelog v0.1.14

Features

• Add an ELF x86_64 coredump loader.

Fixes

• Fix the libc_start_main routine.
• Fix the atoi routine.

Misc

• Update practicals.

v0.1.13

Changelog

Features

• Upgrade LIEF to version >= 0.16.0.
• Add control flow redirect mechanism for routine hooks.

Fixes

• Fix pthread routines.
• Fix symbolic injection function.

v0.1.12

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.

v0.1.11

Changelog

Fixes

• Fix LIEF memory issues.

Misc

• Drop support for LIEF < v0.14.0.

v0.1.10

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.

v0.1.9

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

v0.1.8

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

v0.1.7

Changelog

Features

/

Fixes

• Enforce timeout to input replay mechanism

v0.1.6

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)

v0.1.5

Changelog:

Features:

• Rework the loggging mechanism.

Fixes:

• Fix open routine (force opening in binary mode).