Repository Index

Tfsec is now part of Trivy

• terraform
• security
• scanner
• static-analysis

Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.

• code-property-graph
• compiler-theory
• program-analysis
• robdd

Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

• code-analyzer
• code-style
• coding-standards
• formatter

A CLI tool to check whether a specific composer package uses imported symbols that aren't part of its direct composer dependencies

• code-quality
• ci-tools

The Exakat Engine : smart static analysis for PHP

• php
• php7
• gremlin
• neo4j

An Elixir tool for checking safety of database migrations.

• elixir
• static-analysis
• code-analysis
• credo

TranslatedA code audit platform built as a secondary development of artex | Adds local decompilation of Java dependency libraries | Multi-account management

Detects smells and computes metrics of Java code

• code-smells
• metrics
• java
• object-oriented-metrics

Smell detection tool for Puppet code