Draft: StringCPA: A CPA for String Analysis in Java Programs (!67) · Merge requests · SoSy-Lab / Software / CPAchecker

Philipp Wendler requested to merge stringcpa into trunk Dec 17, 2021

Merge request for code review and discussions only, merge must be done with svn merge.

Edited Dec 17, 2021 by Philipp Wendler

Draft: StringCPA: A CPA for String Analysis in Java Programs