Alternatives and similar repositories for winnowing

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

• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 9 years ago
• michaelpradel / DeepBugs
  DeepBugs is a framework for learning bug detectors from an existing code corpus.
  ☆152Updated 4 years ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆222Updated last week
• ericpony / z3py-tutorial
  ☆151Updated 2 years ago
• neuroo / equip
  Python bytecode instrumentation library
  ☆121Updated 9 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆100Updated 4 years ago
• mast-group / api-mining
  Probabilistic API Mining
  ☆53Updated 8 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 11 years ago
• srndic / mimicus
  A library for adversarial classifier evasion
  ☆43Updated 11 years ago
• liulhdarks / code2vec
  code2vec: Learning Distributed Representations of Code
  ☆14Updated 7 years ago
• rrenaud / Gibberish-Detector
  A small program to detect gibberish using a Markov Chain
  ☆606Updated last year
• js2wasm-obfuscator / translator
  ☆30Updated 4 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆92Updated last year
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆339Updated last month
• Yanivmd / TRACY
  TRACY
  ☆19Updated 9 years ago
• src-d / code2vec
  MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)
  ☆39Updated 7 years ago
• fabsx00 / codesensor
  ANTLR 3 fuzzy parser
  ☆49Updated 13 years ago
• secure-software-engineering / swan
  Security methods for WeAkNess detection
  ☆20Updated this week
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 6 years ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 4 years ago
• invernizzi / Chrisper
  Detect common mistakes in academic papers
  ☆61Updated 6 years ago
• calaylin / bda
  Programmer De-anonymization from Binary Executables
  ☆88Updated 7 years ago
• Dongdongshe / neuzz
  neural network assisted fuzzer
  ☆412Updated 5 years ago
• sdhash / sdhash
  similarity digest hashing tool
  ☆177Updated 5 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆52Updated 6 years ago
• timtadh / zhang-shasha
  Tree edit distance using the Zhang Shasha algorithm
  ☆457Updated 5 years ago
• IoTBench / IoTBench-test-suite
  A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps
  ☆66Updated 6 years ago
• mjc92 / buffer_overrun_memory_networks
  ☆20Updated 8 years ago
• bblfsh / python-client
  Babelfish Python client
  ☆17Updated 6 years ago
• eth-sri / Nice2Predict
  Learning framework for program property prediction
  ☆218Updated 4 years ago