Alternatives and similar repositories for symbexcel:

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

• 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
  ☆22Updated 3 years ago
• packgenome / PackGenome-Artifacts
  PackGenome: Automatically Generating Robust YARA Rules for Accurate Malware Packer Detection
  ☆24Updated last year
• zhangxiaochuan / MIRROR
  The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.
  ☆28Updated 2 years ago
• SEVulDet / SEVulDet
  A Semantics-Enhanced Learnable Vulnerability Detector
  ☆43Updated 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
• SoftSec-KAIST / TikNib
  Binary Code Similarity Analysis (BCSA) Tool
  ☆120Updated 2 years ago
• SoftwareSecurityLab / Heap-Overflow-Detection
  A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
  ☆23Updated 2 years ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated last year
• pmp-tool / PMP
  PMP: Cost-Effective Forced Execution with Probabilistic Memory Pre-Planning
  ☆10Updated 4 years ago
• zarkivy / BinV
  👓 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.
  ☆34Updated 3 years ago
• vusec / einstein
  Practical Data-Only Attack Generation
  ☆39Updated 10 months ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆120Updated 8 months ago
• CrowdStrike / embersim-databank
  Code for the paper "EMBERSim: A Large-Scale Databank for Boosting Similarity Search in Malware Analysis"
  ☆28Updated last year
• adava / CnCHunter
  This project fully automates the process of analyzing and exploiting IoT malware to find live CnC servers.
  ☆41Updated 8 months ago
• Asteria-BCSD / Asteria
  ☆60Updated last year
• lucamassarelli / yarasafe
  SAFE embeddings to match functions in yara
  ☆100Updated 5 years ago
• CyFI-Lab-Public / Forecast
  Forecasting Malware Capabilities From Cyber Attack Memory Images
  ☆32Updated 2 years ago
• AdaLogics / pandaMalbox
  ☆11Updated 5 years ago
• projectbtle / argXtract
  Tool to trace ARM Cortex-M assembly instructions and extract arguments to configuration APIs (supervisor calls or function calls).
  ☆30Updated 3 years ago
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆60Updated 5 years ago
• vandaltool / vandalir
  ☆24Updated 2 years ago
• ucsb-seclab / packware
  Effects of packers on machine-learning-based malware classifiers that use only static analysis
  ☆86Updated 10 months ago
• eurecom-s3 / loaders_modeling
  ☆24Updated 2 years ago
• Dynamic-Rabbits / Dynamic-Rabbits
  ☆20Updated 3 years ago
• degrigis / symbion-use-cases
  Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution
  ☆16Updated 3 years ago
• nlp-code-analysis / cross-arch-instr-model
  ☆24Updated 6 years ago
• LyleMi / aflnw
  AFLNW: network wrapper for AFL
  ☆47Updated last year
• elManto / SAST_on_Decompilers
  Code and artifacts related to the Asia CCS 2022 paper
  ☆36Updated 3 years ago
• VoodooChild99 / oss-fuzz-crawler
  OSS-Fuzz Public Corpora Crawler
  ☆22Updated 2 years ago