diff --git a/README.md b/README.md index 5ba5ca6b7..6f59af83f 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,7 @@ ## News +* New course [Software Security Analysis](https://github.com/SVF-tools/Software-Security-Analysis) for learning code analysis with SVF for fun and expertise! * SVF now supports LLVM-16.0.0 with opaque pointers (Contributed by [Xiao Cheng](https://github.com/jumormt)). * Modernize SVF's CMake (Contributed by [Johannes](https://github.com/Johanmyst)). * SVF now supports LLVM-13.0.0 (Thank [Shengjie Xu](https://github.com/xushengj) for his help!). diff --git a/docs/README.md b/docs/README.md index a6d9fc3d0..3a192b79a 100644 --- a/docs/README.md +++ b/docs/README.md @@ -1,8 +1,8 @@ # SVF-Teaching Learning and Teaching Software Analysis, Verification and AI via [SVF](https://github.com/SVF-tools/SVF) +[Software Security Analysis Course](https://github.com/SVF-tools/Software-Security-Analysis) (new!) + [Software Analysis Course](https://github.com/SVF-tools/Teaching-Software-Analysis) [Software Verification Course](https://github.com/SVF-tools/Teaching-Software-Verification) - -[Static Analysis and AI Course](https://github.com/SVF-tools/Teaching-Static-Analysis-AI)