Alternatives and similar repositories for berbalang:

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

• mfthomps / Visualization-of-Software-Execution
  Tools created for the DARPA Cyber Grand Challenge that visualize software execution based on traces generated by the CGC Monitor and a Un…
  ☆14Updated 6 years ago
• trailofbits / umberto
  poststructural fuzzing
  ☆31Updated 4 years ago
• trailofbits / divergent-representations
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Updated last year
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆24Updated 3 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 10 years ago
• trailofbits / sandshrew
  Underconstrained symbolic execution for cryptography verification
  ☆18Updated 3 years ago
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• trailofbits / anselm
  Detect patterns of bad behavior in function calls
  ☆25Updated 4 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated 4 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• Pythia3431 / Delphinium
  ☆11Updated 4 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆30Updated 9 years ago
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆36Updated this week
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆36Updated 2 years ago
• usbarmory / GoTEE-example
  GoTEE - example application
  ☆14Updated last month
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆49Updated 3 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆21Updated 6 years ago
• gamozolabs / fuzzyneural
  A neural network using fuzzing-style feedback rather than back-propagation
  ☆18Updated 4 years ago
• ligurio / gromit
  EBNF grammar fuzzer
  ☆18Updated 5 years ago
• polyverse / EnVisen
  ROP gadget finder and analysis in pure Javascript
  ☆29Updated 2 years ago
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated last month
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆23Updated last year
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆17Updated last year
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆17Updated 10 years ago