Skip to content

v0.1.10
Compare
Choose a tag to compare
@cnheitman cnheitman released this 22 May 23:10
· 14 commits to main since this release
v0.1.10
ecfceab
This commit was signed with the committer’s verified signature. The key has expired.
cnheitman Christian Heitman
GPG key ID: 0417A8664956113B
Expired
Learn about vigilant mode.

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.
Assets 4
Loading