# Theory

- [Static Analysis](/java/code-inspector/theory/static-analysis.md)
- [Intro](/java/code-inspector/theory/static-analysis/intro.md)
- [IR & CFG](/java/code-inspector/theory/static-analysis/ir.md)
- [DFA](/java/code-inspector/theory/static-analysis/dfa.md)
- [DFA-Foundation](/java/code-inspector/theory/static-analysis/dfa-foundation.md)
- [Interprocedural Analysis](/java/code-inspector/theory/static-analysis/inter.md)
- [Pointer Analysis](/java/code-inspector/theory/static-analysis/pta.md)
- [Pointer Analysis Foundation](/java/code-inspector/theory/static-analysis/pta-foundation.md)
- [PTA-Context Sensitivity](/java/code-inspector/theory/static-analysis/pta-cs.md)
- [Taint Anlysis](/java/code-inspector/theory/static-analysis/taint.md)
- [Datalog](/java/code-inspector/theory/static-analysis/datalog.md)