Skip to content
View atredis-jordan's full-sized avatar

Block or report atredis-jordan

Block user

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

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. SymbolicTriagePost SymbolicTriagePost Public

    Supporting Materials for “Symbolic Triage” blog post

    Python 24 3

  2. libafl-workshop-blog libafl-workshop-blog Public

    Resources accompanying the LibAFL workshop blog post

    Rust 15 3

  3. SymbolicExecutionCourseSample SymbolicExecutionCourseSample Public

    A small sample from the "Practical Symbolic Execution" course, showing some of the slides describing test case generation, and an associated small lab

    Python 8 3

  4. openslp openslp Public

    Forked from openslp-org/openslp

    OpenSLP project is an effort to develop an open-source, commercial-grade, implementation of IETF Standards track Service Location Protocol (RFC 2608). The interface conforms to IETF Standards track…

    C