From 8c67f54697a6926d4cec5db5d49878e912c63baf Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 19 Nov 2024 10:49:27 -0800 Subject: [PATCH] [minor] delete leftover .bak file Summary: It was just lounging around infer/tests/codetoanalyze/python/pulse/ from when the python tests got unplugged. Reviewed By: ngorogiannis Differential Revision: D66172194 fbshipit-source-id: a46f582f37b0dcebf2ab130bca6733ccdc505785 --- infer/tests/codetoanalyze/python/pulse/issues.exp.bak | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 infer/tests/codetoanalyze/python/pulse/issues.exp.bak diff --git a/infer/tests/codetoanalyze/python/pulse/issues.exp.bak b/infer/tests/codetoanalyze/python/pulse/issues.exp.bak deleted file mode 100644 index 333627fa37b..00000000000 --- a/infer/tests/codetoanalyze/python/pulse/issues.exp.bak +++ /dev/null @@ -1,11 +0,0 @@ -basic_object.py, basic_object.set_and_get_A_bad, 6, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value returned from `level1.taintSource` with kind `Simple`,value passed as argument `#0` to `level1.taintSink` with kind `Simple`], source: level1.taintSource, sink: level1.taintSink, tainted expression: tainted -basic_object.py, basic_object.set_and_get_B_bad, 6, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value returned from `level1.taintSource` with kind `Simple`,value passed as argument `#0` to `level1.taintSink` with kind `Simple`], source: level1.taintSource, sink: level1.taintSink, tainted expression: tainted -basic_object.py, basic_object.set_and_get_C_bad, 9, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value returned from `level1.taintSource` with kind `Simple`,value passed as argument `#0` to `level1.taintSink` with kind `Simple`], source: level1.taintSource, sink: level1.taintSink, tainted expression: tainted -level1.py, level1.basicFlowBad, 1, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value returned from `level1.taintSource` with kind `Simple`,value passed as argument `#0` to `level1.taintSink` with kind `Simple`], source: level1.taintSource, sink: level1.taintSink, tainted expression: tainted -level2.py, level2.$toplevel, 19, TAINT_ERROR, no_bucket, ERROR, [in call to `level2::C3$static.transformer`,source of the taint here: value returned from `level2::C1$static.taintSource` with kind `Simple`,return from call to `level2::C3$static.transformer`,value passed as argument `#0` to `level2::C2$static.taintSink` with kind `Simple`], source: level2::C1$static.taintSource, sink: level2::C2$static.taintSink, tainted expression: level2::C3$static.transformer() -level3.py, level3.flow_bad, 0, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value returned from `level3::C10.taintSource` with kind `Simple`,value passed as argument `#1` to `level3::C11.taintSink` with kind `Simple`], source: level3::C10.taintSource, sink: level3::C11.taintSink, tainted expression: level3::C10.taintSource() -level4.py, level4::C23.transformBad, 0, TAINT_ERROR, no_bucket, ERROR, [in call to `level4::C22.transform`,source of the taint here: value returned from `level4::C20$static.taintSource` with kind `Simple`,return from call to `level4::C22.transform`,value passed as argument `#0` to `level4::C20$static.taintSink` with kind `Simple`], source: level4::C20$static.taintSource, sink: level4::C20$static.taintSink, tainted expression: level4::C22.transform() -simple-import.py, simple-import.basicFlowBad, 1, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value returned from `level1.taintSource` with kind `Simple`,value passed as argument `#0` to `level1.taintSink` with kind `Simple`], source: level1.taintSource, sink: level1.taintSink, tainted expression: tainted -type_propagation.py, type_propagation.fromParamsBad, 0, TAINT_ERROR, no_bucket, ERROR, [in call to `type_propagation::A.getTainted`,source of the taint here: value returned from `level1.taintSource` with kind `Simple`,return from call to `type_propagation::A.getTainted`,value passed as argument `#0` to `level1.taintSink` with kind `Simple`], source: level1.taintSource, sink: level1.taintSink, tainted expression: type_propagation::A.getTainted() -type_propagation.py, type_propagation.fromPropertyThroughParamBad, 0, TAINT_ERROR, no_bucket, ERROR, [in call to `type_propagation::A.getTainted`,source of the taint here: value returned from `level1.taintSource` with kind `Simple`,return from call to `type_propagation::A.getTainted`,value passed as argument `#0` to `level1.taintSink` with kind `Simple`], source: level1.taintSource, sink: level1.taintSink, tainted expression: type_propagation::A.getTainted() -type_propagation.py, type_propagation.fromPropertyThroughNewBad, 1, TAINT_ERROR, no_bucket, ERROR, [in call to `type_propagation::A.getTainted`,source of the taint here: value returned from `level1.taintSource` with kind `Simple`,return from call to `type_propagation::A.getTainted`,value passed as argument `#0` to `level1.taintSink` with kind `Simple`], source: level1.taintSource, sink: level1.taintSink, tainted expression: type_propagation::A.getTainted()