• Home
• com.michaelpollmeier
• joern-cli_3
• 2.0.365+26-3e49c273
• source code
• malloc-leak.sc

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

scripts.c.malloc-leak.sc Maven / Gradle / Ivy

//> using file assertions.sc

@main def main(inputPath: String) = {
  importCode(inputPath)
  def allocated            = cpg.call("malloc").inAssignment.target.dedup
  def freed                = cpg.call("free").argument(1)
  def flowsFromAllocToFree = freed.reachableBy(allocated).toSetImmutable
  val leaks                = allocated.map(_.code).toSetImmutable.diff(flowsFromAllocToFree.map(_.code))

  val expected = Set("leak")
  assertContains("leaks", leaks, expected)

}