MCPcopy Create free account
hub / github.com/CheckPointSW/Karta / recordBlock

Method recordBlock

src/function_context.py:376–382  ·  view source on GitHub ↗

Record a code block in our function's code flow. Args: block (int): number of instructions in the given code block

(self, block)

Source from the content-addressed store, hash-verified

374 self.instrs = num_instrs
375
376 def recordBlock(self, block):
377 """Record a code block in our function's code flow.
378
379 Args:
380 block (int): number of instructions in the given code block
381 """
382 self.blocks.append(block)
383
384 def setCallOrder(self, mapping):
385 """Set the call order mapping: call invocation => set of call invocations that can reach it.

Callers 2

deserializeMethod · 0.80
analyzeFunctionMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected