From 2823ed7f50dd5564e0b3f2e70e0f5634e4d19aaf Mon Sep 17 00:00:00 2001 From: Yulei Sui <7608399+yuleisui@users.noreply.github.com> Date: Thu, 4 Jul 2024 13:48:29 +1000 Subject: [PATCH] update --- README.md | 1 + docs/README.md | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) 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)