Source code for angr.knowledge_plugins.comments

from .plugin import KnowledgeBasePlugin


[docs]class Comments(KnowledgeBasePlugin, dict):
[docs]    def __init__(self, kb):
        super().__init__()
        self._kb = kb

[docs]    def copy(self):
        o = Comments(self._kb)
        o.update(self)
        return o


KnowledgeBasePlugin.register_default("comments", Comments)