SoftwareSecurityLab

  • UbSym Public

    A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes

    SoftwareSecurityLab/UbSym’s past year of commit activity

    C

    43

    Apache-2.0

    8 2 0

    Updated May 7, 2023

  • SoftwareSecurityLab/ci-fuzz-cli-tutorials’s past year of commit activity

    Java 0

    6 0 0

    Updated Feb 21, 2023

  • TizenSecurity Public

    A framework for Tizen application security analysis

    SoftwareSecurityLab/TizenSecurity’s past year of commit activity

    C

    2 1 0 0

    Updated Feb 14, 2023

  • SoftwareSecurityLab/TcpServer’s past year of commit activity

    C++ 0 MIT

    7 0 0

    Updated Jan 23, 2023

  • Heap-Overflow-Detection Public

    A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes

    SoftwareSecurityLab/Heap-Overflow-Detection’s past year of commit activity

    C

    22

    Apache-2.0

    3 0 0

    Updated Oct 12, 2022

  • SoftwareSecurityLab/ElGamal’s past year of commit activity

    JavaScript

    5

    ISC 0

    0 0

    Updated Feb 26, 2022

  • SoftwareSecurityLab/Chaum-Pedersen’s past year of commit activity

    JavaScript

    7

    ISC

    1 0 0

    Updated Oct 6, 2021

  • SoftwareSecurityLab/Schnorr’s past year of commit activity

    JavaScript

    4

    ISC

    1 0 0

    Updated Oct 5, 2021