Skip to content
Avatar
  • Block or report user

    Block or report enzet

    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
46 followers · 35 following · 151

Highlights

  • Arctic Code Vault Contributor

Organizations

@ispras

Pinned

  1. symbolic-execution

    History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

    383 53

  2. program-model

    Formal model of program execution, symbolic execution, and taint tracking

    TeX 4 1

  3. Emmio

    Tool box for learning

    Python 2

  4. Roentgen

    A simple renderer for OpenStreetMap with custom icons intended to display as much tags as possible

    Python 4 1

  5. Moire

    Simple markup language

    Python 1 1

  6. awesome-symbolic-execution

    Forked from ksluckow/awesome-symbolic-execution

    A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

    6 2

295 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions.
Less
More
Activity overview
Contributed to enzet/Roentgen, enzet/Emmio, enzet/program-model and 3 other repositories

Contribution activity

November 2020

Created 5 commits in 1 repository
Opened 1 issue in 1 repository

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

You can’t perform that action at this time.