setsid

setsid

Bases: SimProcedure

run

run()

if self.state.globals['is_leader_group'] : return -1 else : self.state.globals['is_leader_group'] = True return self.state.posix.pid

Source code in sema_toolchain/sema_scdg/application/procedures/linux/custom_package/setsid.py

def run(self):
    """
    if self.state.globals['is_leader_group'] :
        return -1
    else :
        self.state.globals['is_leader_group'] = True
        return self.state.posix.pid
    """
    return self.state.solver.Unconstrained(
        "unconstrained_ret_%s" % self.display_name,
        self.state.arch.bits,
        key=("api", "?", self.display_name),
    )