File tree

• java/ql
  • lib/semmle/code/java/semantic
    • SemanticBound.qll
    • SemanticCFG.qll
    • SemanticExpr.qll
    • SemanticExprSpecific.qll
    • SemanticGuard.qll
    • SemanticSSA.qll
    • SemanticType.qll
    • SemanticTypeSpecific.qll
    • analysis
      • ArrayLengthFlow.qll
      • ConstantAnalysis.qll
      • ConstantAnalysisSpecific.qll
      • ModulusAnalysis.qll
      • ModulusAnalysisSpecific.qll
      • RangeAnalysis.qll
      • RangeAnalysisSpecific.qll
      • RangeUtils.qll
      • Sign.qll
      • SignAnalysisCommon.qll
      • SignAnalysisSpecific.qll
  • test/library-tests/dataflow
    • modulus-analysis
      • diff.expected
      • diff.ql
    • range-analysis
      • diff.expected
      • diff.ql
    • sign-analysis
      • diff.expected
      • diff.ql