/IFDS

A prototype for string constant propagation using the interprocedural, finite, distributive, subset (IFDS) problem solver powered by Heros and Soot.

Primary LanguageJava

This repository is not active