Class DoubleFreeAnalyser

constructor

• new DoubleFreeAnalyser(): DoubleFreeAnalyser

  Returns DoubleFreeAnalyser

resultFormatManager

analyse

• analyse($startNode: T): ResultList | undefined

  Check file for pointers not being freed or being freed two times in the same scope

  Parameters

  • $startNode: T

  Returns ResultList | undefined

  fileResult

StaticisDynamicAlloc

• isDynamicAlloc($node: Joinpoint): 0 | 1

  Parameters

  • $node: Joinpoint

  Returns 0 | 1