codeql/python/ql/src/Testing/Mox.qll at codeql-cli/v2.26.0 · github/codeql · GitHub

17 lines (16 loc) · 499 Bytes

import python

private import LegacyPointsTo

/** Whether `mox` or `.StubOutWithMock()` is used in thin module `m`. */

predicate useOfMoxInModule(Module m) {

exists(ModuleObject mox | mox.getName() = "mox" or mox.getName() = "mox3.mox" |

exists(ControlFlowNodeWithPointsTo use |

use.refersTo(mox) and

use.getScope().getEnclosingModule() = m

)

exists(Call call |

call.getFunc().(Attribute).getName() = "StubOutWithMock" and

call.getEnclosingModule() = m

)

}

Expand file tree