Skip to content
Avatar
🎵
https://timestamps.fm
🎵
https://timestamps.fm

Highlights

  • Arctic Code Vault Contributor

Pinned

  1. Symbolic execution tool

    Python 2.1k 296

  2. LLVM pass that detects one undefined behavior, and emits code to delete your hard drive

    C++ 24 5

  3. Direct execution of interpreted binaries on Linux

    C 8 2

956 contributions in the last year

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

Contribution activity

September 2020

1 contribution in private repositories Sep 2

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

You can’t perform that action at this time.