#

aliasing-analysis

Here is 1 public repository matching this topic...

liquid-java / latte

Lightweight aliasing tracking for Java - static analysis tool for pointer analysis

java static-analysis program-analysis aliasing-analysis lightweight-verification

Updated Jun 26, 2025
Java

Improve this page

Add a description, image, and links to the aliasing-analysis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the aliasing-analysis topic, visit your repo's landing page and select "manage topics."