static analysis

A static analysis tool to draw an application map, which is similar to a context map although more accurate and detailed.

Static Application Security Testing (SAST) checks your source code for known vulnerabilities.

Secret Detection scans your repository to help prevent your secrets from being exposed.

Use Code Quality to analyze your source code’s quality and complexity. This helps keep your project’s code simple, readable, and easier to maintain.

Examples for GitLab CI/CD integration with Parasoft dotTEST

Examples for GitLab CI/CD integration with Parasoft C/C++test

Examples for GitLab CI/CD integration with Parasoft Jtest

Code checker script provides the way to check the quality of the Interitty codes.

Performs interprocedural and intraprocedural PointsTo analysis on static Java methods using a bounded call string approach.

Repository around the Dynamic Analysis and privacy breakdowns of popular applications.

Gratis, libre and open source server providing code assistance for PHP. https://serenata.gitlab.io/

tiny utility program for type-analysis of shell pipelines based on ladder-typing

Repository to demonstrate sample issues in Python raised by DeepSource.

https://deepsource.io/gl/deepsourcelabs/demo-python/issues/

Repository to demonstrate sample issues in Go raised by DeepSource.

Results: https://deepsource.io/gl/deepsourcelabs/demo-go/issues/

Jesse is a program analysis tool which returns for a given binary (program or library) all system calls it can invoke.

This repository is part of a master thesis featured on https://scrap.tantemalkah.at and highlights the evaluation of currently maintained F/LOSS static analysis tools for PHP.

Mirror of the Python Code Quality Authority's PyLint static code analysis tool.