Static analysis tool for tagging function as no-alloc vs might-alloc

1

Is there a static analysis tool that I can run on a workspace, and it tags each function as:

  • this function definitely does not alloc
  • this function might alloc

XY problem: writing an internet facing server, worried about (potential malicious) OOM issues; want to know where all the might alloc functions are

halting problem: does not apply here, as we allow the "might alloc" arm to sometimes be wrong

2

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.