Program Analysis framework for Java

Custom filter to prune generated PDGs from JOANA

.NET debugger and assembly editor

手动反编译 Java 字节码

This is a study on predicting code changes with Markov Chains for Java projects based on their commits. (COMPSAC 2021)

Refactoring Inspection Support for Manual Refactoring Edits (TSE 2017)

Project using JavaCC and Eclipse AST's to get different metrics from a Java program

An efficient dynamic data-dependence profiler

Pure Demand Operational Semantics

Topic 3: In-Class Unit Test Writing Exercise

A toy static analysis tool using the monotone dataflow analysis framework

Program for analyzing the source code of a program with labels, designed to detect and display unused labels.

Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.

Code for our paper "Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models" that has been accepted by ISSTA'24

Java Generics Refactoring Tool for Inferring Wildcards

Topic 3: Using Tests to Debug Assignment

Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

The CodeSparks framework aims to facilitate the integration of software analysis tools into the IDE such that their results are shown as glyph-based visualizations in the source code.

A hybrid algorithmic debugger and program synthesis engine for Python