admin/cyber-defence-campus-netgear_r6700v3_circled
1
0
Fork 0
mirror of https://github.com/cyber-defence-campus/netgear_r6700v3_circled synced 2026-08-09 12:29:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Added figure

Browse Source
This commit is contained in:
Damian Pfammatter
2023-12-12 11:48:34 +01:00
parent dc404f72a6
commit 57e6ca5ed0
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/5_symbex.md
+7
View File
@@ -23,6 +23,13 @@ problem might be the question whether or not it is possible for the program coun
to take a certain value, and if so, how this can be achieved (leading to a control-flow hijacking
condition).
<figure>
<img src="../images/Morion_Overview.svg" alt="Morion Overview"/>
<figcaption>
Fig. 1: Morion Overview - Showing Morion's two operation modes tracing and symbolic execution.
</figcaption>
</figure>
## TODO
This parameter is used to distinguish multiple symbolic hooking implementations (see
[Symbolic Execution](./5_symbex.md)) that will be executed instead of the actual function's assembly