1 files changed, 2 insertions, 6 deletions
diff --git a/afl-dyninst.cc b/afl-dyninst.cc
index cb580d0..8e3389d 100644
--- a/afl-dyninst.cc
+++ b/afl-dyninst.cc
@@ -504,12 +504,8 @@ int main(int argc, char **argv) {
     char moduleName[1024];
 
     (*moduleIter)->getName(moduleName, 1024);
-    if ((*moduleIter)->isSharedLib()) {
-      if (instrumentLibraries.find(moduleName) == instrumentLibraries.end() && string(moduleName).find(".so") != string::npos) {
-        cout << "Skipping library: " << moduleName << endl;
-        continue;
-      }
-    }
+    if ((*moduleIter)->isSharedLib())
+      continue;
 
     if (string(moduleName).find(defaultModuleName) != string::npos) {
       if (skipMainModule)