(self)
return replacements
Checks, and gets, stored propagations from the KB for the current
        Propagation state.

        :return:    None or Dict of replacements
Checks, and gets, stored propagations from the KB for the current
        Propagation state.
Checks and gets stored propagations from the KB for the current Propagation state .
def _check_prop_kb(self):
        """
        Checks, and gets, stored propagations from the KB for the current
        Propagation state.

        :return:    None or Dict of replacements
        """
        replacements = None
        if self._function is not None:
            func_loc = CodeLocation(self._function.addr, None)
            replacements = self.kb.propagations.get(func_loc)

        return replacements
def _check_prop_kb ( self ) : replacements = None if self . _function is not None : func_loc = CodeLocation ( self . _function . addr , None ) replacements = self . kb . propagations . get ( func_loc ) return replacements