# Reverse Engineering

- [IDA Pro](https://viettaliii.gitbook.io/home/education/reverse-engineering/ida-pro.md)
- [Chals trên Codeby Games](https://viettaliii.gitbook.io/home/education/reverse-engineering/chals-tren-codeby-games.md)
- [Code patterns](https://viettaliii.gitbook.io/home/education/reverse-engineering/code-patterns.md)
- [Important x86/x64 Assembly](https://viettaliii.gitbook.io/home/education/reverse-engineering/important-x86-x64-assembly.md)
- [PE injection technique](https://viettaliii.gitbook.io/home/education/reverse-engineering/pe-injection-technique.md)
- [Abusing Windows Internals](https://viettaliii.gitbook.io/home/education/reverse-engineering/abusing-windows-internals.md)
- [Windows Reversing Intro](https://viettaliii.gitbook.io/home/education/reverse-engineering/windows-reversing-intro.md)
- [Symbolic Analysis](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis.md)
- [SAT/SMT by Example](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example.md): (Một số kiếm thức quan trọng và thú vị bạn không thể bỏ qua)
- [Introduction](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/introduction.md)
- [Basics](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/basics.md)
- [1. One-hot encoding](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/basics/1.-one-hot-encoding.md)
- [2. SMT-solvers](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/basics/2.-smt-solvers.md)
- [3. SAT-solvers](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/basics/3.-sat-solvers.md): SAT is abbreviation of “Boolean satisfiability problem”
- [4. Which SAT/SMT solver I should use?](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/basics/4.-which-sat-smt-solver-i-should-use.md)
- [5. Yet another explanation of NP-problems](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/basics/5.-yet-another-explanation-of-np-problems.md)
- [Equations](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/equations.md)
- [1. SMT-solver as a calculator](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/equations/1.-smt-solver-as-a-calculator.md)
- [2. Solving XKCD 287](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/equations/2.-solving-xkcd-287.md)
- [3. Wood workshop, linear programming and Leonid Kantorovich](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/equations/3.-wood-workshop-linear-programming-and-leonid-kantorovich.md): Xưởng gỗ, lập trình tuyến tính và Leonid Kantorovich
- [4. Puzzle with animals](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/equations/4.-puzzle-with-animals.md): Câu đố với động vật
- [5. Subset sum](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/equations/5.-subset-sum.md): Tính tổng các tập hợp con
- [6. Art of problem solving](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/equations/6.-art-of-problem-solving.md): Nghệ thuật của giải quyết vấn đề
- [7. Solving the x^y = ???? equation](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-smt-by-example/equations/7.-solving-the-x-y-equation.md)
- [SAT and Constraints](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-and-constraints.md): Satisfiability Modulo Theories
- [Propositional Logic](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-and-constraints/propositional-logic.md)
- [Boolean Operators](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-and-constraints/boolean-operators.md)
- [The SAT Problem](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-and-constraints/the-sat-problem.md)
- [z3](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/sat-and-constraints/z3.md)
- [angr and Symbolic execution](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/angr-and-symbolic-execution.md)
- [Abstract syntax Tree & Symbolic Execution](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/angr-and-symbolic-execution/abstract-syntax-tree-and-symbolic-execution.md)
- [angr](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/angr-and-symbolic-execution/angr.md)
- [Challenges angry](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/angr-and-symbolic-execution/challenges-angry.md)
- [Docs](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/angr-and-symbolic-execution/challenges-angry/docs.md)
- [The binary bomb](https://viettaliii.gitbook.io/home/education/reverse-engineering/symbolic-analysis/the-binary-bomb.md)
- [Assembly x86-64](https://viettaliii.gitbook.io/home/education/reverse-engineering/assembly-x86-64.md)
- [x86-64 Assembly](https://viettaliii.gitbook.io/home/education/reverse-engineering/assembly-x86-64/x86-64-assembly.md)
- [Instructions thường gặp](https://viettaliii.gitbook.io/home/education/reverse-engineering/assembly-x86-64/instructions-thuong-gap.md)


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://viettaliii.gitbook.io/home/education/reverse-engineering.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.