René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"`CON51-CPP`:  Falsely reports potential leaks of std::lock_guard","articleBody":"### Affected rules\n - 'CON51-CPP'\n\n### Description\n\nThe description of CON51-CPP recommends that users use `std::lock_guard` to avoid leaking locked mutexes when an exception occurs. However, it seems that this rule was likely implemented before we supported `std::lock_guard` in our `LockProtectedControlFlowNode` class, and it assumes all locks require a catch block. Most likely, we later added support for std::lock_guard and didn't update this rule to allow `LockProtectedControlFlowNode`s without catch blocks when the lock cannot leak.\n\n### Example\n\n```cpp\nvoid example_function(std::mutex\u0026 m) {\n  std::lock_guard\u003cstd::mutex\u003e lg(m);\n\n  // alert is falsely reported that this function requires a catch block to unlock lg.\n  return;\n}\n```\n","author":{"url":"https://github.com/MichaelRFairhurst","@type":"Person","name":"MichaelRFairhurst"},"datePublished":"2025-11-19T23:55:10.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/972/codeql-coding-standards/issues/972"}