Skip to content
Avatar
  • Block or report user

    Report or block enzet

    Hide content and notifications from this user.

    Learn more about blocking users

    Contact Support about this user’s behavior.

    Learn more about reporting abuse

    Report abuse
46 followers · 34 following · 143

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)

    377 51

  2. program-model

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

    TeX 4 1

  3. Emmio

    Tool box for learning

    Python 1

  4. Moire

    Simple markup language

    Python 1 1

  5. Roentgen

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

    Python 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

114 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions.
Less
More
Activity overview
Contributed to enzet/Emmio, enzet/Moire, enzet/COVID-19 and 1 other repository

Contribution activity

June - August 2020

enzet has no activity yet for this period.

May 2020

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

You can’t perform that action at this time.