2 repositories on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
Static Value-Flow Analysis Framework for Source Code
WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF