@@ -0,0 +1,656 @@
+#pylint:disable=arguments-differ,unused-argument,missing-class-docstring%0Aimport angr%0A%0A######################################%0A# access%0A######################################%0A%0Aclass access(angr.SimProcedure):%0A%0A    def run(self, pathname, mode):%0A        strlen = angr.SIM_PROCEDURES%5B'libc'%5D%5B'strlen'%5D%0A        p_strlen = self.inline_call(strlen, pathname)%0A        p_expr = self.state.memory.load(pathname, p_strlen.max_null_index, endness='Iend_BE')%0A        path = self.state.solver.eval(p_expr, cast_to=bytes)%0A%0A        simfile = self.state.fs.get(path)%0A        if simfile is None:%0A            # the file does not exist%0A            return -1%0A%0A        return 0%0A

Add SimProcedure access. (#3422)