Alternatives and similar repositories for conflict-static-analysis:

Users that are interested in conflict-static-analysis are comparing it to the libraries listed below

• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆32Updated 2 years ago
• vasumv / bonsai-fuzzing
  ☆27Updated last year
• boschresearch / mlfuzz
  ☆16Updated last year
• rbonifacio / svfa-scala
  An implementation of sparse-value flow analysis on top of soot (using Scala)
  ☆9Updated last month
• vandaltool / vandalir
  ☆23Updated 2 years ago
• MelbourneFuzzingHub / aflteam
  AFLTeam Collaborative Parallel Fuzzing
  ☆73Updated 2 years ago
• patchloc / VulnLoc
  ☆11Updated 3 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 4 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated last year
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆16Updated last year
• AFLplusplus / libafl_paper_artifacts
  ☆20Updated 2 years ago
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆17Updated last month
• awen-li / PolyCruise
  A Cross-Language Dynamic Information Flow Analysis.
  ☆24Updated 2 years ago
• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆42Updated 3 years ago
• eurecom-s3 / predictive-cs-fuzzing
  Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
  ☆25Updated 10 months ago
• shao-hua-li / AFLplusplus-PGE
  ☆22Updated 2 years ago
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆30Updated last year
• plume-oss / plume
  Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…
  ☆73Updated 3 months ago
• PSU-Security-Universe / data-only-attacks
  A list of data-only attacks
  ☆19Updated 5 months ago
• NUS-Curiosity / VulZoo
  VulZoo: A Comprehensive Vulnerability Intelligence Dataset (ASE 2024 Demo)
  ☆30Updated 2 months ago
• boschresearch / neuzzplusplus
  ☆17Updated last year
• OSUSecLab / SelectiveTaint
  ☆71Updated 3 years ago
• wcventure / Static-Analysis-Rules
  Summary of static analysis in Java and C/C++
  ☆16Updated 2 years ago
• nyx-fuzz / packer
  ☆20Updated 4 months ago
• michaelbrownuc / llap
  LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…
  ☆13Updated last year
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 3 years ago
• awen-li / PolyFuzz
  Holistic Greybox Fuzzing of Multi-Language Systems
  ☆23Updated 2 years ago
• HexHive / SieveFuzz
  Optimizing Directed Fuzzing via Target-tailored Program State Restriction
  ☆28Updated last year
• ThePatrickStar / fuzzer-data-collector
  ☆24Updated last year
• bajinsheng / ReZZan
  ☆35Updated 2 years ago