Knowledge base

 Announcements

• REVEN 2.2: Python API, Automatic Recording, and more

 Installation

• How to install Axion (REVEN GUI) on Windows or other Linux?
• How can I check the integrity of my REVEN package?
• How do I customize the installation of REVEN?

 VMs configuration

• How to setup a Windows 11 VM for use with REVEN?
• How do I setup a proxy in a Windows 10 VM?

 Recording

• What's the overhead during the Recording?
• How do I record a Scenario?

 Replay

• How long does it take to replay a scenario?
• Can I change the course of the execution during the Replay?

 Analysis

• How large can the tainted buffer be?
• What is the purpose of "Tag0" and "Tag1" in the taint widget?

 Analysis Examples

• Analysis of VLC Exploit Arbitrary Code Execution (CVE-2018-11529)
• Analysis of PatchGuard on Microsoft Windows 10 RS4
• Windows Kernel Bug Analysis (CVE-2018-8410)
• Windows boot from UEFI to kernel
• Analysis of the Uroburos malware with REVEN

 Troubleshooting

• Server or Program Manager error after changing the REVEN user
• Running stop.sh leads to `Error in subprocess, aborting`
• Running start.sh leads to `Error : Cannot retrieve resources version compatible with the current reven `
• I am getting exceptions from /usr/lib/python3.5/weakref.py, is it an issue?