Skip to content
Block or report user

Report or block abenkhadra

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse


@TriDis @sygus-tools


  1. Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.

    C++ 56 9

  2. SMT solver for the theory of floating-point arithmetic

    C++ 13 4

  3. SyGuS solver for programming-by-example

    C++ 5 1

  4. Minimal ARM/Thumb linear sweep disassembler similar to objdump

    C++ 5 2

  5. A step-by-step tutorial for building an LLVM sample pass

    CMake 65 14

  6. Parser for the synthlib2 file format

    C++ 3

8 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri

Contribution activity

January - April 2019

abenkhadra has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.