Alternatives and similar repositories for cryptoapi-bench:

Users that are interested in cryptoapi-bench are comparing it to the libraries listed below

• stg-tud / MUBench
  ☆56Updated last year
• fengjixuchui / BugDetectionPaper
  Recent Paper About Bug Detection
  ☆31Updated 5 years ago
• SocietyMaster / FlowCog
  Project FlowCog (2017)
  ☆27Updated 6 years ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆28Updated 2 years ago
• twelveand0 / CarrotsBlender
  holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…
  ☆20Updated 4 years ago
• JordanSamhi / JuCify
  ☆23Updated last year
• stan6 / se-paper
  ☆74Updated 2 years ago
• tjusenchen / AUSERA
  AUSERA: Automated Security Vulnerability Detection for Android Apps
  ☆32Updated 5 months ago
• umnsec / crix
  Detect missing check bugs in OS kernels
  ☆109Updated last year
• NWU-NISL-Fuzzing / COMFORT
  ☆68Updated 3 years ago
• umnsec / cheq
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆43Updated 5 years ago
• Tricker-z / TPLite
  ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?
  ☆29Updated last year
• eth-sri / learch
  ☆39Updated last year
• SQUARE-RG / ICCBot
  ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications
  ☆38Updated last year
• RiS3-Lab / FICS
  ☆49Updated 4 years ago
• zhanglikernel / CRYPTOREX
  Large-scale Analysis of Cryptographic Misuse in IoT Devices
  ☆22Updated 5 years ago
• presto-osu / orlis-orcis
  Orlis/Orcis
  ☆21Updated 6 years ago
• Henrygwb / deepvsa
  ☆44Updated 2 years ago
• hao-fu / MyFlowAnalysis
  Flow analysis using Soot
  ☆51Updated 4 years ago
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆73Updated 2 years ago
• umnsec / ndi
  Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs
  ☆14Updated 2 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆63Updated 3 years ago
• EvanXiaa / Awesome-LLM_For-SE-Sec-Papers
  ☆26Updated 6 months ago
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆23Updated 10 months ago
• sslab-gatech / deadline
  ☆46Updated 3 years ago
• WOOSEUNGHOON / Centris-public
  ☆54Updated last year
• tjusenchen / StoryDroid
  Automated Storyboard Generation for Android Apps
  ☆32Updated 5 months ago
• mustakimur / OS-CFI
  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
  ☆37Updated 3 years ago
• IIE-LibD / libd
  LibD: Scalable and Precise Third-party Library Detection in Android Markets
  ☆67Updated 5 years ago
• unifuzz / unibench
  20 benchmark programs
  ☆46Updated 4 years ago