Repositories list

• UbSym

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

  symbolic-executionstack-overflowvulnerability-detection+ 4memory-corruptionuse-after-freeheap-overflowdouble-free

  C

  •

  Apache License 2.0

  •9•43•2•0•Updated May 7, 2023May 7, 2023

• ci-fuzz-cli-tutorials

  Public
  Java

  •6•0•0•0•Updated Feb 21, 2023Feb 21, 2023

• TizenSecurity

  Public
  A framework for Tizen application security analysis

  C

  •1•1•0•0•Updated Feb 14, 2023Feb 14, 2023

• TcpServer

  Public
  C++

  •

  MIT License

  •7•0•0•0•Updated Jan 23, 2023Jan 23, 2023

• Heap-Overflow-Detection

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

  symbolic-executionvulnerability-detectionheap-overflow

  C

  •

  Apache License 2.0

  •3•19•0•0•Updated Oct 12, 2022Oct 12, 2022

• ElGamal

  Public
  JavaScript

  •

  ISC License

  •0•5•0•0•Updated Feb 26, 2022Feb 26, 2022

• Chaum-Pedersen

  Public
  JavaScript

  •

  ISC License

  •1•7•0•0•Updated Oct 6, 2021Oct 6, 2021

• Schnorr

  Public
  JavaScript

  •

  ISC License

  •1•3•0•0•Updated Oct 5, 2021Oct 5, 2021