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
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
Verification of C/C++ Programs based on LLVM IR
A Neural Network approach to Data Structure Object Classification
Loop Parallelization for MPC
Program analysis and Graph abstractions
C program counters for hit% and average of value
Symbolic Execution for Python
A general program analysis tool built on top of the SPOON API
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."