hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 13:15:21 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Remove INTERNAL from qldoc now that the Pure model implementations are private.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-11-25 21:07:47 +01:00
parent 7730f5dfcf
commit c595baf1e3
1 changed files with 3 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
cpp/ql/src/semmle/code/cpp/models/implementations/Pure.qll
View File

@@ -3,11 +3,7 @@ import semmle.code.cpp.models.interfaces.Taint
import semmle.code.cpp.models.interfaces.Alias
import semmle.code.cpp.models.interfaces.SideEffect
/**
* Pure string functions.
*
* INTERNAL: do not use.
*/
/** Pure string functions. */
private class PureStrFunction extends AliasFunction, ArrayFunction, TaintFunction,
SideEffectFunction {
PureStrFunction() {
@@ -64,11 +60,7 @@ private class PureStrFunction extends AliasFunction, ArrayFunction, TaintFunctio
}
}
/**
* String standard `strlen` function, and related functions for computing string lengths.
*
* INTERNAL: do not use.
*/
/** String standard `strlen` function, and related functions for computing string lengths. */
private class StrLenFunction extends AliasFunction, ArrayFunction, SideEffectFunction {
StrLenFunction() {
hasGlobalOrStdName(["strlen", "strnlen", "wcslen"])
@@ -119,11 +111,7 @@ private class PureFunction extends TaintFunction, SideEffectFunction {
override predicate hasOnlySpecificWriteSideEffects() { any() }
}
/**
* Pure raw-memory functions.
*
* INTERNAL: do not use.
*/
/** Pure raw-memory functions. */
private class PureMemFunction extends AliasFunction, ArrayFunction, TaintFunction,
SideEffectFunction {
PureMemFunction() { hasGlobalOrStdName(["memchr", "memrchr", "rawmemchr", "memcmp", "memmem"]) }