Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
@yuleisui
yuleisui committed Jul 4, 2024
1 parent 369c052 commit 2823ed7
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@


## News
* <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>
* <b>SVF now supports LLVM-16.0.0 with opaque pointers (Contributed by [Xiao Cheng](https://github.com/jumormt)). </b>
* <b>Modernize SVF's CMake (Contributed by [Johannes](https://github.com/Johanmyst)). </b>
* <b>SVF now supports LLVM-13.0.0 (Thank [Shengjie Xu](https://github.com/xushengj) for his help!). </b>
Expand Down
4 changes: 2 additions & 2 deletions docs/README.md
View file
Original file line number Diff line number Diff line change
@@ -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)

0 comments on commit 2823ed7

Please sign in to comment.