Alternatives and similar repositories for Software_Security_Experiments

Users that are interested in Software_Security_Experiments are comparing it to the libraries listed below

• 5hadowblad3 / Titan
  Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"
  ☆55Updated 4 months ago
• cuhk-seclab / SelectFuzz
  ☆68Updated last year
• fengjixuchui / BugDetectionPaper
  Recent Paper About Bug Detection
  ☆31Updated 5 years ago
• stan6 / se-paper
  ☆74Updated 2 years ago
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆94Updated last year
• 5hadowblad3 / Beacon_artifact
  Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"
  ☆38Updated 9 months ago
• Stab1el / BAGUA
  ☆12Updated 2 years ago
• ise-uiuc / TitanFuzz
  ☆85Updated last year
• Jamrot / ChatGPT-Vulnerability-Management
  ☆18Updated 10 months ago
• 1dayto0day / B2SFinder
  B2SFinder is a binary-to-source matching tool for OSS reuse detection on COTS software. This project contains the core code of B2SFinder …
  ☆56Updated 5 years ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆61Updated 7 months ago
• PurCL / LLMSCAN
  ☆27Updated 2 weeks ago
• Qi-Zhan / ps3
  patch presence test via symbolic signatures, ICSE'24
  ☆12Updated last year
• unifuzz / unibench
  20 benchmark programs
  ☆47Updated 4 years ago
• qingkaishi / netlifter
  Lifting network implementation to precise format specification
  ☆24Updated 2 months ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆72Updated last year
• TUDA-SSL / DARWIN
  Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"
  ☆28Updated 2 years ago
• vul337 / Callee
  Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning
  ☆40Updated last year
• ise-uiuc / KNighter
  Automatic checker synthesis for system-level static analysis
  ☆20Updated 3 weeks ago
• seclab-yonsei / CovRL-Fuzz
  CovRL-Fuzz: Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation
  ☆27Updated 7 months ago
• CGCL-codes / PathEval
  This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…
  ☆33Updated 3 months ago
• umnsec / cheq
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆44Updated 5 years ago
• tongye98 / BinaryCodeSummary
  Binary Code Summarization
  ☆11Updated 2 months ago
• NESA-Lab / FirmSecDataset
  FirmSec Dataset
  ☆34Updated 2 years ago
• yapengye / D-ARM
  ☆23Updated 10 months ago
• joshuay2022 / empc
  Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
  ☆15Updated last month
• Hustcw / CLAP
  CLAP(Contrastive Language-Assembly Pre-training) learns transferable binary code representations with natural language supervision
  ☆60Updated 9 months ago
• n132 / ARVO-Meta
  ☆63Updated this week
• NSSL-SJTU / SFuzz
  ☆88Updated 2 months ago
• kuc001 / EmTaint
  ☆34Updated 2 years ago