hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-22 03:36:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: add QLDoc to side effect functions

Browse Source
This commit is contained in:
Robert Marsh
2019-09-19 14:35:07 -07:00
parent 8649978a43
commit fcfc11052a
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
cpp/ql/src/semmle/code/cpp/models/interfaces/SideEffect.qll
View File

@@ -29,12 +29,24 @@ abstract class SideEffectFunction extends Function {
*/ */
abstract predicate hasOnlySpecificWriteSideEffects(); abstract predicate hasOnlySpecificWriteSideEffects();
/**
* Holds if the value pointed to by the parameter at index `i` is written to. `buffer` is true
* if the write may be at an offset. `mustWrite` is true if the write is unconditional.
*/
predicate hasSpecificWriteSideEffect(ParameterIndex i, boolean buffer, boolean mustWrite) { predicate hasSpecificWriteSideEffect(ParameterIndex i, boolean buffer, boolean mustWrite) {
none() none()
} }
/**
* Holds if the value pointed to by the parameter at index `i` is read from. `buffer` is true
* if the read may be at an offset.
*/
predicate hasSpecificReadSideEffect(ParameterIndex i, boolean buffer) { none() } predicate hasSpecificReadSideEffect(ParameterIndex i, boolean buffer) { none() }
// TODO: name? // TODO: name?
/**
* Gets the index of the parameter that indicates the size of the buffer pointed to by the
* parameter at index `i`.
*/
ParameterIndex getParameterSizeIndex(ParameterIndex i) { none() } ParameterIndex getParameterSizeIndex(ParameterIndex i) { none() }
} }