Alternatives and similar repositories for Modelizer:

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

• vandaltool / vandalir
  ☆23Updated 2 years ago
• patchloc / VulnLoc
  ☆11Updated 3 years ago
• vasumv / bonsai-fuzzing
  ☆27Updated last year
• 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
• uds-se / lFuzzer
  Fuzzing Parsers with Tokens
  ☆32Updated 4 years ago
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆33Updated 4 years ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated last year
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆16Updated last year
• vusec / einstein
  Practical Data-Only Attack Generation
  ☆33Updated 7 months ago
• quarkslab / numbat
  Library to manipulate and create Sourcetrail databases
  ☆19Updated last month
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 3 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆31Updated this week
• UVA-LavaLab / BigMap
  BigMap integration on AFL++
  ☆15Updated 3 years ago
• bajinsheng / ReZZan
  ☆35Updated 2 years ago
• uds-se / AFLplusplus
  AFL++ with support for FormatFuzzer
  ☆12Updated 2 years ago
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆36Updated 8 months ago
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆27Updated 2 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 2 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 2 years ago
• trailofbits / binary_type_inference
  ☆17Updated 4 months ago
• SoftwareSecurityLab / Heap-Overflow-Detection
  A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
  ☆20Updated 2 years ago
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated last year
• trailofbits / vast-checker
  ☆24Updated last year
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆26Updated last month
• HexHive / WarpAttack
  ☆11Updated last year
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆86Updated 3 years ago
• seclab-ucr / Unias
  A Hybrid Alias Analysis
  ☆18Updated last year
• DES-Lab / Learning-Based-Fuzzing
  Using automata learning to mine models used for fuzzing of statefull systems
  ☆24Updated 3 years ago
• nyx-fuzz / packer
  ☆20Updated 4 months ago
• mboehme / learn2fix
  Human-In-The-Loop Automatic Program Repair
  ☆19Updated 5 years ago