danheidinga / ifds Goto Github PK
View Code? Open in Web Editor NEWThis project forked from soniazaldana/ifds
A prototype for string constant propagation using the interprocedural, finite, distributive, subset (IFDS) problem solver powered by Heros and Soot.