Repositories list

• SPDS

  Public
  Efficient and Precise Pointer-Tracking Data-Flow Framework

  Java

  •

  Eclipse Public License 2.0

  •38•66•13•1•Updated Mar 17, 2024Mar 17, 2024

• Log4JShell-Bytecode-Detector

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

  securitybytecodescanner+ 4log4j2cve-2021-44228log4shelllog4jshell

  Java

  •

  MIT License

  •9•50•0•0•Updated Feb 23, 2022Feb 23, 2022

• former2

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

  JavaScript

  •

  MIT License

  •271•1•0•0•Updated Oct 27, 2021Oct 27, 2021

• Serverless-Goat-Java

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

  Java

  •

  GNU Affero General Public License v3.0

  •13•12•0•0•Updated Oct 12, 2021Oct 12, 2021

• Aws-Doctor

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

  Python

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated May 21, 2021May 21, 2021

• docs

  Public
  0•0•0•0•Updated Nov 26, 2020Nov 26, 2020

• CryptoAnalysis

  Public
  CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

  Java

  •

  Eclipse Public License 2.0

  •40•0•0•0•Updated Jun 27, 2020Jun 27, 2020

• NullPointerDemo

  Public
  A minimal demonstration for a null pointer analysis

  Java

  •0•0•0•0•Updated Jan 27, 2020Jan 27, 2020