SVF-Teaching Learning and Teaching Software Analysis, Verification and AI via SVF Software Security Analysis Course Static Analysis and AI Course