> For the complete documentation index, see [llms.txt](https://p4d0rn.gitbook.io/java/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://p4d0rn.gitbook.io/java/code-inspector/theory.md).

# Theory

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