Skip to content
@sysrel

sysrel

Popular repositories Loading

  1. PROMPT PROMPT Public

    PROMPT: API model guided symbolic execution for component-level analysis

    SWIG 6 3

  2. HWDCT HWDCT Public

    C 6 1

  3. SIFT SIFT Public

    SIFT: Symbolic Execution with Selective Thread Scheduling

    C++ 5 1

  4. IFLOW IFLOW Public

    IFLOW: Customizable Static Taint Analysis

    C 5 3

  5. ENCIDER ENCIDER Public

    C++ 1 1

  6. AndroidSecurityPatchTestingStudy AndroidSecurityPatchTestingStudy Public

    Java

Repositories

Showing 8 of 8 repositories
  • CONFIZZ Public

    A suite of maximal configuration generation approaches

    sysrel/CONFIZZ’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Apr 11, 2024
  • HWDCT Public
    sysrel/HWDCT’s past year of commit activity
    C 6 Apache-2.0 1 0 0 Updated Oct 19, 2023
  • FIRMSTAT Public
    sysrel/FIRMSTAT’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Aug 24, 2023
  • IFLOW Public

    IFLOW: Customizable Static Taint Analysis

    sysrel/IFLOW’s past year of commit activity
    C 5 3 1 0 Updated Oct 23, 2022
  • ENCIDER Public
    sysrel/ENCIDER’s past year of commit activity
    C++ 1 1 0 0 Updated Oct 11, 2022
  • AndroidSecurityPatchTestingStudy Public
    sysrel/AndroidSecurityPatchTestingStudy’s past year of commit activity
    Java 0 0 0 0 Updated Oct 4, 2022
  • SIFT Public

    SIFT: Symbolic Execution with Selective Thread Scheduling

    sysrel/SIFT’s past year of commit activity
    C++ 5 1 0 0 Updated Apr 7, 2022
  • PROMPT Public

    PROMPT: API model guided symbolic execution for component-level analysis

    sysrel/PROMPT’s past year of commit activity
    SWIG 6 Apache-2.0 3 0 0 Updated Sep 29, 2020

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…