iframe-proxy | Sunbelt Computer Software

27 lines (23 loc) · 642 Bytes

import semmle.code.cpp.pointsto.PointsTo
private predicate freed(Expr e) {
  e = any(DeallocationExpr de).getFreedExpr()
  exists(ExprCall c |
    // cautiously assume that any `ExprCall` could be a deallocation expression.
    c.getAnArgument() = e
/** An expression that might be deallocated. */
class FreedExpr extends PointsToExpr {
  FreedExpr() { freed(this) }
  override predicate interesting() { freed(this) }
 * An allocation expression that might be deallocated. For example:
 * int* p = new int;
 * delete p;
predicate allocMayBeFreed(AllocationExpr alloc) { anythingPointsTo(alloc) }

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

MemoryFreed.qll

Latest commit

History

MemoryFreed.qll

File metadata and controls