Two-layer graph representation of LLM-agent runs (execution and dependency)

Learn Code Transformation for Symbolic Execution

CMSC 33100 final project

Agentic predicate synthesis for directed fuzzing

FAIR Sequence Modeling Toolkit 2

Linux kernel source tree

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering

Releasing code for "ReCode: Robustness Evaluation of Code Generation Models"

[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models

A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).

ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference

A static analysis library for computing graph representations of Python programs suitable for use with graph neural networks.

The FLARE team's open-source extension to add Python 3 scripting to Ghidra.

Embed Python in Java

Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings"

Dynamic detection of likely invariants

Guide to using pre-trained large language models of source code