Skip to content
Block or report user

Report or block yan

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


  1. Symbolic execution tool

    Python 1.6k 243

  2. Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

    C++ 331 46

  3. Google Protocol Buffers message generator

    Python 106 19

71 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Activity overview
Contributed to trailofbits/manticore, square/misk, trailofbits/manticore-examples and 2 other repositories

Contribution activity

May 2019

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

You can’t perform that action at this time.