Hey!

I've been learning to do program analysis with CodeQL. May I ask are the modules provided by codeql context/path sensitive? I noticed that modules like Resource leak are not utilizing the control flow module, so maybe they are not path sensitive? Is there a list or something similar that shows which modules are context/path sensitive?

Many thanks!