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.
LLVM implementation of Herbrand Equivalence algorithm
Russian translation (excerpts) of 1990 «Dynamic Program Slicing» article by Hiralal Agrawal and Joseph Robert Horgan
My solutions to Tai-e assignments for static program analysis
A general program analysis tool built on top of the SPOON API
Formal verification tool for Solidity
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
Verification of C/C++ Programs based on LLVM IR
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."