CryptoGuardOSS / cryptoapi-bench
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for cryptoapi-bench
- ☆54Updated 11 months ago
- ☆74Updated last year
- User Guided API Misuse Detection☆27Updated last year
- ☆50Updated 3 years ago
- ☆22Updated last month
- Recent Paper About Bug Detection☆30Updated 5 years ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆27Updated last year
- ☆24Updated last year
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆14Updated 2 years ago
- ☆44Updated 2 years ago
- Project FlowCog (2017)☆26Updated 6 years ago
- ☆88Updated 2 weeks ago
- ☆33Updated 2 years ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆41Updated last year
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆50Updated 6 years ago
- This is a deep learning dataset for cross-version binary code similarity detection.☆25Updated 6 years ago
- Official code of jTrans: Jump-Aware Transformer for Binary Code Similarity Detection☆136Updated 10 months ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆18Updated 2 months ago
- Orlis/Orcis☆21Updated 5 years ago
- ☆50Updated 10 months ago
- An automatic API misuse checker for C programs!☆19Updated 5 years ago
- This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), de…☆60Updated last month
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago
- Code for tracelet-level symbolic execution☆16Updated 2 years ago
- LibD: Scalable and Precise Third-party Library Detection in Android Markets☆68Updated 5 years ago
- 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
- For our paper DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions (ISSTA'22)☆33Updated 2 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆62Updated 3 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 3 years ago