program-analysis topic

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

kudu-dynamics

gradient-based symbolic execution engine implemented from scratch

Koukyosyumei

FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22

mimicji

COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University

wei-le

An automatic framework to remove unneeded and unsafe code from Bluetooth stacks of Android and Linux, using both source code analysis (LLVM) and binary analysis (angr).

purseclab

Dynamic Analysis for Concurrent Programs

focs-lab

Create single-executable models of distributed systems.

raytheonbbn

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

GaloisInc

A program repair tool which modifies any bugged Python script based on cues from rest of program.

ZainQasmi