Home » de.fraunhofer.iem » testCore » Usages

Artifacts using TestCore (3)
Sort by:Popular▼

1. Boomerang4 usages

de.fraunhofer.iem » boomerangPDSEPL

Efficient and Precise Pointer and Data-Flow Analysis
Last Release on Apr 25, 2025

2. CryptoAnalysis3 usages

de.fraunhofer.iem » CryptoAnalysisEPL

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
Last Release on Mar 31, 2025

3. IDEal1 usages

de.fraunhofer.iem » idealPDSEPL

IDE solver using Boomerang to resolve aliases
Last Release on Apr 25, 2025
  • Prev
  • 1
  • Next