> 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.md).

# 🔍Code Inspector

- [CodeQL 🧶](https://p4d0rn.gitbook.io/java/code-inspector/codeql.md)
- [Tutorial](https://p4d0rn.gitbook.io/java/code-inspector/codeql/tutorial.md)
- [Intro](https://p4d0rn.gitbook.io/java/code-inspector/codeql/tutorial/intro.md)
- [Module](https://p4d0rn.gitbook.io/java/code-inspector/codeql/tutorial/module.md)
- [Predicate](https://p4d0rn.gitbook.io/java/code-inspector/codeql/tutorial/predicate.md)
- [Query](https://p4d0rn.gitbook.io/java/code-inspector/codeql/tutorial/query.md)
- [Type](https://p4d0rn.gitbook.io/java/code-inspector/codeql/tutorial/type.md)
- [CodeQL 4 Java](https://p4d0rn.gitbook.io/java/code-inspector/codeql/codeql-4-java.md)
- [Basics](https://p4d0rn.gitbook.io/java/code-inspector/codeql/codeql-4-java/basics.md)
- [DFA](https://p4d0rn.gitbook.io/java/code-inspector/codeql/codeql-4-java/dfa.md)
- [Example](https://p4d0rn.gitbook.io/java/code-inspector/codeql/codeql-4-java/codeql4java.md)
- [SootUp ✨](https://p4d0rn.gitbook.io/java/code-inspector/sootup.md)
- [Intro](https://p4d0rn.gitbook.io/java/code-inspector/sootup/intro.md)
- [Jimple](https://p4d0rn.gitbook.io/java/code-inspector/sootup/jimple.md)
- [DFA](https://p4d0rn.gitbook.io/java/code-inspector/sootup/dfa.md)
- [CG](https://p4d0rn.gitbook.io/java/code-inspector/sootup/cg.md)
- [Tabby 🔦](https://p4d0rn.gitbook.io/java/code-inspector/tabby.md)
- [install](https://p4d0rn.gitbook.io/java/code-inspector/tabby/install.md)
- [Theory](https://p4d0rn.gitbook.io/java/code-inspector/theory.md)
- [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)