Block or report user

Organizations

@csmith-project

Pinned repositories

  1. csmith-project/creduce

    C-Reduce, a C program reducer

    C++ 532 61

  2. csmith-project/csmith

    Csmith, a random generator of C programs

    C++ 338 56

  3. souper

    Forked from google/souper

    C++

31 contributions in the last year

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

Contribution activity First pull request Joined GitHub

February 2018

Created a pull request in google/souper that received 4 comments

Stop building UB Path conditions for processed blocks

Because we treat a select instruction the same way as we do for a phi instruction, it's possible to revisit a block from a select instruction. Cons…

+37 −4 4 comments

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