Tento projekt si klade za cíl zpřesnění a opravu prořezávacího algoritmu v open-source nástroji Symbiotic. Konkrétně se jedná o tyto dvě položky:

1) zpřesnit prořezávání pomocí implementace dvoufázového algoritmu pro prořezávání,
2) opravit nekorektní chování prořezávacícho algoritmu v přítomnosti interprocedurálních kontrolních závislostí.