/WorklistCFA

Worklist implementation of the 0CFA algorithm.

Primary LanguageC++MIT LicenseMIT

Worklist-CFA single threaded

This repository is part of the larger Worklist-CFA project, which aims to implement the 0-CFA analysis using a worklist.