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 {
125
125
* The sources are the parameters of an API and the sinks are the return values (excluding `this`) and parameters.
126
126
*
127
127
* 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
- * ```
138
128
*/
139
129
private class ThroughFlowConfig extends TaintTracking:: Configuration {
140
130
ThroughFlowConfig ( ) { this = "ThroughFlowConfig" }
Original file line number Diff line number Diff line change @@ -125,16 +125,6 @@ private class TaintStore extends DataFlow::FlowState {
125
125
* The sources are the parameters of an API and the sinks are the return values (excluding `this`) and parameters.
126
126
*
127
127
* 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
- * ```
138
128
*/
139
129
private class ThroughFlowConfig extends TaintTracking:: Configuration {
140
130
ThroughFlowConfig ( ) { this = "ThroughFlowConfig" }
You can’t perform that action at this time.
0 commit comments