Skip to content
Avatar
  • Block or report user

    Block or report kren1

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
10 followers · 4 following · 6

Highlights

  • Arctic Code Vault Contributor

Pinned

  1. testSymExec

    A framework for testing symbolic executors

    C

  2. tosheets

    Send your stdin to google sheets

    Python 533 25

  3. Palpitate

    Forked from group-24/Palpitate

    Python

  4. csmith

    Forked from csmith-project/csmith

    Csmith, a random generator of C programs

    C++

  5. klee

    Forked from klee/klee

    KLEE Symbolic Virtual Machine

    C++ 1

  6. zcov

    Forked from ddunbar/zcov

    Code coverage reporting tool

    Python

55 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

October 2020

Created a pull request in klee/klee.github.io that received 17 comments

Add a basic instruction as to how to use KLEE_DEBUG_WITH_TYPE

I've only know learned how to use this feature. This PR briefly documents how to use it.

+19 −0 • 17 comments

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

You can’t perform that action at this time.