Pinned Repositories
ying-ICPC-2022
Ying Zhang, Ya Xiao, Md Mahir Asef Kabir, Daphne Yao, Na Meng. Example-Based Vulnerability Detection and Repair in Java Code 30th IEEE/ACM International Conference on Program Comprehension
TSE-2022
Automatic Detection of Java Cryptographic API Misuses: Are We There Yet? (TSE 2022)
Changedistiller_test
Mafia_Rust
AndroidPractice
ApacheCryptoAPI-Bench
architect
Architect is a Jekyll theme for GitHub Pages
Benchmark
OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST), Dynamic (DAST), and Runtime (IAST) tools that support Java. The idea is that since it is fully runnable and all the vulnerabilities are actually exploitable, it’s a fair test for any kind of vulnerability detection tool. For more details on this project, please see the OWASP Benchmark Project home page.
cipher_test
crawlData
crawling client project based on dependency
NEUZhangy's Repositories
NEUZhangy/neuzhangy.github.io
Personal HomePage
NEUZhangy/teaching_demo
login system in testing demo
NEUZhangy/ICSE-SEIP-2024
[ICSE SEIP 2024] Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust
NEUZhangy/crawlData
crawling client project based on dependency
NEUZhangy/swim-jumpstart
This is a simple JMS Consumer that allows for testing the connection to SWIM Cloud Distribution Service.
NEUZhangy/cryptoapi-bench
NEUZhangy/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
NEUZhangy/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
NEUZhangy/Changedistiller_test
NEUZhangy/Mafia_Rust
NEUZhangy/ApacheCryptoAPI-Bench
NEUZhangy/AndroidPractice
NEUZhangy/SecureAPI_Runner
NEUZhangy/Benchmark
OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST), Dynamic (DAST), and Runtime (IAST) tools that support Java. The idea is that since it is fully runnable and all the vulnerabilities are actually exploitable, it’s a fair test for any kind of vulnerability detection tool. For more details on this project, please see the OWASP Benchmark Project home page.
NEUZhangy/MigrationTester
NEUZhangy/architect
Architect is a Jekyll theme for GitHub Pages
NEUZhangy/WALA_TEST
NEUZhangy/cipher_test
NEUZhangy/git_try