Teaching and Learning Software Analysis via SVF - View it on GitHub