danielrandall / python-control-flow-graphLinks
☆9Updated 10 years ago
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
Sorting:
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 5 years ago
- A tool for mining graph-based change patterns in Python code☆19Updated last year
- Python Symbolic Execution☆69Updated 5 years ago
- ☆49Updated 5 years ago
- Python bytecode instrumentation library☆119Updated 8 years ago
- An IPython notebook plugin for visualizing ASTs.☆105Updated 5 months ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆61Updated 2 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 2 years ago
- C# Data Extraction for "Learning to Represent Edits"☆26Updated 6 years ago
- MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)☆39Updated 6 years ago
- Flow graphs for Python☆26Updated 2 years ago
- Static analysis tool to slice python programs☆36Updated 8 years ago
- Python Abstract Syntax Tree viewer in Qt☆104Updated 2 years ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated last year
- [ICSE'18] Hierarchical Learning of Cross-Language Mappings through Distributed Vector Representations for Code☆22Updated 7 years ago
- A set of tools for extracting tokens and ASTs from code☆22Updated 7 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 5 months ago
- ☆20Updated 8 years ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆53Updated 7 years ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Updated 4 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆96Updated 3 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆248Updated last month
- an implementation of "code2vec: Learning Distributed Representations of Code"☆30Updated 11 months ago
- Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"☆24Updated 3 years ago
- Set of tools to help working with "Big Code"☆43Updated 3 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Updated 3 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆43Updated 4 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆21Updated 3 years ago
- ☆30Updated 10 months ago