Skip to main content
Moderne OnlyThis recipe is proprietary to Moderne and runs on the Moderne platform or CLI — it isn’t part of the open-source catalog. Available with a Moderne subscription.Contact Sales

Find cryptographic vulnerability chains

Recipe IDio.moderne.cryptography.FindCryptoVulnerabilitiesPipeline
Artifactio.moderne.recipe:rewrite-cryptography

Detects cryptographic vulnerabilities that span multiple operations, tracking flow from hardcoded algorithms through key material to encryption operations.

Single recipeOpenRewriteModerne Proprietary License
Try in PlatformTry this recipe in the Moderne platform. Not a user yet? You’ll get a no-setup demo environment, with nothing to install or configure.

Examples​

java
Before
import javax.crypto.Cipher;
import javax.crypto.SecretKey;
import javax.crypto.SecretKeyFactory;
import javax.crypto.spec.SecretKeySpec;

public class SimpleCrypto {
    public byte[] encrypt(byte[] data, byte[] keyBytes) throws Exception {
        // Hardcoded algorithm flows through the entire pipeline
        SecretKeySpec keySpec = new SecretKeySpec(keyBytes, "AES");
        SecretKeyFactory factory = SecretKeyFactory.getInstance("AES");
        SecretKey key = factory.generateSecret(keySpec);
        Cipher cipher = Cipher.getInstance("AES/ECB/PKCS5Padding");
        cipher.init(Cipher.ENCRYPT_MODE, key);
        return cipher.doFinal(data);
    }
}
After
import javax.crypto.Cipher;
import javax.crypto.SecretKey;
import javax.crypto.SecretKeyFactory;
import javax.crypto.spec.SecretKeySpec;

public class SimpleCrypto {
    public byte[] encrypt(byte[] data, byte[] keyBytes) throws Exception {
        // Hardcoded algorithm flows through the entire pipeline
        SecretKeySpec keySpec = new SecretKeySpec(keyBytes, /*~~(ALGORITHM source)~~>*/"AES");
        SecretKeyFactory factory = SecretKeyFactory.getInstance("AES");
        SecretKey key = factory.generateSecret(keySpec);
        Cipher cipher = Cipher.getInstance("AES/ECB/PKCS5Padding");
        cipher.init(Cipher.ENCRYPT_MODE, key);
        return /*~~(ALGORITHM use)~~>*/cipher.doFinal(data);
    }
}

Usage​

Run this recipe

This recipe has no required configuration options. Users of Moderne can run it via the Moderne CLI.

You will need to have configured the Moderne CLI on your machine before you can run the following command.

shell
mod run . --recipe FindCryptoVulnerabilitiesPipeline

If the recipe is not available locally, then you can install it using:

mod config recipes jar install io.moderne.recipe:rewrite-cryptography:0.14.9

Data tables​

Taint flow data
org.openrewrite.analysis.java.taint.TaintFlowDataTable

Tracks taint flow through pipeline stages, supporting up to 10 stages.

ColumnDescription
Source fileThe source file where the taint flow was detected
Stage 1 NameName of the first stage in the pipeline
Stage 1 LocationCode location for the first stage
Stage 2 NameName of the second stage in the pipeline
Stage 2 LocationCode location for the second stage
Stage 3 NameName of the third stage in the pipeline
Stage 3 LocationCode location for the third stage
Stage 4 NameName of the fourth stage in the pipeline
Stage 4 LocationCode location for the fourth stage
Stage 5 NameName of the fifth stage in the pipeline
Stage 5 LocationCode location for the fifth stage
Stage 6 NameName of the sixth stage in the pipeline
Stage 6 LocationCode location for the sixth stage
Stage 7 NameName of the seventh stage in the pipeline
Stage 7 LocationCode location for the seventh stage
Stage 8 NameName of the eighth stage in the pipeline
Stage 8 LocationCode location for the eighth stage
Stage 9 NameName of the ninth stage in the pipeline
Stage 9 LocationCode location for the ninth stage
Stage 10 NameName of the tenth stage in the pipeline
Stage 10 LocationCode location for the tenth stage
Source files that had results
org.openrewrite.table.SourcesFileResults

Source files that were modified by the recipe run.

ColumnDescription
Source path before the runThe source path of the file before the run. null when a source file was created during the run.
Source path after the runA recipe may modify the source path. This is the path after the run. null when a source file was deleted during the run.
Parent of the recipe that made changesIn a hierarchical recipe, the parent of the recipe that made a change. Empty if this is the root of a hierarchy or if the recipe is not hierarchical at all.
Recipe that made changesThe specific recipe that made a change.
Estimated time savingAn estimated effort that a developer to fix manually instead of using this recipe, in unit of seconds.
CycleThe recipe cycle in which the change was made.
Source files that had search results
org.openrewrite.table.SearchResults

Search results that were found during the recipe run.

ColumnDescription
Source path of search result before the runThe source path of the file with the search result markers present.
Source path of search result after run the runA recipe may modify the source path. This is the path after the run. null when a source file was deleted during the run.
ResultThe trimmed printed tree of the LST element that the marker is attached to.
DescriptionThe content of the description of the marker.
Recipe that added the search markerThe specific recipe that added the Search marker.
Source files that errored on a recipe
org.openrewrite.table.SourcesFileErrors

The details of all errors produced by a recipe run.

ColumnDescription
Source pathThe file that failed to parse.
Recipe that made changesThe specific recipe that made a change.
Stack traceThe stack trace of the failure.
Recipe performance
org.openrewrite.table.RecipeRunStats

Statistics used in analyzing the performance of recipes.

ColumnDescription
The recipeThe recipe whose stats are being measured both individually and cumulatively.
Source file countThe number of source files the recipe ran over.
Source file changed countThe number of source files which were changed in the recipe run. Includes files created, deleted, and edited.
Cumulative scanning time (ns)The total time spent across the scanning phase of this recipe.
Max scanning time (ns)The max time scanning any one source file.
Cumulative edit time (ns)The total time spent across the editing phase of this recipe.
Max edit time (ns)The max time editing any one source file.