Alternatives and similar repositories for symbexcel:

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

• eurecom-s3 / loaders_modeling
  ☆24Updated 2 years ago
• packgenome / PackGenome-Artifacts
  PackGenome: Automatically Generating Robust YARA Rules for Accurate Malware Packer Detection
  ☆24Updated last year
• alrawi / badthings-tools
  This repository contains dynamic and static tools for IoT malware analysis
  ☆21Updated 2 years ago
• elManto / REmind
  Code for UI, backend, engine and statistical analysis for RE
  ☆20Updated 3 years ago
• vusec / einstein
  Practical Data-Only Attack Generation
  ☆37Updated 9 months ago
• SEVulDet / SEVulDet
  A Semantics-Enhanced Learnable Vulnerability Detector
  ☆43Updated 2 years ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated last year
• SoftSec-KAIST / TikNib
  Binary Code Similarity Analysis (BCSA) Tool
  ☆120Updated 2 years ago
• elManto / SAST_on_Decompilers
  Code and artifacts related to the Asia CCS 2022 paper
  ☆36Updated 3 years ago
• csvl / SEMA
  SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create repr…
  ☆111Updated 2 weeks ago
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆58Updated 5 years ago
• CyFI-Lab-Public / Forecast
  Forecasting Malware Capabilities From Cyber Attack Memory Images
  ☆32Updated 2 years ago
• zhangxiaochuan / MIRROR
  The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.
  ☆28Updated 2 years ago
• gadiluna / in_nomine_function
  Models and code for the paper: In Nomine Function: Naming Functions in Stripped Binaries with Neural Networks
  ☆18Updated 4 years ago
• pmp-tool / PMP
  PMP: Cost-Effective Forced Execution with Probabilistic Memory Pre-Planning
  ☆10Updated 4 years ago
• yijiufly / SigmaDiff
  Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"
  ☆16Updated last year
• FOX-Fuzz / FOX
  Coverage-guided Fuzzing as Online Stochastic Control
  ☆49Updated 4 months ago
• OSUSecLab / SelectiveTaint
  ☆74Updated 3 years ago
• Tricker-z / CoFuzz
  ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode
  ☆45Updated last year
• vandaltool / vandalir
  ☆24Updated 2 years ago
• joernio / query-database
  Default query sets for Joern
  ☆26Updated 3 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆120Updated 7 months ago
• axt / afl-cov
  AFL fuzzing coverage CFG visualization
  ☆31Updated 7 years ago
• PSU-Security-Universe / data-only-attacks
  A list of data-only attacks
  ☆19Updated 7 months ago
• AdaLogics / pandaMalbox
  ☆11Updated 5 years ago
• danielplohmann / mcrit
  The MinHash-based Code Relationship & Investigation Toolkit (MCRIT) is a framework created to simplify the application of the MinHash alg…
  ☆90Updated 2 weeks ago
• zarkivy / BinV
  👓 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.
  ☆33Updated 3 years ago
• hardik05 / Conferences
  My conference presentations and Materials for them.
  ☆32Updated 2 years ago
• eurecom-s3 / predictive-cs-fuzzing
  Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
  ☆26Updated last year
• hac425xxx / trapfuzzer-gdb
  A gdb for fuzzing
  ☆21Updated 3 years ago