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

v0.1.4

Changelog:

Features:

• add support for functions setjmp and longjmp in QBDITrace.

v0.1.3

Changelog:

Bugfix:

• fix find_function_addr not implemented for CleLoader
• fix warning message of unsupported functions when using CleLoader

Features:

• add ProcessState.is_syscall() to check if the current instruction is a syscall
  instruction (in the target architecture)
• add open function symbolic routine.

Behavior changes:

• a call to ProcessState.fetch_instruction will by default position the current_instruction to the one being fetched.
• a warning message now printed when executing a syscall