Update ArrayInPlaceManipulationTaintStep documentation

This commit is contained in:
Napalys Klicius
2024-11-11 15:33:27 +01:00
committed by Napalys
parent ae57c12b15
commit 42f7f73ae1

View File

@@ -447,6 +447,7 @@ private module ArrayLibraries {
/**
* A taint propagating data flow edge arising from in-place array manipulation operations.
* The methods return the pointer to `this` array as well.
*/
private class ArrayInPlaceManipulationTaintStep extends TaintTracking::SharedTaintStep {
override predicate heapStep(DataFlow::Node pred, DataFlow::Node succ) {