Context/Path Sensitivity of Different Modules
Aperta
question
- Lingua principale
- CodeQL
- Stelle
- 10.1k
- Fork
- 2.1k
- Merge medio
- 2g 15h
- PR unite (30g)
- 141
Descrizione
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!
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.