The return value of .call() is recorded but never acctually checked in the execute( ) function in UTBExecutor.sol does not accutally check, Line 70

[c4-bot-4]

Lines of code

https://github.com/code-423n4/2024-01-decent/blob/07ef78215e3d246d47a410651906287c6acec3ef/src/UTBExecutor.sol#L70

Vulnerability details

Impact

The return value of .call() is recorded but never acctually checked in the execute( ) function in UTBExecutor.sol does not accutally check, Line 70
Although the function record the return value (the variable 'success' at https://github.com/code-423n4/2024-01-decent/blob/07ef78215e3d246d47a410651906287c6acec3ef/src/UTBExecutor.sol#L70) ,it does not actually check whether it is False.
So this call can fail silently

Proof of Concept

https://github.com/code-423n4/2024-01-decent/blob/07ef78215e3d246d47a410651906287c6acec3ef/src/UTBExecutor.sol#L70

Tools Used

Manual Analysis

Recommended Mitigation Steps

Check the return value after the call at https://github.com/code-423n4/2024-01-decent/blob/07ef78215e3d246d47a410651906287c6acec3ef/src/UTBExecutor.sol#L70

Assessed type

call/delegatecall

[c4-pre-sort]

raymondfam marked the issue as insufficient quality report

[c4-pre-sort]

raymondfam marked the issue as duplicate of #70

[raymondfam]

Extremely insufficient proof to elicit what #70 does.

[c4-judge]

alex-ppg marked the issue as not a duplicate

[c4-judge]

alex-ppg marked the issue as duplicate of #641

[c4-judge]

alex-ppg marked the issue as unsatisfactory:
Invalid