Fix IntrospectionAPIPlugin Name (#2459)

Closes #2442
trailofbits · Jun 10, 2021 · e4cb8c6 · e4cb8c6
1 parent 5e4d358
commit e4cb8c6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/manticore/core/plugin.py b/manticore/core/plugin.py
@@ -467,6 +467,10 @@ class IntrospectionAPIPlugin(Plugin):
 
     NAME = "introspector"
 
+    @property
+    def name(self) -> str:
+        return "IntrospectionAPIPlugin"
+
     def create_state(self, state_id: int):
         """
         Adds a StateDescriptor to the context in the READY state list