Block or report user

Popular repositories

  1. public


  2. Triton

    Forked from JonathanSalwan/Triton

    Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 in…


  3. z3

    Forked from Z3Prover/z3

    The Z3 Theorem Prover


43 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

January 2017

Created a pull request in JonathanSalwan/Triton that received 7 comments

check if the instruction reads/writes a part of the given register

Created an issue in JonathanSalwan/Triton that received 6 comments

Disassembly (capstone) messed up

>>> from triton import * >>> setArchitecture(ARCH.X86) >>> inst = Instruction('\xa3\x04\x00\x00\x00') >>> processing(inst) True >>> inst 0: mov dwo…

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