Commit adafe3e

Paolo Tranquilli

committed

Merge branch 'main' into redsun82/rust-canonical-enum

2 parents f3cd61f + c2b342f commit adafe3eCopy full SHA for adafe3e

357 files changed

+18579

-5302

lines changed

2024-11-25-ts57.md
cpp
- downgrades/f0156f5f88ab5967c79162012c20f30600ca5ebf
- ql
  - lib
    - semmlecode.cpp.dbscheme.stats
    - semmlecode.cpp.dbscheme
    - semmle/code/cpp
      - Compilation.qll
    - upgrades/e51fad7a2436caefab0c6bd52f05e28e7cce4d92
  - src
    - Likely Bugs/Underspecified Functions
      - TooFewArguments.qll
    - change-notes
      - 2024-11-22-too-few-arguments.md
  - test/query-tests/Likely Bugs/Underspecified Functions
javascript
- extractor/lib/typescript
  - package-lock.json
  - package.json
- ql
  - integration-tests/diagnostics/internal-error/src
    - my_failure.ts
  - test/library-tests/TypeScript/Types
java/ql
- lib/semmle/code/java/security
  - Encryption.qll
  - MaybeBrokenCryptoAlgorithmQuery.qll
- src/change-notes
  - 2024-10-29-weak-crypto-hash.md
  - 2024-11-22-sha3.md
- test/query-tests/security/CWE-327/semmle/tests
  - BrokenCryptoAlgorithm.expected
  - WeakHashing.java
rust
- extractor/src/generated
  - .generated.list
  - top.rs
- ql
  - .generated.list
  - .gitattributes
  - integration-tests
    - hello-project
      - functions.expected
    - hello-workspace
      - functions.expected
    - options
    - qltest
      - dependencies
        functions.expected
        functions.nested.expected
      - lib
        functions.expected
        functions.nested.expected
      - main
        functions.expected
        functions.nested.expected
      - test_qltest.py
  - lib
    - codeql/rust
    - rust.dbscheme
  - test
    - extractor-tests
      - canonical_path
        canonical_paths.expected
      - generated
        .generated_tests.list
        .gitattributes
        ArrayExpr
        ArrayExpr.expected
        ArrayExpr_getExpr.expected
        AsmExpr
        AsmExpr_getExpr.expected
        AwaitExpr
        AwaitExpr.expected
        AwaitExpr_getExpr.expected
        BecomeExpr
        BecomeExpr.expected
        BecomeExpr_getExpr.expected
        BlockExpr
        BlockExpr.expected
        BlockExpr.ql
        BlockExpr_getLabel.expected
        BlockExpr_getStmtList.expected
        BoxPat
        BoxPat.expected
        BoxPat_getPat.expected
        BreakExpr
        BreakExpr.expected
        BreakExpr_getExpr.expected
        BreakExpr_getLifetime.expected
        CallExpr
        CallExpr.expected
        CallExpr_getArgList.expected
        CallExpr_getExpr.expected
        CastExpr
        CastExpr.expected
        CastExpr_getExpr.expected
        CastExpr_getTy.expected
        ClosureExpr
        ClosureExpr.expected
        ClosureExpr_getAttr.expected
        ClosureExpr_getBody.expected
        ClosureExpr_getParamList.expected
        ClosureExpr_getRetType.expected
        Comment
        Comment.expected
        ConstBlockPat
        ConstBlockPat_getBlockExpr.expected
        ContinueExpr
        ContinueExpr.expected
        ContinueExpr_getLifetime.expected
        ExprStmt
        ExprStmt_getExpr.expected
        FieldExpr
        FieldExpr.expected
        FieldExpr_getExpr.expected
        FieldExpr_getNameRef.expected
        ForExpr
        ForExpr.ql
        FormatArgsExpr
        FormatArgsExpr_getTemplate.expected
        Function
        Function.expected
        Function_getBody.expected
        Function_getCrateOrigin.expected
        Function_getExtendedCanonicalPath.expected
        Function_getName.expected
        Function_getParamList.expected
        Function_getRetType.expected
        GenericArgList
        GenericArgList.expected
        GenericArgList_getGenericArg.expected
        IfExpr
        IfExpr.expected
        IfExpr_getCondition.expected
        IfExpr_getElse.expected
        IfExpr_getThen.expected
        IndexExpr
        IndexExpr.expected
        IndexExpr_getBase.expected
        IndexExpr_getIndex.expected
        Label
        Label.expected
        Label_getLifetime.expected
        LetExpr
        LetExpr.expected
        LetExpr_getExpr.expected
        LetExpr_getPat.expected
        LetStmt
        LetStmt.expected
        LetStmt_getInitializer.expected
        LetStmt_getLetElse.expected
        LetStmt_getPat.expected
        LetStmt_getTy.expected
        LiteralPat
        LiteralPat.expected
        LiteralPat_getLiteral.expected
        LoopExpr
        LoopExpr.expected
        LoopExpr.ql
        LoopExpr_getLabel.expected
        LoopExpr_getLoopBody.expected
        MacroCall
        MacroCall.expected
        MacroCall_getExpanded.expected
        MacroCall_getPath.expected
        MacroCall_getTokenTree.expected
        MacroExpr
        MacroExpr_getMacroCall.expected
        MacroItems
        CONSISTENCY
        DataFlowConsistency.expected
        MacroItems_getItem.expected
        MacroStmts
        MacroStmts_getExpr.expected
        MatchArm
        MatchArm.expected
        MatchArm_getExpr.expected
        MatchArm_getGuard.expected
        MatchArm_getPat.expected
        MatchExpr
        MatchExpr.expected
        MatchExpr_getExpr.expected
        MatchExpr_getMatchArmList.expected
        MethodCallExpr
        MethodCallExpr_getGenericArgList.expected
        Module
        Module.expected
        Module_getCrateOrigin.expected
        Module_getExtendedCanonicalPath.expected
        Module_getItemList.expected
        Module_getName.expected
        OffsetOfExpr
        OffsetOfExpr_getTy.expected
        OrPat
        OrPat.expected
        OrPat_getPat.expected
        Param
        Param.expected
        Param.ql
        Param_getPat.expected
        Param_getTy.expected
        gen_param.rs
        PathExpr
        CONSISTENCY
        DataFlowConsistency.expected
        PathExpr.expected
        PathExpr_getPath.expected
        PathPat
        PathPat.expected
        PathPat_getPath.expected
        PathSegment
        PathSegment.expected
        PathSegment_getGenericArgList.expected
        PathSegment_getNameRef.expected
        PathSegment_getPathType.expected
        PathSegment_getTy.expected
        gen_path_segment.rs
        PathType
        PathType.expected
        PathType_getPath.expected
        gen_path_type.rs
        Path
        Path.expected
        PathExpr.expected
        PathExpr.ql
        PathExpr_getAttr.expected
        PathExpr_getAttr.ql
        PathExpr_getPath.expected
        PathExpr_getPath.ql
        PathPat.expected
        PathPat.ql
        PathPat_getPath.expected
        PathPat_getPath.ql
        PathSegment.expected
        PathSegment.ql
        PathSegment_getGenericArgList.expected
        PathSegment_getGenericArgList.ql
        PathSegment_getNameRef.expected
        PathSegment_getNameRef.ql
        PathSegment_getParamList.expected
        PathSegment_getParamList.ql
        PathSegment_getPathType.expected
        PathSegment_getPathType.ql
        PathSegment_getRetType.expected
        PathSegment_getRetType.ql
        PathSegment_getReturnTypeSyntax.expected
        PathSegment_getReturnTypeSyntax.ql
        PathSegment_getTy.expected
        PathSegment_getTy.ql
        PathType.expected
        PathType.ql
        PathType_getPath.expected
        PathType_getPath.ql
        Path_getPart.expected
        Path_getQualifier.expected
        Path_getResolvedCrateOrigin.expected
        Path_getResolvedPath.expected
        gen_path.rs
        gen_path_expr.rs
        gen_path_pat.rs
        gen_path_type.rs
        RangeExpr
        RangeExpr.expected
        RangeExpr_getEnd.expected
        RangeExpr_getOperatorName.expected
        RangeExpr_getStart.expected
        RangePat
        RangePat_getEnd.expected
        RangePat_getStart.expected
        RecordExprField
        RecordExprField.expected
        RecordExprField_getExpr.expected
        RecordExprField_getNameRef.expected
        RecordExpr
        RecordExpr.expected
        RecordExpr_getPath.expected
        RecordExpr_getRecordExprFieldList.expected
        RecordPatField
        RecordPatField_getPat.expected
        RecordPat
        RecordPat.expected
        RecordPat_getPath.expected
        RecordPat_getRecordPatFieldList.expected
        RefExpr
        RefExpr.expected
        RefExpr_getExpr.expected
        RefPat
        RefPat.expected
        RefPat_getPat.expected
        ReturnExpr
        ReturnExpr.expected
        ReturnExpr_getExpr.expected
        SelfParam
        SelfParam.expected
        SelfParam.ql
        SelfParam_getName.expected
        gen_self_param.rs
        SlicePat
        SlicePat_getPat.expected
        SourceFile
        SourceFile_getItem.expected
        Trait
        AssocItemList_getAssocItem.expected
        Trait.expected
        Trait_getAssocItemList.expected
        Trait_getCrateOrigin.expected
        Trait_getExtendedCanonicalPath.expected
        Trait_getGenericParamList.expected
        Trait_getName.expected
        Trait_getVisibility.expected
        Trait_getWhereClause.expected
        TuplePat
        TuplePat_getField.expected
        TupleStructPat
        TupleStructPat_getField.expected
        UnderscoreExpr
        UnderscoreExpr.expected
        WhileExpr
        WhileExpr.ql
        WildcardPat
        WildcardPat.expected
      - utf8
        ast.expected
    - library-tests
      - controlflow-unstable
        Cfg.expected
      - controlflow
        Cfg.expected
      - dataflow
        barrier
        inline-flow.expected
        global
        inline-flow.expected
        viableCallable.expected
        local
        DataFlowStep.expected
        inline-flow.expected
      - variables
        Cfg.expected
        Ssa.expected
        variables.expected
    - query-tests
      - diagnostics
        CONSISTENCY
        ExtractionConsistency.expected
        ExtractionWarnings.expected
        SummaryStats.expected
        does_not_compile.rs
      - security/CWE-089/CONSISTENCY
        DataFlowConsistency.expected
- schema
  - annotations.py
shared/util/codeql/util
- Option.qll

357 files changed

+18579

-5302

lines changed

`‎2024-11-25-ts57.md`

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +---
 +category: majorAnalysis
 +---
 +* Added support for TypeScript 5.7.

Comments

(0)