def leak_remote_libc_functions(simgr): for state in simgr.unconstrained: properties = state.globals["properties"] elf = ELF(properties["file"]) #maze point