Merge pull request #12275 from jketema/uniform-ssa

Make "Detecting a potential buffer overflow" example more uniform
This commit is contained in:
Mathias Vorreiter Pedersen
2023-02-27 14:38:11 +00:00
committed by GitHub

View File

@@ -204,6 +204,7 @@ The completed query will now identify cases where the result of ``strlen`` is st
.. code-block:: ql
import cpp
import semmle.code.cpp.controlflow.SSA
class MallocCall extends FunctionCall
{