Dafny Nightly #784
Annotations
2 errors and 44 warnings
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET 6.0 expect failure
Process completed with exit code 1.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET 48 expect failure
Process completed with exit code 1.
|
|
Run ESDK-NET @ v4.0.1 Vectors expect success
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.1 Vectors expect success
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.1 Vectors expect success
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET expect Success
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET expect Success
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET expect Success
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET 6.0 expect failure
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET 6.0 expect failure
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET 48 expect failure
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
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#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#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#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#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#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#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#L63
Dereference of a possibly null reference.
|
|
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
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Test Examples on .NET net6.0:
AwsEncryptionSDK/runtimes/net/Examples/NetV4_0_0Example.cs#L119
The variable 'ex' is declared but never used
|
|
Test Examples on .NET net6.0:
AwsEncryptionSDK/runtimes/net/Examples/LimitEncryptedDataKeysExample.cs#L118
The variable 'ignore' is declared but never used
|
|
Test Examples on .NET Framework net48:
AwsEncryptionSDK/runtimes/net/Examples/LimitEncryptedDataKeysExample.cs#L118
The variable 'ignore' is declared but never used
|
|
Test Examples on .NET Framework net48:
AwsEncryptionSDK/runtimes/net/Examples/NetV4_0_0Example.cs#L119
The variable 'ex' is declared but never used
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17007
Unreachable code detected
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17359
Unreachable code detected
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17341
Unreachable code detected
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
Test .NET net6.0
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Test .NET net6.0
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Test .NET Framework net48:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17007
Unreachable code detected
|
|
Test .NET Framework net48:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17774
Unreachable code detected
|
|
Test .NET Framework net48:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17217
Unreachable code detected
|
|
Test .NET Framework net48:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17176
Unreachable code detected
|
|
Test .NET Framework net48:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
|
|
Test .NET Framework net48:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
|
|
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/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
Test .NET Framework net48:
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
Test .NET Framework net48
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Compile MPL with Dafny 4.9.0
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
Loading