Block or report user

Popular repositories

  1. InterParser

    A collection of scripts based on libclang for extracting API information from interpreters

    Python 22 2

  2. Malamute

    Malamute is a fuzzing toolkit initially developed to aid with regression-test based fuzzing of language interpreters

    Go 16 6

  3. Entomology

    Bugs! Both security relevant and otherwise.

    Python 2

  4. DotFiles

    Files for initialising my environment on OS X and Linux

    VimL 1

  5. BitVectorDemos

    Some small demo scripts for SMTLIB and Z3 basics

    Python 1

  6. pedantrs

    A Rust linter, purely for educational purposes

    Rust 2

24 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 First issue First repository Joined GitHub

February 2017

Created an issue in klee/klee that received 2 comments

Assertion failure in ModuleUtil.cpp (line 452)

When running with optimize=0 on the file utility I get the following assertion failure: 450 // NOTE: This assert may fire, it isn't necessarily a p…

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