MATE MATE is a suite of tools for interactive program analysis with a focus on hunting for...
Programming
What is Tai-e? Tai-e (Chinese: 太阿; pronunciation: [ˈtaɪə:]) is a new static analysis framework for Java (please...
Every single business certainly needs to rely heavily on technology nowadays. There are various different pieces of...
SWAN This branch contains the new generation of the SWAN framework. The SWAN version described in our...
Mininode Mininode is a CLI tool to reduce the attack surface of the Node.js applications by using...
shisho Shisho is a lightweight static code analyzer designed for developers and security teams. The key motivation of...
GoKart – Go Security Static Analysis GoKart is a static analysis tool for Go that finds vulnerabilities...
PackageDNA This tool gives developers, researchers, and companies the ability to analyze software packages of different programming...
What is Bughound? Bughound is an open-source static code analysis tool that analyzes your code and sends...
Salus: Guardian of Code Safety and Security Salus (Security Automation as a Lightweight Universal Scanner), named after...
joern Joern is a platform for robust analysis of C/C++ code. It generates code property graphs, a...
What is Horusec? Horusec is an open-source tool that performs a static code analysis to identify security...
threatspec Threatspec is an open-source project that aims to close the gap between development and security by...
sast-scan Scan is a free open-source security tool for modern DevOps teams. With an integrated multi-scanner based design,...
Security auditing and static code analysis Aura is a static analysis framework developed as a response to...