Make "Detecting a potential buffer overflow" example more uniform

All queries that use SSA import `semmle.code.cpp.controlflow.SSA` explicitly,
except for the last one. Also import the library there. Note that this is not
strictly necessary, as the library is transitively imported via `import cpp`.
This commit is contained in:
Jeroen Ketema
2023-02-22 10:02:12 +01:00
parent dffb12070e
commit eb6c8480f8

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
{