CROSSINGTUD/SPDS CROSSINGTUD/SPDS

  • This repository has been archived on 08/Jul/2021
  • Stars
    star
    41
  • Rank 668,415 (Top 14 %)
  • Language
    Java
  • License
    Eclipse Public Li...
  • Created almost 8 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
CROSSINGTUD/SPDS
github

CROSSINGTUD

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Efficient and Precise Pointer-Tracking Data-Flow Framework

More Repositories

1

CryptoAnalysis

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
Java
66
star
2

Crypto-API-Rules

This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
15
star
3

CamBench

Repository for the paper: CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite
Java
8
star
4

CryptSL

Java
6
star
5

bc-hybrid-certificates

Java implementation of hybrid certificates using BouncyCastle
Java
6
star
6

MetaCrySL

This repository comprises everything related to the modularization of CrySL.
Rascal
1
star
7

CogniCrypt_DOC

Java
1
star
8

CogniCrypt_TESTGEN

A Test Generator for Java Crypto APIs
Java
1
star
9

CryptoAnalysis-demo

Demo of the github Action of CryptoAnalysis (for the CamBench repository)
Java
1
star