static analysis

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

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.

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

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

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.