Alternatives and similar repositories for python-control-flow-graph

Users that are interested in python-control-flow-graph are comparing it to the libraries listed below

• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆47Updated 3 years ago
• danhper / bigcode-tools
  Set of tools to help working with "Big Code"
  ☆43Updated 3 years ago
• romanofski / programslice
  Static analysis tool to slice python programs
  ☆36Updated 8 years ago
• caterinaurban / Lyra
  ☆30Updated 9 months ago
• myint / pyfuzz
  Random program generator for Python
  ☆10Updated 11 years ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 10 months ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆60Updated 2 years ago
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆53Updated 7 years ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 4 months ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 4 years ago
• titusjan / astviewer
  Python Abstract Syntax Tree viewer in Qt
  ☆104Updated 2 years ago
• DeepTyper / DeepTyper
  ☆49Updated 5 years ago
• learnbigcode / learnbigcode.github.io
  Website for Learning from "Big Code"
  ☆29Updated 3 years ago
• takluyver / astsearch
  Intelligently search in Python code
  ☆67Updated last year
• WM-SEMERU / dl4se
  A Systematic Literature Review of Deep Learning in Software Engineering
  ☆19Updated 8 months ago
• bondo / symbolic-execution
  ☆20Updated 11 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• isstac / spf-wca
  Tool for algorithmic complexity analysis based on symbolic execution
  ☆10Updated 6 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆63Updated last year
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆26Updated 6 years ago
• liulhdarks / code2vec
  code2vec: Learning Distributed Representations of Code
  ☆14Updated 6 years ago
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆83Updated 2 years ago
• sonoisa / code2vec
  an implementation of "code2vec: Learning Distributed Representations of Code"
  ☆30Updated 10 months ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• johnyf / astutils
  Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.
  ☆16Updated 6 months ago
• Amocy-Wang / ProbDD
  Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…
  ☆16Updated 3 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆69Updated 5 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆94Updated 3 years ago