(stmt)
return targets
Extract concrete goto targets from a Jump or a ConditionalJump statement.

    :param stmt:    The statement to analyze.
    :return:        A list of known concrete jump targets.
    :rtype:         list
Extract concrete goto targets from a Jump or a ConditionalJump statement.
Extract concrete goto targets from a Jump or a ConditionalJump statement .
def extract_jump_targets(stmt):
    """
    Extract concrete goto targets from a Jump or a ConditionalJump statement.

    :param stmt:    The statement to analyze.
    :return:        A list of known concrete jump targets.
    :rtype:         list
    """

    targets = [ ]

    if isinstance(stmt, ailment.Stmt.Jump):
        if isinstance(stmt.target, ailment.Expr.Const):
            targets.append(stmt.target.value)
    elif isinstance(stmt, ailment.Stmt.ConditionalJump):
        if isinstance(stmt.true_target, ailment.Expr.Const):
            targets.append(stmt.true_target.value)
        if isinstance(stmt.false_target, ailment.Expr.Const):
            targets.append(stmt.false_target.value)

    return targets
def extract_jump_targets ( stmt ) : targets = [ ] if isinstance ( stmt , ailment . Stmt . Jump ) : if isinstance ( stmt . target , ailment . Expr . Const ) : targets . append ( stmt . target . value ) elif isinstance ( stmt , ailment . Stmt . ConditionalJump ) : if isinstance ( stmt . true_target , ailment . Expr . Const ) : targets . append ( stmt . true_target . value ) if isinstance ( stmt . false_target , ailment . Expr . Const ) : targets . append ( stmt . false_target . value ) return targets