ANTAREX API

Clava API

(.js)
laraImport("clava.analysis.analysers.DoubleFreeAnalyser");

(.lara)
import clava.analysis.analysers.DoubleFreeAnalyser;

Static Members

Instance Members

new DoubleFreeAnalyser()

isDynamicAlloc($node)

$node: any

analyse($startNode)

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

$startNode: JoinPoint

any - fileResult