Class doubleFreeAnalyser

constructor

• new doubleFreeAnalyser(): doubleFreeAnalyser

• Returns doubleFreeAnalyser

resultFormatManager

analyse

• analyse($startNode): undefined | resultList

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

  Parameters

  • $startNode: T

  Returns undefined | resultList

  fileResult

StaticisDynamicAlloc

• isDynamicAlloc($node): 0 | 1

• Parameters

  • $node: Joinpoint

  Returns 0 | 1