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 2 weeks ago
• secure-software-engineering / swan
  Security methods for WeAkNess detection
  ☆20Updated 2 weeks ago
• Dongdongshe / neuzz
  neural network assisted fuzzer
  ☆412Updated 5 years ago
• ericpony / z3py-tutorial
  ☆151Updated 2 years ago
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆339Updated last month
• tthtlc / awesome-source-analysis
  Source code understanding via Machine Learning techniques
  ☆137Updated 3 weeks ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆92Updated last year
• pcyin / dire
  Neural Variable Renaming for Decompiled Binaries
  ☆44Updated 5 years ago
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆56Updated 8 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
• AUEB-BALab / VulinOSS
  Software vulnerabilities data set
  ☆25Updated 5 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆52Updated 6 years ago
• mast-group / api-mining
  Probabilistic API Mining
  ☆53Updated 8 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆72Updated 6 years ago
• eth-sri / Nice2Predict
  Learning framework for program property prediction
  ☆218Updated 4 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆99Updated 4 years ago
• IoTBench / IoTBench-test-suite
  A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps
  ☆66Updated 6 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 6 years ago
• sdht0 / automata-from-regex
  A python program to build nfa, dfa and minimised DFA from given regular expression. Uses Tkinter for GUI and GraphViz for graphs.
  ☆123Updated 10 months ago
• invernizzi / Chrisper
  Detect common mistakes in academic papers
  ☆61Updated 6 years ago
• gadiluna / SAFE
  SAFE: Self-Attentive Function Embeddings for binary similarity
  ☆179Updated 2 years ago
• VulnReproduction / VulnReproduction.github.io
  Home page for this github organization
  ☆22Updated 7 years ago
• spcl / ncc
  Neural Code Comprehension: A Learnable Representation of Code Semantics
  ☆216Updated last year
• fabsx00 / codesensor
  ANTLR 3 fuzzy parser
  ☆49Updated 13 years ago
• calaylin / CodeStylometry
  Programmer De-anonymization via Code Stylometry
  ☆79Updated 8 years ago
• Mondego / SourcererCC
  Sourcerer's Code Clone project
  ☆220Updated 3 years ago
• js2wasm-obfuscator / translator
  ☆30Updated 4 years ago
• tech-srl / PigeonJS
  Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"
  ☆24Updated 4 years ago