-
SerdeFuzzer Public
This tool mainly relies on JQF and ASM. It supports the algorithm for generating replicated objects based on the property tree and the targeted grey-box fuzz testing based on the utilization chain …
-
VulnInfoCrypto Public
This project aims to collect CVEs related to cryptography software and CWEs related to cryptography
Python UpdatedOct 5, 2024 -
-
QlRules Public
Forked from fullwaywang/QlRulesAuto-generated CodeQL rules for matching CVE vulnerabilities and variants.
CodeQL MIT License UpdatedJun 21, 2024 -
-
-
-
-
doop-mirror Public
Forked from plast-lab/doopMirror of Doop: https://bitbucket.org/yanniss/doop
Java Other UpdatedJan 24, 2024 -
clojure Public
Forked from clojure/clojureThe Clojure programming language
Java UpdatedJan 16, 2024 -
vertigo-extensions Public
Forked from vertigo-io/vertigo-libsStandalone extensions for Vertigo apps
Java Apache License 2.0 UpdatedDec 19, 2023 -
-
ModifiedJQF Public
Forked from rohanpadhye/JQFJQF + Zest: Coverage-guided semantic fuzzing for Java.
Java BSD 2-Clause "Simplified" License UpdatedSep 14, 2023 -
VulnInfoSearch Public
根据CEW编号查找CVE漏洞及其GitHub上的pacth commit,同时含有函数切片功能（支持 C++、C、Python、Java），以快速生成程序漏洞数据集（NoVuln/Vuln），同类型项目及其数据集见 VulnInfoCrytpo。
-
-
DailyClock_XDU_version Public
XIDIAN 晨午晚检的打卡(@fe1w0, 过去式)、研究生课程表生成(@fe1w0)、自动抢课(@sunzhengyu99)
-
souffle-lsp-plugin Public
Forked from jdaridis/souffle-lsp-pluginSoufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
Java UpdatedJun 6, 2023 -
-
soot-fact-generator Public
Forked from BytecodeDL/soot-fact-generatorgenerate facts from bytecode (source is https://github.com/plast-lab/doop-mirror/tree/master/generators)
Java GNU General Public License v3.0 UpdatedMar 8, 2023 -
-
-
IncreLux Public
Forked from seclab-ucr/IncreLuxProgressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel (LLVM 12.0.1)
C++ UpdatedOct 24, 2022 -
-
-
-
Information_Security_Books Public
Forked from olist213/Information_Security_Books150本信息安全方面的书籍书籍（持续更新）
-
-
-
-
pumpkin-book Public
Forked from datawhalechina/pumpkin-book《机器学习》（西瓜书）公式推导解析，在线阅读地址：https://datawhalechina.github.io/pumpkin-book
{{ message }}