Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.Sign up
192 contributions in the last year
Created a pull request in JonathanSalwan/Triton that received 1 comment
This one fixes issue with long printed formulas when AST_OPTIMIZATIONS are on.
Created an issue in JonathanSalwan/Triton that received 1 comment
Some day we should support computing memory access address from the concrete state, not from symbolic AST. Symbolic asts may have errors in concret…