Block or report user

Organizations

@sosy-lab

Pinned repositories

  1. sosy-lab/cpachecker

    CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

    C 45 32

  2. sosy-lab/java-smt

    JavaSMT - Unified Java API for SMT solvers.

    Java 27 9

  3. Z3Prover/z3

    The Z3 Theorem Prover

    C++ 2.3k 431

  4. llvm-mirror/clang

    Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.

    C++ 1.4k 874

344 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

July 2017

Created a pull request in apple/swift that received 3 comments

Fixing stdout/stderr mixup in tsan tests.

Created an issue in google/sanitizers that received 5 comments

Instrumented/uninstrumented symbol collision with unoptimized libFuzzer build

Hi, When libFuzzer is compiled without optimizations, I sometimes have symbol collision issues, resulting in counterintuitive crashes. For now, I c…

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