Vulnerability found with Solidity 0.7 but not 0.8

[TheresaBo]

I am testing Mythril on the vulnerability of unchecked return values of low-level calls (SWC-104) and several Solidity versions.
In the following contract Mythril detects the vulnerability with Solidity version 0.7.6. In the exact same contract but version 0.8.29 it doesn't. I've used Mythril version 0.24.7 in sourcecode mode and bytecode mode.
I've encountered this behaviour also with the constructs staticcall and delegatecall in similarly designed contracts.

What is the reason or motivation behind this?
Thank you for the help!

pragma solidity 0.7.6;

contract Contract_100 {
    constructor() public {
    }
    function test(address callAddress) public {
        callAddress.call(abi.encodeWithSignature("foo()"));
    }
}

[gsalzer]

I confirm this observation.

• Compiled with solc 0.7.6, mythril 0.24.8 reports SWC104 (unchecked return value) and SWC107 (call to user-supplied address), which seems reasonable.
• Compiled with solc 0.8.29, mythril 0.24.8 only reports SWC110 (exception state), which seems spurious, as there aren't any asserts (neither explicitly nor implicitly). In fact, when deploying the contract in Remix and calling the function with the address 0x0 as proposed by mythril, no assertion is triggered, but the transaction terminates successfully.

The results are the same irrespective of whether analyzing source code, deployment code (-f) or runtime code (--bin-runtime -f).