Context/Path Sensitivity of Different Modules
Ouverte
question
- Langage dominant
- CodeQL
- Étoiles
- 10.1k
- Forks
- 2.1k
- Merge moyen
- 2 j 15 h
- PR mergées (30 j)
- 141
Description
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!
Guide de contribution
Ouvrir le guide de contribution
Évaluation
Cette issue n'a pas encore été évaluée.