REVEN-Axion 2018v1.5.0
Setup and configuration

This page will guide you through the configuration of the REVEN Server with the following steps:

  1. Create and configure virtual machines for scenario recording.
  2. Tell REVEN which virtual machine to serve to Axion clients.

This page also features two optional steps related to the multiple user setup in REVEN and PDB information.

Preparing Virtual Machines

The REVEN server makes use of VirtualBox virtual machines in order to record the execution of the scenarios you want to analyze. This section describes how to setup a virtual machine that will be suitable for scenario recording.


  1. VirtualBox should have been installed during the REVEN server installation process. If no package is found, please check your installation.
  2. On the REVEN server, log in as user ‘root’ and set the ‘reven’ user’s password :
    root@localhost:~$ passwd reven
    NOTE: Choose a password whose strength complies with your server security policy.
  3. Log out.
  4. On the REVEN server, log in as user « reven », either from a local terminal, or remotely via a SSH connection with X11 forwarding:
    reven@localhost:~$ ssh -Y reven@my.reven.server
    NOTE: Managing remotely a VirtualBox machine may also be done with solutions such as phpVirtualbox or remotebox. We will not document them here.

Create a Virtual Machine for scenario recording

  1. Create a virtual machine in VirtualBox (please refer to
  2. Add an IDE adapter to the VM configuration (or make sure it exists). This can be done through the Storage section of virtual machine settings:
    1. Set the IDE adapter name to reven.
    2. Set it as CD-ROM / primary master device.
      IDE configuration
  3. Setup correctly the System settings:
    1. In the Processor tab: set the number of processor to 1.
      Processor configuration
    2. In the Acceleration tab:
      • Set the Paravirtualization interface to None.
      • Check all boxes of Hardware Virtualization.
        Acceleration configuration
  4. Install the Microsoft Windows or Linux guest OS of your choice on the virtual machine.

Configure the Virtual Machine

  1. As REVEN will record the entire system execution, the following configuration steps will optimize the virtual machine characteristics and the scenario recordings:
    1. Limit the virtual machine RAM to reduce disk footprint.
    2. Disable any non essential system feature to reduce the trace garbage and the scenario size for faster analysis.

On Linux systems, common optimizations include:

  • Disable Xorg server when not needed.
  • Disable the console framebuffer if not needed. For example, on Debian systems, in file /etc/default/grub, add the line:
  • Disable any unwanted background service.

On Windows systems, common optimizations include:

  • Disable desktop graphical effects.
  • Disable any unwanted background service.


  • Make sure to remove any software that may communicate with the VirtualBox hypervisor from the guest. Intrusive software such as VirtualBox's Guest additions (which provides extended features like drag and drop, clipboard sharing and full resolution display) may lead to unhandled hypervisor behavior, and the recorded scenario will not be properly handled by REVEN.
  • Similarly, you must set the Paravirtualization interface to None in the Settings > System > Acceleration tab of your virtual machine in VirtualBox.

Prepare the virtual machine for scenario recording

  1. Set the machine in a convenient state to launch and record a scenario:
    • Work session opened.
    • Minimal services launched.
    • Target application ready to execute.
    • Etc.
  2. Autorun - To avoid the need to manually launch the target application inside the virtual machine when a scenario recording is started, set up the guest OS to automatically start the loaders when a disk is inserted:
    • On Windows systems: Enable autorun from Start menu > Autoplay > check "Install from media" for "Software and Games"
    • On Linux systems:
      1. Add an entry into the */etc/fstab* file that looks like the following:
        /dev/sr0 /media/cdrom0 udf,iso9660 user,noauto,exec 0 0
      2. Launch a script in background to automatically run the loader once a CD-ROM is inserted. NOTE: The script could be:
        #! /bin/bash
        while ! mount ${MOUNT_PATH} &> /dev/null
        sleep 0.3
        echo "If the execution doesn't end, please run ${MOUNT_PATH}/stop_vm_x86 to end the scenario.".
        if [ -f ${MOUNT_PATH}/interactive ]
        echo "You can type source ${MOUNT_PATH}/ to execute the core dump.".
        source ${MOUNT_PATH}/

Create snapshots of the virtual machine

  1. Create a snapshot of the virtual machine through the Machine menu or with the default shortcut HostKey+T.

NOTE: When starting the recording of a scenario, REVEN will restore the snapshot of the virtual machine that was last saved or restored. This allows to keep a clean virtual machine state, even after multiple scenario recordings.

Migration from Virtualbox 4 to Virtualbox 5

Reven uses VirtualBox 5 instead of VirtualBox 4 starting from version 2017v1.4.0. There are consequences for the user migrating from a previous version.


Snapshots created with Virtualbox 4 are not valid in Virtualbox 5 anymore! You must plan your migration before updating. If you didn't, you can still remove Reven altogether, reinstall VirtualBox 4 and then follow the migration guide - simply upgrading Reven will not alter or delete the snapshot files.

In substance, before upgrading Reven's version (which will install VirtualBox 5), you should make full clones of your VM states, shut these clones down, and replace the original VMs with these clones. Then after upgrading, you must recreate the snapshots.

Note that VirtualBox 5's UI will still happily display older snapshots and allow you (or Reven) to try loading – but only to fail, which might be confusing. Manual migration is a mandatory step, and skipping it will result in errors while creating scenarios.

Please also note the following:

  • Not only are snapshots incompatible, but VM's current states will be lost as well.
  • Only the hard drive states and VM configuration are kept, the latter with some unsafe defaults you will have to change.
  • If you have multiple snapshots per VMs, you will have to clone the VM once per snapshot you want to keep, or accept keeping one snapshot only.
  • If you have many snapshots (even if useless) in a single VM, deleting them might render your VM unloadable. Starting anew by creating Full clones is preferable.

Considering the previous notes, here is the recommended step-by-step procedure:

  1. For each VM:
    • For each snapshot you want to keep:
      • Restore it
      • Make a Full Clone of the VM's Current machine state at that point
  2. Then again, for each clone you just created:
    • Start the VM (this should restore its current state), then properly shut it down.
  3. You should now delete the original VMs, and rename the clones to take their place. If you created more than one clone per VM, you should reflect those changes in the reven.rc file (see below)

After upgrading Reven, for each VM you should:

  1. Open its settings and make sure it follows the recommended settings (namely, you will have to force the Paravirtualization interface to None because it is not the default)
  2. Start it and create a base snapshot, as per the snapshot section.


REVEN does not support scenarios recorded with VirtualBox 4 anymore, but they should be migrated automatically when installing the new Reven package. It is still recommended to recreate scenarios, because recent additions will make newer scenarios less prone to desynchronisations.

Manual migration is still possible and may be required if you store projects elsewhere: you must then migrate the core file, stored in the analyse directory of your project, using the migration tool migrate_core located in /usr/bin/.

/usr/bin/migrate_core <reven_data_path>/<project>/analyse/<core_file <reven_data_path>/<project>/analyse/<core_file>


  • reven_data_path: is the path to your reven data directory.
  • project: is the relevant project.
  • core_file: is the core file to migrate. It ends with the extension .core.

Declaring Virtual Machines for REVEN use

To declare a VM for REVEN use, you must edit your configuration and add the necessary entries and sections.

  1. (Optional) If you don't have a configuration file, you can copy the default one.
    reven@localhost:~$ cp /usr/share/reven/default.rc /home/reven/reven.rc
  2. Add your freshly configured VM to your configuration file:
    1. In the vms entry of the [vbox] section, add the name you wish to give to your VM in REVEN.
    2. Create a new section of that name, and fill the mandatory entries. You can find below a sample configuration for a debian VM (don't forget to choose different vnc_ports for different VMs):
      os = linux
      vbox_name = vmdebian
      display = Debian wheezy
      preloaders =, linux_static_loader_x86, dump_processes_x86
      dynamic_launch = LD_PRELOAD=./
      static_launch = ./linux_static_loader_x86
      segment = 0x73
      stopper = stop_vm_x86
      vnc_port = 5900
      vnc_password = passw0rd
      NOTE: For further details about the VM configuration in REVEN, please refer to the Virtual machines section of the Configuration Files Reference Documentation
  3. Reload the REVEN service:
    reven@localhost:~$ sudo service reven-daemon reload

Optional: Multiple user setup

The REVEN server can accomodate several Axion users simultaneously. By default, a unique user named reven is created during package installation.

REVEN users are completely separate from local users of the system: adding (or removing) a directory in the REVEN data folder (whose path is specified in the build.rc file, see global configuration) creates a new (or deletes an existing) REVEN user.

Assuming the project data folder is /home/reven/reven_data, adding a new REVEN user foo can be done with the following commands:

mkdir /home/reven/reven_data/foo
chown reven:reven /home/reven/reven_data/foo

Optional: Windows PDB files

REVEN can leverage Windows debugging symbols available as PDB files to enhance the readability of the execution trace. These files must be copied to the directory specified in the pdb_path configuration entry.

Retrieving PDB files

A PDB file associated to a binary can be downloaded from a Microsoft Symbol Server by using symchk.exe.

To retrieve all PDB files for every binary in C:\Windows\system32 use the following command:

symchk.exe /r "C:\Windows\system32" /s "SRV*C:\pdb_dir_path*" /pf


  • REVEN currently supports PDB format v7.0. Most PDB files are in that format except some for Windows XP and older.
  • REVEN now matches PDB files to their corresponding binary using the latter's GUID. Be sure to get the right PDB file otherwise it will not be loaded.

IMPORTANT: PBD parsing, if you have thousands of them, can significantly slow down REVEN instances startup time. You can either try to create subdirectories per OS to reduce the number of files to load, and/or place the pdb directory on an SSD disk.