mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
fef08afff9
Moves the existing points-to predicates to the newly added class `ControlFlowNodeWithPointsTo` which resides in the `LegacyPointsTo` module. (Existing code that uses these predicates should import this module, and references to `ControlFlowNode` should be changed to `ControlFlowNodeWithPointsTo`.) Also updates all existing points-to based code to do just this.
20 lines
439 B
Plaintext
20 lines
439 B
Plaintext
/**
|
|
* @id py/examples/store-none
|
|
* @name Store None to collection
|
|
* @description Finds places where `None` is used as an index when storing to a collection
|
|
* @tags None
|
|
* parameter
|
|
* argument
|
|
* collection
|
|
* add
|
|
*/
|
|
|
|
import python
|
|
private import LegacyPointsTo
|
|
|
|
from SubscriptNode store
|
|
where
|
|
store.isStore() and
|
|
store.getIndex().(ControlFlowNodeWithPointsTo).pointsTo(Value::named("None"))
|
|
select store
|