Skip to content

MetaCG v0.2.1

Compare
Choose a tag to compare
@jplehr jplehr released this 17 Mar 10:22
· 231 commits to master since this release

Changelog

CGCollector

Fixes non-termination issue in CGCollector for some cases
Fixes crashes for certain ways of recursion

PGIS

Fixes an error that prohibited PIRA I from producing any reasonable results.
Adds FindSynchronizationPoint mechanism to PGIS and its LI detection.
Makes the export of the CG as dot file a CLI switch in PGIS
Makes call-site instrumentation optional