var searchData=
[
  ['extension_0',['Extension',['../group__drfuzz.html',1,'Dr. Fuzz: DynamoRIO Fuzz Testing Extension'],['../group__drsymcache.html',1,'Dr. SymCache: Symbol Lookup Cache Extension'],['../group__drsyscall.html',1,'Dr. Syscall: System Call Monitoring Extension'],['../group__umbra.html',1,'Umbra: DynamoRIO Shadow Memory Extension']]]
];
