CodeShield GmbH

SPDS Public Forked from CROSSINGTUD/SPDS

Efficient and Precise Pointer-Tracking Data-Flow Framework

Java 69EPL-2.0 37 13 0 Updated Dec 10, 2024

Local Bytecode Scanner for the Log4JShell Vulnerability (CVE-2021-44228)

Java 49MIT 9 0 0 Updated Feb 23, 2022

Generate CloudFormation / Terraform / Troposphere templates from your existing AWS resources.

JavaScript 1MIT 298 0 0 Updated Oct 27, 2021

Java version of the deliberately vulnerable serverless application Serverless-Goat from https://github.com/OWASP/Serverless-Goat

Java 14AGPL-3.0 14 0 0 Updated Oct 12, 2021

Fork of the original Kusth-1411/Aws-Doctor repository

Python 1GPL-3.0 0 0 0 Updated May 21, 2021

docs Public

0 0 0 0 Updated Nov 26, 2020

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

Java 0EPL-2.0 48 0 0 Updated Jun 27, 2020

A minimal demonstration for a null pointer analysis

Java 0 0 0 0 Updated Jan 27, 2020

Navigation Menu