Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
import cpp
import codingstandards.c.cert
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
import semmle.code.cpp.ir.internal.ASTValueNumbering
import semmle.code.cpp.valuenumbering.GlobalValueNumbering
import semmle.code.cpp.controlflow.Guards

/*
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@
import cpp
import codingstandards.c.cert
import semmle.code.cpp.dataflow.TaintTracking
import semmle.code.cpp.dataflow.internal.TaintTrackingUtil
import codingstandards.cpp.PossiblyUnsafeStringOperation

/**
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@ import cpp
import codingstandards.c.cert
import codingstandards.cpp.Naming
import semmle.code.cpp.dataflow.TaintTracking
import semmle.code.cpp.dataflow.internal.TaintTrackingUtil
import codingstandards.cpp.PossiblyUnsafeStringOperation

/**
Expand Down
2 changes: 1 addition & 1 deletion cpp/common/src/codingstandards/cpp/Expr.qll
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
import cpp
private import semmle.code.cpp.ir.internal.ASTValueNumbering
private import semmle.code.cpp.valuenumbering.GlobalValueNumbering
import codingstandards.cpp.AccessPath

/** A full expression as defined in [intro.execution] of N3797. */
Expand Down
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
import cpp
private import semmle.code.cpp.dataflow.DataFlow
private import semmle.code.cpp.dataflow.internal.FlowVar
private import semmle.code.cpp.controlflow.Nullness
private import codingstandards.cpp.Dereferenced
private import codingstandards.cpp.Expr
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,6 @@ import semmle.code.cpp.security.BufferWrite
import semmle.code.cpp.commons.Buffer
import semmle.code.cpp.dataflow.DataFlow
import semmle.code.cpp.dataflow.TaintTracking
import semmle.code.cpp.dataflow.internal.TaintTrackingUtil
import codingstandards.cpp.PossiblyUnsafeStringOperation

abstract class BasicStringMayNotBeNullTerminatedSharedQuery extends Query { }
Expand Down