add known solc bugs, remove allowed versions, improve formatting

scripts/update_buggy_versions.py

@@ -0,0 +1,25 @@
+import json
+from pathlib import Path
+import urllib.request
+
+
+def retrieve_json(url):
+    with urllib.request.urlopen(url) as response:
+        data = response.read().decode("utf-8")
+        return json.loads(data)
+
+
+def organize_data(json_data):
+    version_bugs = {}
+    for version, info in json_data.items():
+        version_bugs[version] = info["bugs"]
+    return version_bugs
+
+
+if __name__ == "__main__":
+    url = "https://raw.githubusercontent.com/ethereum/solidity/develop/docs/bugs_by_version.json"
+    json_data = retrieve_json(url)
+    version_bugs = organize_data(json_data)
+
+    with open(Path.cwd() / Path("slither/utils/buggy_versions.py"), "w") as file:
+        file.write(f"bugs_by_version = {version_bugs}")

slither/detectors/attributes/constant_pragma.py

@@ -1,6 +1,7 @@
 """
     Check that the same pragma is used in all the files
 """
+from collections import OrderedDict
 from typing import List, Dict
 
 from slither.core.compilation_unit import SlitherCompilationUnit
@@ -31,16 +32,25 @@ class ConstantPragma(AbstractDetector):
 
     def _detect(self) -> List[Output]:
         results = []
-        pragma = self.compilation_unit.pragma_directives
-        versions = [p.version for p in pragma if p.is_solidity_version]
-        versions = sorted(list(set(versions)))
-
+        pragma_directives_by_version = OrderedDict()
+        for pragma in self.compilation_unit.pragma_directives:
+            if pragma.is_solidity_version:
+                if pragma.version not in pragma_directives_by_version:
+                    pragma_directives_by_version[
+                        pragma.version
+                    ] = f"\t\t- {str(pragma.source_mapping)}\n"
+                else:
+                    pragma_directives_by_version[
+                        pragma.version
+                    ] += f"\t\t- {str(pragma.source_mapping)}\n"
+
+        versions = list(pragma_directives_by_version.keys())
         if len(versions) > 1:
-            info: DETECTOR_INFO = ["Different versions of Solidity are used:\n"]
-            info += [f"\t- Version used: {[str(v) for v in versions]}\n"]
+            info: DETECTOR_INFO = [f"{len(versions)} different versions of Solidity are used:\n"]
 
-            for p in sorted(pragma, key=lambda x: x.version):
-                info += ["\t- ", p, "\n"]
+            for version in versions:
+                pragma = pragma_directives_by_version[version]
+                info += [f"\t- Version constraint {version} is used by:\n {pragma}"]
 
             res = self.generate_result(info)
 

slither/detectors/attributes/incorrect_solc.py

@@ -12,6 +12,7 @@ from slither.detectors.abstract_detector import (
 )
 from slither.formatters.attributes.incorrect_solc import custom_format
 from slither.utils.output import Output
+from slither.utils.buggy_versions import bugs_by_version
 
 # group:
 # 0: ^ > >= < <= (optional)
@@ -46,64 +47,36 @@ We also recommend avoiding complex `pragma` statement."""
 
     # region wiki_recommendation
     WIKI_RECOMMENDATION = """
-Deploy with any of the following Solidity versions:
-- 0.8.18
-
-The recommendations take into account:
-- Risks related to recent releases
-- Risks of complex code generation changes
-- Risks of new language features
-- Risks of known bugs
+Deploy with a recent version of Solidity (at least 0.8.0) with no known severe issues.
 
 Use a simple pragma version that allows any of these versions.
 Consider using the latest version of Solidity for testing."""
     # endregion wiki_recommendation
 
     COMPLEX_PRAGMA_TXT = "is too complex"
-    OLD_VERSION_TXT = "allows old versions"
+    OLD_VERSION_TXT = (
+        "is an outdated solc version. Use a more recent version (at least 0.8.0), if possible."
+    )
     LESS_THAN_TXT = "uses lesser than"
 
     BUGGY_VERSION_TXT = (
-        "is known to contain severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)"
+        "contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)"
     )
 
     # Indicates the allowed versions. Must be formatted in increasing order.
-    ALLOWED_VERSIONS = ["0.8.18"]
-
-    TOO_RECENT_VERSION_TXT = f"necessitates a version too recent to be trusted. Consider deploying with {'/'.join(ALLOWED_VERSIONS)}."
-
-    # Indicates the versions that should not be used.
-    BUGGY_VERSIONS = [
-        "0.4.22",
-        "^0.4.22",
-        "0.5.5",
-        "^0.5.5",
-        "0.5.6",
-        "^0.5.6",
-        "0.5.14",
-        "^0.5.14",
-        "0.6.9",
-        "^0.6.9",
-        "0.8.8",
-        "^0.8.8",
-    ]
+    ALLOWED_VERSIONS = ["0.8.0"]
 
     def _check_version(self, version: Tuple[str, str, str, str, str]) -> Optional[str]:
         op = version[0]
         if op and op not in [">", ">=", "^"]:
             return self.LESS_THAN_TXT
         version_number = ".".join(version[2:])
-        if version_number in self.BUGGY_VERSIONS:
-            return self.BUGGY_VERSION_TXT
-        if version_number not in self.ALLOWED_VERSIONS:
-            if list(map(int, version[2:])) > list(map(int, self.ALLOWED_VERSIONS[-1].split("."))):
-                return self.TOO_RECENT_VERSION_TXT
-            return self.OLD_VERSION_TXT
+        if version_number in bugs_by_version:
+            bugs = "\n".join([f"\t- {bug}" for bug in bugs_by_version[version_number]])
+            return self.BUGGY_VERSION_TXT + f"\n{bugs}"
         return None
 
     def _check_pragma(self, version: str) -> Optional[str]:
-        if version in self.BUGGY_VERSIONS:
-            return self.BUGGY_VERSION_TXT
         versions = PATTERN.findall(version)
         if len(versions) == 1:
             version = versions[0]
@@ -130,41 +103,42 @@ Consider using the latest version of Solidity for testing."""
         # Detect all version related pragmas and check if they are disallowed.
         results = []
         pragma = self.compilation_unit.pragma_directives
-        disallowed_pragmas = []
+        disallowed_pragmas = {}
 
         for p in pragma:
             # Skip any pragma directives which do not refer to version
             if len(p.directive) < 1 or p.directive[0] != "solidity":
                 continue
 
-            # This is version, so we test if this is disallowed.
             reason = self._check_pragma(p.version)
-            if reason:
-                disallowed_pragmas.append((reason, p))
+            if reason is None:
+                continue
+
+            if p.version in disallowed_pragmas and reason in disallowed_pragmas[p.version]:
+                disallowed_pragmas[p.version][reason] += f"\t- {str(p.source_mapping)}\n"
+            else:
+                disallowed_pragmas[p.version] = {reason: f"\t- {str(p.source_mapping)}\n"}
 
         # If we found any disallowed pragmas, we output our findings.
-        if disallowed_pragmas:
-            for (reason, p) in disallowed_pragmas:
-                info: DETECTOR_INFO = ["Pragma version", p, f" {reason}\n"]
+        if len(disallowed_pragmas.keys()):
+            for p, reasons in disallowed_pragmas.items():
+                info: DETECTOR_INFO = []
+                for r, v in reasons.items():
+                    info += [f"Version constraint {p} {r}.\n It is used by:\n{v}"]
 
                 json = self.generate_result(info)
 
                 results.append(json)
 
-        if self.compilation_unit.solc_version not in self.ALLOWED_VERSIONS:
-
-            if self.compilation_unit.solc_version in self.BUGGY_VERSIONS:
+        if list(map(int, self.compilation_unit.solc_version.split("."))) < list(
+            map(int, self.ALLOWED_VERSIONS[-1].split("."))
+        ):
             info = [
                 "solc-",
                 self.compilation_unit.solc_version,
                 " ",
-                    self.BUGGY_VERSION_TXT,
-                ]
-            else:
-                info = [
-                    "solc-",
-                    self.compilation_unit.solc_version,
-                    " is not recommended for deployment\n",
+                self.OLD_VERSION_TXT,
+                "\n",
             ]
 
             json = self.generate_result(info)

tests/e2e/detectors/snapshots/detectors__detector_ConstantPragma_0_4_25_pragma_0_4_25_sol__0.txt

@@ -1,5 +1,6 @@
-Different versions of Solidity are used:
-	- Version used: ['^0.4.24', '^0.4.25']
-	- ^0.4.24 (tests/e2e/detectors/test_data/pragma/0.4.25/pragma.0.4.24.sol#1)
-	- ^0.4.25 (tests/e2e/detectors/test_data/pragma/0.4.25/pragma.0.4.25.sol#1)
+2 different versions of Solidity are used:
+	- Version constraint ^0.4.25 is used by:
+ 		- tests/e2e/detectors/test_data/pragma/0.4.25/pragma.0.4.25.sol#1
+	- Version constraint ^0.4.24 is used by:
+ 		- tests/e2e/detectors/test_data/pragma/0.4.25/pragma.0.4.24.sol#1
 

tests/e2e/detectors/snapshots/detectors__detector_ConstantPragma_0_5_16_pragma_0_5_16_sol__0.txt

@@ -1,5 +1,6 @@
-Different versions of Solidity are used:
-	- Version used: ['^0.5.15', '^0.5.16']
-	- ^0.5.15 (tests/e2e/detectors/test_data/pragma/0.5.16/pragma.0.5.15.sol#1)
-	- ^0.5.16 (tests/e2e/detectors/test_data/pragma/0.5.16/pragma.0.5.16.sol#1)
+2 different versions of Solidity are used:
+	- Version constraint ^0.5.16 is used by:
+ 		- tests/e2e/detectors/test_data/pragma/0.5.16/pragma.0.5.16.sol#1
+	- Version constraint ^0.5.15 is used by:
+ 		- tests/e2e/detectors/test_data/pragma/0.5.16/pragma.0.5.15.sol#1
 

tests/e2e/detectors/snapshots/detectors__detector_ConstantPragma_0_6_11_pragma_0_6_11_sol__0.txt

@@ -1,5 +1,6 @@
-Different versions of Solidity are used:
-	- Version used: ['^0.6.10', '^0.6.11']
-	- ^0.6.10 (tests/e2e/detectors/test_data/pragma/0.6.11/pragma.0.6.10.sol#1)
-	- ^0.6.11 (tests/e2e/detectors/test_data/pragma/0.6.11/pragma.0.6.11.sol#1)
+2 different versions of Solidity are used:
+	- Version constraint ^0.6.11 is used by:
+ 		- tests/e2e/detectors/test_data/pragma/0.6.11/pragma.0.6.11.sol#1
+	- Version constraint ^0.6.10 is used by:
+ 		- tests/e2e/detectors/test_data/pragma/0.6.11/pragma.0.6.10.sol#1
 

tests/e2e/detectors/snapshots/detectors__detector_ConstantPragma_0_7_6_pragma_0_7_6_sol__0.txt

@@ -1,5 +1,6 @@
-Different versions of Solidity are used:
-	- Version used: ['^0.7.5', '^0.7.6']
-	- ^0.7.5 (tests/e2e/detectors/test_data/pragma/0.7.6/pragma.0.7.5.sol#1)
-	- ^0.7.6 (tests/e2e/detectors/test_data/pragma/0.7.6/pragma.0.7.6.sol#1)
+2 different versions of Solidity are used:
+	- Version constraint ^0.7.6 is used by:
+ 		- tests/e2e/detectors/test_data/pragma/0.7.6/pragma.0.7.6.sol#1
+	- Version constraint ^0.7.5 is used by:
+ 		- tests/e2e/detectors/test_data/pragma/0.7.6/pragma.0.7.5.sol#1
 

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_4_25_static_sol__0.txt

@@ -1,4 +1,21 @@
-solc-0.4.25 is not recommended for deployment
+Version constraint 0.4.25 contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+	- DirtyBytesArrayToStorage
+	- ABIDecodeTwoDimensionalArrayMemory
+	- KeccakCaching
+	- EmptyByteArrayCopy
+	- DynamicArrayCleanup
+	- ImplicitConstructorCallvalueCheck
+	- TupleAssignmentMultiStackSlotComponents
+	- MemoryArrayCreationOverflow
+	- privateCanBeOverridden
+	- SignedArrayStorageCopy
+	- ABIEncoderV2StorageArrayWithMultiSlotElement
+	- DynamicConstructorArgumentsClippedABIV2
+	- UninitializedFunctionPointerInConstructor_0.4.x
+	- IncorrectEventSignatureInLibraries_0.4.x
+	- ABIEncoderV2PackedStorage_0.4.x.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.4.25/static.sol#1
 
-Pragma version0.4.25 (tests/e2e/detectors/test_data/solc-version/0.4.25/static.sol#1) allows old versions
+solc-0.4.25 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
 

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_5_14_static_sol__0.txt

@@ -1,3 +1,20 @@
-Pragma version0.5.14 (tests/e2e/detectors/test_data/solc-version/0.5.14/static.sol#1) is known to contain severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+Version constraint 0.5.14 contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+	- AbiReencodingHeadOverflowWithStaticArrayCleanup
+	- DirtyBytesArrayToStorage
+	- NestedCalldataArrayAbiReencodingSizeValidation
+	- ABIDecodeTwoDimensionalArrayMemory
+	- KeccakCaching
+	- EmptyByteArrayCopy
+	- DynamicArrayCleanup
+	- MissingEscapingInFormatting
+	- ImplicitConstructorCallvalueCheck
+	- TupleAssignmentMultiStackSlotComponents
+	- MemoryArrayCreationOverflow
+	- privateCanBeOverridden
+	- YulOptimizerRedundantAssignmentBreakContinue0.5
+	- ABIEncoderV2LoopYulOptimizer.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.5.14/static.sol#1
+
+solc-0.5.14 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
 
-solc-0.5.14 is known to contain severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_5_16_dynamic_1_sol__0.txt

@@ -1,4 +1,19 @@
-Pragma version^0.5.15 (tests/e2e/detectors/test_data/solc-version/0.5.16/dynamic_1.sol#1) allows old versions
+Version constraint ^0.5.15 contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+	- AbiReencodingHeadOverflowWithStaticArrayCleanup
+	- DirtyBytesArrayToStorage
+	- NestedCalldataArrayAbiReencodingSizeValidation
+	- ABIDecodeTwoDimensionalArrayMemory
+	- KeccakCaching
+	- EmptyByteArrayCopy
+	- DynamicArrayCleanup
+	- MissingEscapingInFormatting
+	- ImplicitConstructorCallvalueCheck
+	- TupleAssignmentMultiStackSlotComponents
+	- MemoryArrayCreationOverflow
+	- privateCanBeOverridden
+	- YulOptimizerRedundantAssignmentBreakContinue0.5.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.5.16/dynamic_1.sol#1
 
-solc-0.5.16 is not recommended for deployment
+solc-0.5.16 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
 

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_5_16_dynamic_2_sol__0.txt

@@ -1,4 +1,21 @@
-Pragma version>=0.5.0<0.6.0 (tests/e2e/detectors/test_data/solc-version/0.5.16/dynamic_2.sol#1) allows old versions
+Version constraint >=0.5.0<0.6.0 contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+	- DirtyBytesArrayToStorage
+	- ABIDecodeTwoDimensionalArrayMemory
+	- KeccakCaching
+	- EmptyByteArrayCopy
+	- DynamicArrayCleanup
+	- ImplicitConstructorCallvalueCheck
+	- TupleAssignmentMultiStackSlotComponents
+	- MemoryArrayCreationOverflow
+	- privateCanBeOverridden
+	- SignedArrayStorageCopy
+	- ABIEncoderV2StorageArrayWithMultiSlotElement
+	- DynamicConstructorArgumentsClippedABIV2
+	- UninitializedFunctionPointerInConstructor
+	- IncorrectEventSignatureInLibraries
+	- ABIEncoderV2PackedStorage.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.5.16/dynamic_2.sol#1
 
-solc-0.5.16 is not recommended for deployment
+solc-0.5.16 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
 

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_5_16_static_sol__0.txt

@@ -1,4 +1,18 @@
-solc-0.5.16 is not recommended for deployment
+Version constraint 0.5.16 contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+	- AbiReencodingHeadOverflowWithStaticArrayCleanup
+	- DirtyBytesArrayToStorage
+	- NestedCalldataArrayAbiReencodingSizeValidation
+	- ABIDecodeTwoDimensionalArrayMemory
+	- KeccakCaching
+	- EmptyByteArrayCopy
+	- DynamicArrayCleanup
+	- MissingEscapingInFormatting
+	- ImplicitConstructorCallvalueCheck
+	- TupleAssignmentMultiStackSlotComponents
+	- MemoryArrayCreationOverflow
+	- privateCanBeOverridden.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.5.16/static.sol#1
 
-Pragma version0.5.16 (tests/e2e/detectors/test_data/solc-version/0.5.16/static.sol#1) allows old versions
+solc-0.5.16 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
 

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_6_10_static_sol__0.txt

@@ -1,4 +1,17 @@
-solc-0.6.10 is not recommended for deployment
+solc-0.6.10 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
 
-Pragma version0.6.10 (tests/e2e/detectors/test_data/solc-version/0.6.10/static.sol#1) allows old versions
+Version constraint 0.6.10 contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+	- FullInlinerNonExpressionSplitArgumentEvaluationOrder
+	- MissingSideEffectsOnSelectorAccess
+	- AbiReencodingHeadOverflowWithStaticArrayCleanup
+	- DirtyBytesArrayToStorage
+	- DataLocationChangeInInternalOverride
+	- NestedCalldataArrayAbiReencodingSizeValidation
+	- SignedImmutables
+	- ABIDecodeTwoDimensionalArrayMemory
+	- KeccakCaching
+	- EmptyByteArrayCopy
+	- DynamicArrayCleanup.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.6.10/static.sol#1
 

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_6_11_dynamic_1_sol__0.txt

@@ -1,4 +1,17 @@
-solc-0.6.11 is not recommended for deployment
+Version constraint ^0.6.10 contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+	- FullInlinerNonExpressionSplitArgumentEvaluationOrder
+	- MissingSideEffectsOnSelectorAccess
+	- AbiReencodingHeadOverflowWithStaticArrayCleanup
+	- DirtyBytesArrayToStorage
+	- DataLocationChangeInInternalOverride
+	- NestedCalldataArrayAbiReencodingSizeValidation
+	- SignedImmutables
+	- ABIDecodeTwoDimensionalArrayMemory
+	- KeccakCaching
+	- EmptyByteArrayCopy
+	- DynamicArrayCleanup.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.6.11/dynamic_1.sol#1
 
-Pragma version^0.6.10 (tests/e2e/detectors/test_data/solc-version/0.6.11/dynamic_1.sol#1) allows old versions
+solc-0.6.11 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
 

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_6_11_dynamic_2_sol__0.txt

@@ -1,4 +1,19 @@
-Pragma version>=0.6.0<0.7.0 (tests/e2e/detectors/test_data/solc-version/0.6.11/dynamic_2.sol#1) allows old versions
+Version constraint >=0.6.0<0.7.0 contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+	- AbiReencodingHeadOverflowWithStaticArrayCleanup
+	- DirtyBytesArrayToStorage
+	- NestedCalldataArrayAbiReencodingSizeValidation
+	- ABIDecodeTwoDimensionalArrayMemory
+	- KeccakCaching
+	- EmptyByteArrayCopy
+	- DynamicArrayCleanup
+	- MissingEscapingInFormatting
+	- ArraySliceDynamicallyEncodedBaseType
+	- ImplicitConstructorCallvalueCheck
+	- TupleAssignmentMultiStackSlotComponents
+	- MemoryArrayCreationOverflow
+	- YulOptimizerRedundantAssignmentBreakContinue.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.6.11/dynamic_2.sol#1
 
-solc-0.6.11 is not recommended for deployment
+solc-0.6.11 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
 

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_6_11_static_sol__0.txt

@@ -1,4 +1,17 @@
-Pragma version0.6.11 (tests/e2e/detectors/test_data/solc-version/0.6.11/static.sol#1) allows old versions
+Version constraint 0.6.11 contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+	- FullInlinerNonExpressionSplitArgumentEvaluationOrder
+	- MissingSideEffectsOnSelectorAccess
+	- AbiReencodingHeadOverflowWithStaticArrayCleanup
+	- DirtyBytesArrayToStorage
+	- DataLocationChangeInInternalOverride
+	- NestedCalldataArrayAbiReencodingSizeValidation
+	- SignedImmutables
+	- ABIDecodeTwoDimensionalArrayMemory
+	- KeccakCaching
+	- EmptyByteArrayCopy
+	- DynamicArrayCleanup.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.6.11/static.sol#1
 
-solc-0.6.11 is not recommended for deployment
+solc-0.6.11 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
 

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_7_4_static_sol__0.txt

@@ -1,4 +1,15 @@
-Pragma version0.7.4 (tests/e2e/detectors/test_data/solc-version/0.7.4/static.sol#1) allows old versions
+Version constraint 0.7.4 contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+	- FullInlinerNonExpressionSplitArgumentEvaluationOrder
+	- MissingSideEffectsOnSelectorAccess
+	- AbiReencodingHeadOverflowWithStaticArrayCleanup
+	- DirtyBytesArrayToStorage
+	- DataLocationChangeInInternalOverride
+	- NestedCalldataArrayAbiReencodingSizeValidation
+	- SignedImmutables
+	- ABIDecodeTwoDimensionalArrayMemory
+	- KeccakCaching.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.7.4/static.sol#1
 
-solc-0.7.4 is not recommended for deployment
+solc-0.7.4 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
 

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_7_6_dynamic_1_sol__0.txt

@@ -1,4 +1,15 @@
-Pragma version^0.7.4 (tests/e2e/detectors/test_data/solc-version/0.7.6/dynamic_1.sol#1) allows old versions
+solc-0.7.6 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
 
-solc-0.7.6 is not recommended for deployment
+Version constraint ^0.7.4 contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+	- FullInlinerNonExpressionSplitArgumentEvaluationOrder
+	- MissingSideEffectsOnSelectorAccess
+	- AbiReencodingHeadOverflowWithStaticArrayCleanup
+	- DirtyBytesArrayToStorage
+	- DataLocationChangeInInternalOverride
+	- NestedCalldataArrayAbiReencodingSizeValidation
+	- SignedImmutables
+	- ABIDecodeTwoDimensionalArrayMemory
+	- KeccakCaching.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.7.6/dynamic_1.sol#1
 

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_7_6_dynamic_2_sol__0.txt

@@ -1,4 +1,6 @@
-Pragma version>=0.7.0<=0.7.6 (tests/e2e/detectors/test_data/solc-version/0.7.6/dynamic_2.sol#1) is too complex
+Version constraint >=0.7.0<=0.7.6 is too complex.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.7.6/dynamic_2.sol#1
 
-solc-0.7.6 is not recommended for deployment
+solc-0.7.6 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
 

tests/e2e/detectors/snapshots/detectors__detector_IncorrectSolc_0_7_6_static_sol__0.txt

@@ -1,4 +1,15 @@
-Pragma version0.7.6 (tests/e2e/detectors/test_data/solc-version/0.7.6/static.sol#1) allows old versions
+Version constraint 0.7.6 contain known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
+	- FullInlinerNonExpressionSplitArgumentEvaluationOrder
+	- MissingSideEffectsOnSelectorAccess
+	- AbiReencodingHeadOverflowWithStaticArrayCleanup
+	- DirtyBytesArrayToStorage
+	- DataLocationChangeInInternalOverride
+	- NestedCalldataArrayAbiReencodingSizeValidation
+	- SignedImmutables
+	- ABIDecodeTwoDimensionalArrayMemory
+	- KeccakCaching.
+ It is used by:
+	- tests/e2e/detectors/test_data/solc-version/0.7.6/static.sol#1
 
-solc-0.7.6 is not recommended for deployment
+solc-0.7.6 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.