Usage of single iteration variable in range loop
- Rule ID: go_gosec_memory_memory_aliasing
- Languages: go
- Source: memory_aliasing.yml
Description
In Go, using the for ... range
loop with a single iteration variable can lead to errors. This happens because the loop uses the same memory address for the iteration variable throughout its execution. When you store or use the address of this variable across different iterations, it can overwrite values unexpectedly. This issue is especially problematic in concurrent operations or when deferring functions inside the loop.
Remediations
- Do create a new variable inside the loop to ensure each iteration uses a unique memory address.
for _, n := range []someStruct{{1}, {2}, {3}, {4}} {
localVar := n
// use localVar instead of n
} - Do use indexed addressing to directly reference the elements in an array or slice, avoiding the shared address problem.
for i := range mySlice {
// use &mySlice[i] for a stable address
} - Do not store the address of the iteration variable. This practice leads to all references pointing to the same location in memory, causing errors.
- Do not use the iteration variable's address in goroutines. This can result in race conditions or logical errors if the variable's value changing before the goroutine accesses it.
References
Associated CWE
Configuration
To skip this rule during a scan, use the following flag
bearer scan /path/to/your-project/ --skip-rule=go_gosec_memory_memory_aliasing
To run only this rule during a scan, use the following flag
bearer scan /path/to/your-project/ --only-rule=go_gosec_memory_memory_aliasing