lorenz.stechauner/BSc-Thesis
1
0
Fork 0
Code Activity

proj: Add meaningful return value for getaddrinfo

Browse Source
This commit is contained in:
Lorenz Stechauner
2025-04-19 17:06:43 +02:00
parent 127456d23a
commit 00fed60b9d
2 changed files with 70 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
proj/server/src/intercept/__init__.py
View File

@@ -486,7 +486,7 @@ class Handler(StreamRequestHandler):
def before_getaddrinfo(self, node: PointerTo[bytes], service: PointerTo[bytes], hints: PointerTo[list[StructAddrInfo]], res_ptr: Pointer) -> str:
raise NotImplementedError()
def after_getaddrinfo(self, node: PointerTo[bytes], service: PointerTo[bytes], hints: PointerTo[list[StructAddrInfo]], res_ptr: Pointer,
ret_value: int, errno: str = None, res: PointerTo[list[StructAddrInfo]] = None) -> None:
ret_value: Constant, errno: str = None, res: PointerTo[list[StructAddrInfo]] = None) -> None:
raise NotImplementedError()
def before_freeaddrinfo(self, res: Pointer) -> str:
raise NotImplementedError()