Skip to content

@sysrel sysrel

Change the repository type filter

All

    Repositories list

    8 repositories

    • CONFIZZ

      Public
      A suite of maximal configuration generation approaches
      Apache License 2.0
      •0•0•0•0•Updated Apr 11, 2024Apr 11, 2024

    • HWDCT

      Public
      C
      •
      Apache License 2.0
      •1•6•0•0•Updated Oct 19, 2023Oct 19, 2023

    • FIRMSTAT

      Public
      Apache License 2.0
      •0•0•0•0•Updated Aug 24, 2023Aug 24, 2023

    • IFLOW

      Public
      IFLOW: Customizable Static Taint Analysis
      C
      •
      Other
      •3•5•1•0•Updated Oct 23, 2022Oct 23, 2022

    • ENCIDER

      Public
      C++
      •
      Other
      •1•1•0•0•Updated Oct 11, 2022Oct 11, 2022

    • AndroidSecurityPatchTestingStudy

      Public
      Java
      •0•0•0•0•Updated Oct 4, 2022Oct 4, 2022

    • SIFT

      Public
      SIFT: Symbolic Execution with Selective Thread Scheduling
      C++
      •
      Other
      •1•5•0•0•Updated Apr 7, 2022Apr 7, 2022

    • PROMPT

      Public
      PROMPT: API model guided symbolic execution for component-level analysis
      SWIG
      •
      Apache License 2.0
      •3•6•0•0•Updated Sep 29, 2020Sep 29, 2020