_            _    _        _         _
      /\ \         /\ \ /\ \     /\_\      / /\
      \_\ \       /  \ \\ \ \   / / /     / /  \
      /\__ \     / /\ \ \\ \ \_/ / /     / / /\ \__
     / /_ \ \   / / /\ \ \\ \___/ /     / / /\ \___\
    / / /\ \ \ / / /  \ \_\\ \ \_/      \ \ \ \/___/
   / / /  \/_// / /   / / / \ \ \        \ \ \
  / / /      / / /   / / /   \ \ \   _    \ \ \
 / / /      / / /___/ / /     \ \ \ /_/\__/ / /
/_/ /      / / /____\/ /       \ \_\\ \/___/ /
\_\/       \/_________/         \/_/ \_____\/
fuzzolic 0-master.cf4285a
Propagated dependencies: afl++@4.35a-0.93a6e1d fuzzolic-showmap@4.35a-0.93a6e1d qemu-for-fuzzolic@4.1.1-symbolic.a07b82d fuzzolic-solver@0-master.cf4285a fuzzolic-utils@0-master.cf4285a
Channel: loftix
Location: loftix/fuzzing.scm (loftix fuzzing)
Home page: https://season-lab.github.io/fuzzolic
Licenses: GPL 2+
Synopsis: Concolic fuzzer
Description:

FUZZOLIC is a concolic executor based on QEMU.

It can instrument binary programs at runtime in order to build symbolic expressions and queries. To reduce the runtime overhead and improve accuracy of the queries, it devises three analysis modes that are dynamically enabled during the program execution based on the running context.

Moreover, differently from other concolic executors, FUZZOLIC runs the solver component, which reasons over the symbolic queries generated when analyzing a program, inside another process to reduce execution interferences that may be caused by the solver and negatively affect the analyzed application.

Total results: 1