HeapBasedOverflow

io.joern.scanners.c.HeapBasedOverflow
object HeapBasedOverflow extends QueryBundle

Attributes

Graph
Supertypes
trait QueryBundle
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

Find calls to malloc where the first argument contains an arithmetic expression, the allocated buffer flows into memcpy as the first argument, and the third argument of that memcpy is unequal to the first argument of malloc. This is an adaption of the old-joern query first shown at 31C3 that found a buffer overflow in VLC's MP4 demuxer (CVE-2014-9626).

Find calls to malloc where the first argument contains an arithmetic expression, the allocated buffer flows into memcpy as the first argument, and the third argument of that memcpy is unequal to the first argument of malloc. This is an adaption of the old-joern query first shown at 31C3 that found a buffer overflow in VLC's MP4 demuxer (CVE-2014-9626).

Attributes

Implicits

Implicits

implicit val engineContext: EngineContext
implicit val resolver: ICallResolver