coetaur0 / staticfg

Related projects ⓘ

Alternatives and complementary repositories for staticfg

• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆295Updated 7 months ago
• vitsalis / PyCG
  Static Python call graph generator
  ☆319Updated 11 months ago
• soarsmu / BugsInPy
  BugsInPy: Benchmarking Bugs in Python Projects
  ☆80Updated 4 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆35Updated 7 months ago
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆52Updated 6 years ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆56Updated this week
• spcl / ncc
  Neural Code Comprehension: A Learnable Representation of Code Semantics
  ☆206Updated 3 months ago
• bdqnghi / graph-ast
  A tool to provide the graph representation of the source code based on the paper: "Learning to Represent Program with Graph, ICLR'18"
  ☆45Updated 4 years ago
• danhper / bigcode-tools
  Set of tools to help working with "Big Code"
  ☆43Updated 2 years ago
• rshariffdeen / CPR
  CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…
  ☆30Updated 2 years ago
• utopia-group / TypeT5
  Seq2seq Type Inference using Static Analysis and CodeT5
  ☆29Updated last year
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆66Updated this week
• microsoft / python-program-analysis
  A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.
  ☆52Updated 5 years ago
• ASSERT-KTH / VRepair
  open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308
  ☆56Updated 8 months ago
• Chenning-Tao / C4
  Code and dataset for paper C4: Contrastive Cross-Language Code Clone Detection
  ☆25Updated 2 years ago
• sonoisa / code2vec
  an implementation of "code2vec: Learning Distributed Representations of Code"
  ☆29Updated 4 months ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆67Updated 2 weeks ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆59Updated last year
• jkoppel / QuixBugs
  A multi-lingual program repair benchmark set based on the Quixey Challenge
  ☆102Updated 2 years ago
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆15Updated 8 months ago
• vrthra / pycfg
  ☆22Updated 3 years ago
• sola-st / SemSeed
  ☆25Updated 3 years ago
• liuqingli / CCLearner
  A Deep Learning-Based Clone Detection Approach
  ☆17Updated 7 years ago
• epicosy / devign
  Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks
  ☆198Updated 9 months ago
• JohnnyPeng18 / HiTyper
  This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"
  ☆40Updated last year
• IBM / D2A
  This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX
  ☆61Updated 2 years ago
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆29Updated last year
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆106Updated 4 months ago
• tuhh-softsec / vul4j
  Vul4J: A Dataset of Reproducible Java Vulnerabilities
  ☆64Updated last month
• bdqnghi / ast-node-encoding
  A tool to convert nodes in an Abstract Syntax Tree into vector embeddings
  ☆72Updated 2 years ago