Alternatives and similar repositories for symbexcel:

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

• SEVulDet / SEVulDet
  A Semantics-Enhanced Learnable Vulnerability Detector
  ☆43Updated 2 years ago
• adava / CnCHunter
  This project fully automates the process of analyzing and exploiting IoT malware to find live CnC servers.
  ☆41Updated 6 months ago
• eurecom-s3 / loaders_modeling
  ☆24Updated 2 years ago
• elManto / REmind
  Code for UI, backend, engine and statistical analysis for RE
  ☆20Updated 3 years ago
• OSUSecLab / SelectiveTaint
  ☆72Updated 3 years ago
• SoftwareSecurityLab / Heap-Overflow-Detection
  A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
  ☆22Updated 2 years ago
• packgenome / PackGenome-Artifacts
  PackGenome: Automatically Generating Robust YARA Rules for Accurate Malware Packer Detection
  ☆24Updated last year
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆16Updated last year
• vusec / einstein
  Practical Data-Only Attack Generation
  ☆34Updated 8 months ago
• alrawi / badthings-tools
  This repository contains dynamic and static tools for IoT malware analysis
  ☆20Updated 2 years ago
• CyFI-Lab-Public / Forecast
  Forecasting Malware Capabilities From Cyber Attack Memory Images
  ☆31Updated 2 years ago
• hardik05 / Conferences
  My conference presentations and Materials for them.
  ☆32Updated 2 years ago
• SoftSec-KAIST / TikNib
  Binary Code Similarity Analysis (BCSA) Tool
  ☆119Updated 2 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…
  ☆107Updated 2 months ago
• sec-tools / litefuzz
  A multi-platform fuzzer for poking at userland binaries, network clients and servers
  ☆69Updated 5 months ago
• rudyerudite / AngErza
  Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.
  ☆18Updated 3 years ago
• vandaltool / vandalir
  ☆23Updated 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
• JPCERTCC / AutoYara4FLIRT
  ☆15Updated last year
• pmp-tool / PMP
  PMP: Cost-Effective Forced Execution with Probabilistic Memory Pre-Planning
  ☆10Updated 4 years ago
• axt / afl-cov
  AFL fuzzing coverage CFG visualization
  ☆31Updated 7 years ago
• ucsb-seclab / packware
  Effects of packers on machine-learning-based malware classifiers that use only static analysis
  ☆84Updated 8 months ago
• strongcourage / fuzzing-targets
  A collection of widely-fuzzed targets
  ☆45Updated 5 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆119Updated 6 months ago
• rahlk / MTFuzz
  MTFuzz: Fuzzing with a Multi-Task Neural Network
  ☆35Updated 3 years ago
• necst / arancino
  Arancino is a dynamic protection framework that defends Intel Pin against anti-instrumentation attacks.
  ☆72Updated 2 years ago
• zjuchenyuan / dockerized_fuzzing
  Run fuzzing experiments in Docker
  ☆100Updated 3 years ago
• nlp-code-analysis / cross-arch-instr-model
  ☆24Updated 6 years ago
• eurecom-s3 / tangled_iot
  The Tangled Genealogy of IoT Malware
  ☆12Updated 4 years ago
• carstein / vsf
  Very Simple Fuzzer
  ☆20Updated 4 years ago