Dafny Interoperability Test · aws/aws-encryption-sdk-dafny@e042e92

Run ESDK-NET @ v4.0.0 Invalid Vectors .NET 48 expect failure

Process completed with exit code 1.

Run ESDK-NET @ v4.0.0 Invalid Vectors .NET 6.0 expect failure

Process completed with exit code 1.

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Run ESDK-NET @ v4.0.0 Valid Vectors expect success: AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/Utils.cs#L60

Possible null reference return.

Run ESDK-NET @ v4.0.0 Valid Vectors expect success: AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs#L63

Dereference of a possibly null reference.

Run ESDK-NET @ v4.0.0 Valid Vectors expect success: AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs#L66

Converting null literal or possible null value to non-nullable type.

Run ESDK-NET @ v4.0.0 Valid Vectors expect success: AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs#L67

Possible null reference argument for parameter 'key' in 'IKeyring MaterialProviderFactory.CreateKeyring(MasterKey keyInfo, Key key, CryptoOperation operation)'.

Run ESDK-NET @ v4.0.0 Valid Vectors expect success: AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs#L110

Possible null reference argument for parameter 'key' in 'Key Dictionary<string, Key>.this[string key]'.

Run ESDK-NET @ v4.0.0 Valid Vectors expect success: AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs#L117

Possible null reference argument for parameter 'key' in 'Key Dictionary<string, Key>.this[string key]'.

Run ESDK-NET @ v4.0.0 Valid Vectors expect success: AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs#L149

Converting null literal or possible null value to non-nullable type.

Run ESDK-NET @ v4.0.0 Valid Vectors expect success: AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs#L154

Converting null literal or possible null value to non-nullable type.

Run ESDK-NET @ v4.0.0 Valid Vectors expect success: AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs#L232

Possible null reference argument for parameter 'strAlg' in 'PaddingScheme MaterialProviderFactory.RSAPaddingFromStrings(string strAlg, string strHash)'.

Run ESDK-NET @ v4.0.0 Valid Vectors expect success: AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs#L232

Possible null reference argument for parameter 'strHash' in 'PaddingScheme MaterialProviderFactory.RSAPaddingFromStrings(string strAlg, string strHash)'.

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected