Stars
Qodo-Cover: An AI-Powered Tool for Automated Test Generation and Code Coverage Enhancement! 💻🤖🧪🐞
A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
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 const…
gomonkey is a library to make monkey patching in unit tests easy
代码打靶是一项高效的代码能力提升活动，可以带动打靶人员 Code Review 能力和编码能力的腾飞。代码打靶主要包括规范、内容和工具，规范实例化是代码缺陷规范，内容实例化是靶子和靶场，工具实例化是打靶服务。
本仓库为使用Trace运行态模型实现对Zookeeper集群中数据一致性、状态一致性以及其选举阶段、数据同步阶段、广播阶段 需要满足的属性进行形式化验证
A collection of awesome security hardening guides, tools and other resources
A model checker for implementing distributed systems.
All Algorithms implemented in Python
Rich is a Python library for rich text and beautiful formatting in the terminal.
Codyze is a static analyzer for Java, C, C++ based on code property graphs
niuzhi / soot
Forked from soot-oss/sootSoot - A Java optimization framework
niuzhi / vuls
Forked from future-architect/vulsAgent-less vulnerability scanner for Linux, FreeBSD, Container Image, Running Container, WordPress, Programming language libraries, Network devices
Dictionary of attack patterns and primitives for black-box application fault injection and resource discovery.
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…
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),…
VLC media player - All pull requests are ignored, please use MRs on https://code.videolan.org/videolan/vlc
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security