Program Analysis framework for Java
-
Updated
May 13, 2017 - Java
Program Analysis framework for Java
Custom filter to prune generated PDGs from JOANA
Refactoring Inspection Support for Manual Refactoring Edits (TSE 2017)
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.
Java Generics Refactoring Tool for Inferring Wildcards
Topic 3: Using Tests to Debug Assignment
SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.
Russian translation (excerpts) of 1990 «Dynamic Program Slicing» article by Hiralal Agrawal and Joseph Robert Horgan
LLVM implementation of Herbrand Equivalence algorithm
My solutions to Tai-e assignments for static program analysis
DYNA (DYNamic Analyzer)
WebJShrink: A Web Service for Debloating Java Bytecode (FSE 2020 Demo)
A Dynamic Pushdown Network Analysis Library
A Neural Network approach to Data Structure Object Classification
Loop Parallelization for MPC
Program analysis and Graph abstractions
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."