Skip to content
@kupl-sstf

kupl-sstf

Popular repositories Loading

  1. dd-klee dd-klee Public

    Data-driven symbolic execution engine, implemented on top of KLEE

    C++ 2

  2. dd-pta dd-pta Public

    Data-driven java pointer analyzer implemented on top of Doop

    Shell

  3. dd-infer dd-infer Public

    Data-driven static analysis implemented on top of infer

    Python

Repositories

Showing 3 of 3 repositories
  • dd-pta Public

    Data-driven java pointer analyzer implemented on top of Doop

    kupl-sstf/dd-pta’s past year of commit activity
    Shell 0 MIT 0 0 0 Updated Sep 5, 2023
  • dd-infer Public

    Data-driven static analysis implemented on top of infer

    kupl-sstf/dd-infer’s past year of commit activity
    Python 0 0 0 0 Updated Sep 5, 2023
  • dd-klee Public

    Data-driven symbolic execution engine, implemented on top of KLEE

    kupl-sstf/dd-klee’s past year of commit activity
    C++ 0 2 0 0 Updated Dec 12, 2022

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…