A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries

Statement-level deep learning model for automated software vulnerability detection in C/C++ (Accepted in MSR 2022)

A curated list of projects related to the reMarkable tablet

StellarGraph - Machine Learning on Graphs

A collection of out-of-tree LLVM passes for teaching and learning

Code Property Graph: specification, query language, and utilities

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

Python bindings to the Tree-sitter parsing library

Collection of tools for analyzing open source packages.

OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST),…

Anomaly detection related books, papers, videos, and toolboxes

A LLVM-based static analysis framework.

Program dependence graph in LLVM

Unified diff parser for nodejs and browser

A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.

Static Python call graph generator

CEED Library: Code for Efficient Extensible Discretizations

Notes, programming assignments and quizzes from all courses within the Coursera Deep Learning specialization offered by deeplearning.ai: (i) Neural Networks and Deep Learning; (ii) Improving Deep N…

Codyze is a static analyzer for Java, C, C++ based on code property graphs

This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the patch onto a PDG.

IFDS/IDE Solver for Soot and other frameworks

An inter-procedural data-flow analysis framework using value-based context sensitivity

An awesome code differencing tool

NetLSD descriptors for graphs. Compare and analyze graph structure on multiple levels!

Google Research

Implementation of an agglomerative hierarchical clustering algorithm in Java. Different linkage approaches are supported.