Merge branch 'carlospolop:master' into master

SUMMARY.md

@@ -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)

pentesting-web/login-bypass/sql-login-bypass.md

@@ -208,10 +208,8 @@ or 1=1–
 ' or 1=1 LIMIT 1;#
 'or 1=1 or ''='
 "or 1=1 or ""="
-' or 'a'='a
 ' or a=a--
 ' or a=a–
-') or ('a'='a
 " or "a"="a
 ") or ("a"="a
 ') or ('a'='a and hi") or ("a"="a

reversing/reversing-tools-basic-methods/angr.md

@@ -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
+```
+

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

@@ -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\).