File tree Expand file tree Collapse file tree 2 files changed +0
-20
lines changed
csharp/ql/src/utils/model-generator/internal
java/ql/src/utils/model-generator/internal Expand file tree Collapse file tree 2 files changed +0
-20
lines changed Original file line number Diff line number Diff line change @@ -125,16 +125,6 @@ private class TaintStore extends DataFlow::FlowState {
125125 * The sources are the parameters of an API and the sinks are the return values (excluding `this`) and parameters.
126126 *
127127 * This can be used to generate Flow summaries for APIs from parameter to return.
128- *
129- * * We track at most two reads and at most two stores, meaning flow paths of the form
130- *
131- * ```
132- * parameter --value -->* node --read -->?
133- * node --taint -->* node --read -->?
134- * node --taint -->* node --store -->?
135- * node --taint -->* node --store -->?
136- * node --taint-->* return
137- * ```
138128 */
139129private class ThroughFlowConfig extends TaintTracking:: Configuration {
140130 ThroughFlowConfig ( ) { this = "ThroughFlowConfig" }
Original file line number Diff line number Diff line change @@ -125,16 +125,6 @@ private class TaintStore extends DataFlow::FlowState {
125125 * The sources are the parameters of an API and the sinks are the return values (excluding `this`) and parameters.
126126 *
127127 * This can be used to generate Flow summaries for APIs from parameter to return.
128- *
129- * * We track at most two reads and at most two stores, meaning flow paths of the form
130- *
131- * ```
132- * parameter --value -->* node --read -->?
133- * node --taint -->* node --read -->?
134- * node --taint -->* node --store -->?
135- * node --taint -->* node --store -->?
136- * node --taint-->* return
137- * ```
138128 */
139129private class ThroughFlowConfig extends TaintTracking:: Configuration {
140130 ThroughFlowConfig ( ) { this = "ThroughFlowConfig" }
You can’t perform that action at this time.
0 commit comments