dotnet/CSharpSourceGraphExtraction/GraphBuilders/VariableUseGraphBuilder.cs (6 lines): - line 153: //TODO: This should actually also handle things such as "break" (which doesn't pass through the condition): - line 163: //TODO: This should actually also handle things such as "break" (which doesn't pass through the condition): - line 179: //TODO: This should actually also handle things such as "break" (which doesn't pass through the condition): - line 188: //TODO: This should actually also handle things such as "break" (which doesn't pass through the condition): - line 197: //TODO: This should actually also handle things such as "break" (which doesn't pass through the condition): - line 205: //TODO: This is imprecise in that this assumes that the body runs to the end... dotnet/CSharpSourceGraphExtraction/GraphBuilders/GuardedByGraphBuilder.cs (2 lines): - line 165: //TODO: Can we do something with the labels? - line 207: //TODO: Can we do something with the condition, even if it's not checked in the first iteration? python/dpu_utils/utils/richpath.py (1 line): - line 624: # TODO: Python does not have a built-in "compress stream" functionality in its standard lib