Pinned Repositories
awesome-github-profiles
List of GitHub profiles that have awesome customisation, that you can use for inspiration
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.
ccbr
soot
Soot - A Java optimization framework
vuls
Agent-less vulnerability scanner for Linux, FreeBSD, Container Image, Running Container, WordPress, Programming language libraries, Network devices
community
tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
ccbr
CCBR is a policy management system project. It uses the policy language Rego to implement the CIS benchmark test of cloud native kubernetes. In addition, it integrates gatekeeper, manages its constraint templates, constraints and policies, and supports policy deployment and audit inspection.
Examples
A collection of TLA+ specifications of varying complexities
ZookeeperTraceVerification
本仓库为使用Trace运行态模型实现对Zookeeper集群中数据一致性、状态一致性以及其选举阶段、数据同步阶段、广播阶段 需要满足的属性进行形式化验证
niuzhi's Repositories
niuzhi/ccbr
niuzhi/soot
Soot - A Java optimization framework
niuzhi/vuls
Agent-less vulnerability scanner for Linux, FreeBSD, Container Image, Running Container, WordPress, Programming language libraries, Network devices
niuzhi/awesome-github-profiles
List of GitHub profiles that have awesome customisation, that you can use for inspiration
niuzhi/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.
niuzhi/cJSON
Ultralightweight JSON parser in ANSI C
niuzhi/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
niuzhi/cbmc
C Bounded Model Checker
niuzhi/CodeFuse-Query
Query-Based Code Analysis Engine
niuzhi/DeadLockProject2
niuzhi/denyenv-validating-admission-webhook
niuzhi/Examples
A collection of TLA+ specifications of varying complexities
niuzhi/fuzzdb
Dictionary of attack patterns and primitives for black-box application fault injection and resource discovery.
niuzhi/gatekeeper
🐊 Gatekeeper - Policy Controller for Kubernetes
niuzhi/gatekeeper-policy-manager
A simple to use web-based OPA Gatekeeper policy manager
niuzhi/HummerRisk
HummerRisk 是云原生安全平台，包括混合云安全治理和容器云安全检测。
niuzhi/niuzhi.github.com
niuzhi/README
README文件语法解读，即Github Flavored Markdown语法介绍
niuzhi/sast-scan
A Free & Open Source DevSecOps Platform
niuzhi/shields
Concise, consistent, and legible badges in SVG and raster format
niuzhi/shiftleft-java-demo
niuzhi/shiftleft-java-example
Sample Java application with ShiftLeft Inspect integration
niuzhi/spring-boot-angular-oauth2-social-login-demo
Spring Boot 2 + Angular 10 User Registration and OAuth2 Social Login with Facebook, Google, LinkedIn, and Github
niuzhi/Test
niuzhi/test123
niuzhi/tf-gnn-samples
TensorFlow implementations of Graph Neural Networks
niuzhi/tlaplus9
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
niuzhi/zookeeper
Apache ZooKeeper
niuzhi/ZookeeperTraceVerification