knightyzl Goto Github PK

cbmc

C Bounded Model Checker

dependencycheck

OWASP dependency-check is a software composition analysis utility that detects publicly disclosed vulnerabilities in application dependencies.

flawfinder

a static analysis tool for finding vulnerabilities in C/C++ source code

gosec

Golang security checker

hutool

🍬A set of tools that keep Java sweet.

joern

A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.

kr.ac.jbnu.ssel.misrac

OpenMRC: Open Source MISRA-C Rule Checker based on Eclipse CDT(C/C++ Development Tooling).

pipeline-utility-steps-plugin

Small utility steps for Jenkins workflows

pixy

Pixy is a scanner static code analysis tools that scans PHP applications for security vulnerabilities.

restler-fuzzer

RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.

security-code-scan

Vulnerability Patterns Detector for C# and VB.NET

semgrep-rules

Semgrep rules registry

sonar-cxx

This repository contains a SonarQube plugin implementing C++ support.

sonar-java

:coffee: SonarJava : Java static analyzer for SonarQube & SonarLint

sonarqube

Continuous Inspection

steady

Analyses your Java and Python applications for open-source dependencies with known vulnerabilities, using both static analysis and testing to determine code context and usage for greater accuracy. https://eclipse.github.io/steady/

swiftbee

OWASP Top 10 - Security Static Code Analyser in Swift

sya

C++ check

workflow-cps-global-lib-plugin

zpa

A parser and static source code analyzer for PL/SQL and Oracle SQL.