(self)
Post Analysis of Propagation().
        We add the current propagation replacements result to the kb if the
        function has already been completed in cfg creation.
Post Analysis of Propagation().
        We add the current propagation replacements result to the kb if the
        function has already been completed in cfg creation.
Post Analysis of Propagation () . We add the current propagation replacements result to the kb if the function has already been completed in cfg creation .
def _post_analysis(self):
        """
        Post Analysis of Propagation().
        We add the current propagation replacements result to the kb if the
        function has already been completed in cfg creation.
        """

        # Filter replacements and remove all TOP values
        if self.replacements is not None:
            for codeloc in list(self.replacements.keys()):
                rep = dict((k, v) for k, v in self.replacements[codeloc].items() if not PropagatorState.is_top(v))
                self.replacements[codeloc] = rep

        if self._function is not None:
            if self._check_func_complete(self._function):
                func_loc = CodeLocation(self._function.addr, None)
                self.kb.propagations.update(func_loc, self.replacements)
def _post_analysis ( self ) : # Filter replacements and remove all TOP values if self . replacements is not None : for codeloc in list ( self . replacements . keys ( ) ) : rep = dict ( ( k , v ) for k , v in self . replacements [ codeloc ] . items ( ) if not PropagatorState . is_top ( v ) ) self . replacements [ codeloc ] = rep if self . _function is not None : if self . _check_func_complete ( self . _function ) : func_loc = CodeLocation ( self . _function . addr , None ) self . kb . propagations . update ( func_loc , self . replacements )