File tree

• cpp/ql/lib/experimental/semmle/code/cpp/semantic
  • Semantic.qll
  • SemanticBound.qll
  • SemanticCFG.qll
  • SemanticExpr.qll
  • SemanticExprSpecific.qll
  • SemanticGuard.qll
  • SemanticLocation.qll
  • SemanticOpcode.qll
  • SemanticSSA.qll
  • SemanticType.qll
  • SemanticTypeSpecific.qll
  • analysis
    • ConstantAnalysis.qll
    • ConstantAnalysisSpecific.qll
    • FloatDelta.qll
    • IntDelta.qll
    • ModulusAnalysis.qll
    • ModulusAnalysisSpecific.qll
    • RangeAnalysis.qll
    • RangeAnalysisImpl.qll
    • RangeAnalysisSpecific.qll
    • RangeAnalysisStage.qll
    • RangeUtils.qll
    • Sign.qll
    • SignAnalysisCommon.qll
    • SignAnalysisSpecific.qll
    • SimpleRangeAnalysis.qll