var page_drmf =
[
    [ "Using DRMF", "page_drmf.html#sec_drmf_setup", null ],
    [ "Dr. Syscall: System Call Monitoring Extension", "page_drsyscall.html", [
      [ "Setup", "page_drsyscall.html#sec_drsyscall_setup", null ],
      [ "Event Replacement", "page_drsyscall.html#sec_drsyscall_events", null ],
      [ "Dr. Syscall API", "page_drsyscall.html#sec_drsyscall_API", null ],
      [ "System Call Numbers", "page_drsyscall.html#sec_drsyscall_nums", null ]
    ] ],
    [ "Umbra: Shadow Memory Extension", "page_umbra.html", [
      [ "Setup", "page_umbra.html#sec_umbra_setup", null ],
      [ "Shadow Memory Mapping", "page_umbra.html#sec_umbra_mapping", null ],
      [ "Umbra API", "page_umbra.html#sec_umbra_API", null ]
    ] ],
    [ "Dr. SymCache: Symbol Lookup Cache Extension", "page_drsymcache.html", [
      [ "Setup", "page_drsymcache.html#sec_drsymcache_setup", null ],
      [ "Event Replacement", "page_drsymcache.html#sec_drsymcache_events", null ],
      [ "Dr. SymCache API", "page_drsymcache.html#sec_drsymcache_API", null ]
    ] ],
    [ "Dr. Fuzz: Dynamic Fuzz Testing Extension", "page_drfuzz.html", [
      [ "Setup", "page_drfuzz.html#sec_drfuzz_setup", null ],
      [ "Dr. Fuzz API", "page_drfuzz.html#sec_drfuzz_API", null ],
      [ "Dr. Fuzz Mutators", "page_drfuzz.html#sec_drfuzz_mutators", [
        [ "Default Mutator Options", "page_drfuzz.html#sec_drfuzz_mut_ops", null ],
        [ "Mutator Algorithms and Units", "page_drfuzz.html#sec_mutator_alg_and_unit", null ],
        [ "Mutator Random Number Generator", "page_drfuzz.html#sec_mutator_rand_gen", null ],
        [ "Mutator \"Proximity\" via Reset Option", "page_drfuzz.html#sec_mutator_proximity", null ],
        [ "Mutator Sparsity", "page_drfuzz.html#sec_mutator_sparsity", null ]
      ] ]
    ] ]
];