Skip to content

Commit a8ffb4f

Browse files
committed
C++: Add a definition of taint to the models library.
1 parent 2cd988d commit a8ffb4f

File tree

1 file changed

+3
-0
lines changed
  • cpp/ql/src/semmle/code/cpp/models/interfaces

1 file changed

+3
-0
lines changed

cpp/ql/src/semmle/code/cpp/models/interfaces/Taint.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,9 @@ import semmle.code.cpp.models.Models
1414
/**
1515
* A library function for which a taint-tracking library should propagate taint
1616
* from a parameter or qualifier to an output buffer, return value, or qualifier.
17+
*
18+
* An expression is tainted if it could be influenced by an attacker to have
19+
* an unusual value.
1720
*
1821
* Note that this does not include direct copying of values; that is covered by
1922
* DataFlowModel.qll

0 commit comments

Comments
 (0)