Skip to content

Commit 2823ed7

Browse files
committed
update
1 parent 369c052 commit 2823ed7

File tree

2 files changed

+3
-2
lines changed

2 files changed

+3
-2
lines changed

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22

33

44
## News
5+
* <b>New course [Software Security Analysis](https://github.com/SVF-tools/Software-Security-Analysis) for learning code analysis with SVF for fun and expertise! </b>
56
* <b>SVF now supports LLVM-16.0.0 with opaque pointers (Contributed by [Xiao Cheng](https://github.com/jumormt)). </b>
67
* <b>Modernize SVF's CMake (Contributed by [Johannes](https://github.com/Johanmyst)). </b>
78
* <b>SVF now supports LLVM-13.0.0 (Thank [Shengjie Xu](https://github.com/xushengj) for his help!). </b>

docs/README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
# SVF-Teaching
22
Learning and Teaching Software Analysis, Verification and AI via [SVF](https://github.com/SVF-tools/SVF)
33

4+
[Software Security Analysis Course](https://github.com/SVF-tools/Software-Security-Analysis) (new!)
5+
46
[Software Analysis Course](https://github.com/SVF-tools/Teaching-Software-Analysis)
57

68
[Software Verification Course](https://github.com/SVF-tools/Teaching-Software-Verification)
7-
8-
[Static Analysis and AI Course](https://github.com/SVF-tools/Teaching-Static-Analysis-AI)

0 commit comments

Comments
 (0)