SVF-tools's tracked open-source repos, sorted by stars.
Static Value-Flow Analysis Framework for Source Code
