Mirrors/hacktricks
2
0
Fork 0
mirror of https://github.com/carlospolop/hacktricks synced 2024-11-15 01:17:36 +00:00
Code Issues Projects Releases Packages Wiki Activity

GitBook: [master] 3 pages modified

Browse source
This commit is contained in:
CPol 2021-09-10 10:30:28 +00:00 committed by gitbook-bot
parent aa77cd8591
commit 49712ac6fc
No known key found for this signature in database
GPG key ID: 07D2180C7B12D0FF
3 changed files with 15 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
SUMMARY.md
View file

@ -498,7 +498,8 @@
## Reversing
* [Reversing Tools & Basic Methods](reversing/reversing-tools-basic-methods/README.md)
* [Satisfiability Modulo Theories \(SMT\) - Z3](reversing/reversing-tools-basic-methods/satisfiability-modulo-theories-smt-z3.md)
* [Angr](reversing/reversing-tools-basic-methods/angr.md)
* [Z3 - Satisfiability Modulo Theories \(SMT\)](reversing/reversing-tools-basic-methods/satisfiability-modulo-theories-smt-z3.md)
* [Cheat Engine](reversing/reversing-tools-basic-methods/cheat-engine.md)
* [Blobrunner](reversing/reversing-tools-basic-methods/blobrunner.md)
* [Common API used in Malware](reversing/common-api-used-in-malware.md)

12
reversing/reversing-tools-basic-methods/angr.md Normal file
View file

@ -0,0 +1,12 @@
# Angr
## Installation
```bash
sudo apt-get install python3-dev libffi-dev build-essential
python3 -m pip install --user virtualenv
python3 -m venv ang
source ang/bin/activate
pip install angr
```

2
reversing/reversing-tools-basic-methods/satisfiability-modulo-theories-smt-z3.md
View file

@ -1,4 +1,4 @@
# Satisfiability Modulo Theories \(SMT\) - Z3
# Z3 - Satisfiability Modulo Theories \(SMT\)
Very basically, this tool will help us to find values for variables that need to satisfy some conditions and calculating them by hand will be so annoying. Therefore, you can indicate to Z3 the conditions the variables need to satisfy and it will find some values \(if possible\).