Program Analysis framework for Java
-
Updated
May 13, 2017 - Java
Program Analysis framework for Java
Custom filter to prune generated PDGs from JOANA
.NET debugger and assembly editor
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
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
A tool to extract context information from input java code for machine learning models
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
SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.
Add a description, image, and links to the program-analysis topic page so that developers can more easily learn about it.
To associate your repository with the program-analysis topic, visit your repo's landing page and select "manage topics."