File tree

• docs
  • codeql
    • .gitignore
    • .vale.ini
    • README.rst
    • _static
      • custom.css_t
      • primer.css
    • _templates
      • layout.html
    • codeql-cli
      • codeql-cli-reference
        • about-ql-packs.rst
        • exit-codes.rst
        • index.rst
        • query-reference-files.rst
        • sarif-output.rst
        • specifying-command-options-in-a-codeql-configuration-file.rst
      • index.rst
      • using-the-codeql-cli
        • about-the-codeql-cli.rst
        • analyzing-databases-with-the-codeql-cli.rst
        • creating-codeql-databases.rst
        • creating-codeql-query-suites.rst
        • getting-started-with-the-codeql-cli.rst
        • index.rst
        • testing-custom-queries.rst
        • testing-query-help-files.rst
        • upgrading-codeql-databases.rst
        • using-custom-queries-with-the-codeql-cli.rst
    • codeql-for-visual-studio-code
      • .gitignore
      • about-codeql-for-visual-studio-code.rst
      • analyzing-your-projects.rst
      • customizing-settings.rst
      • exploring-data-flow-with-path-queries.rst
      • exploring-the-structure-of-your-source-code.rst
      • index.rst
      • setting-up-codeql-in-visual-studio-code.rst
      • testing-codeql-queries-in-visual-studio-code.rst
      • troubleshooting-codeql-for-visual-studio-code.rst
    • codeql-language-guides
      • codeql-for-cpp
        • analyzing-data-flow-in-cpp.rst
        • basic-query-for-cpp-code.rst
        • codeql-library-for-cpp.rst
        • conversions-and-classes-in-cpp.rst
        • detecting-a-potential-buffer-overflow.rst
        • expressions-types-and-statements-in-cpp.rst
        • functions-in-cpp.rst
        • hash-consing-and-value-numbering.rst
        • index.rst
        • refining-a-query-to-account-for-edge-cases.rst
        • using-range-analsis-in-cpp.rst
        • using-the-guards-library-in-cpp.rst
      • codeql-for-csharp
        • analyzing-data-flow-in-csharp.rst
        • basic-query-for-csharp-code.rst
        • codeql-library-for-csharp.rst
        • index.rst
      • codeql-for-go
        • abstract-syntax-tree-classes-for-working-with-go-programs.rst
        • ast.dot
        • ast.png
        • basic-query-for-go-code.rst
        • cfg.dot
        • cfg.png
        • cfg2.dot
        • cfg2.png
        • codeql-library-for-go.rst
        • dfg.dot
        • dfg.png
        • index.rst
        • modeling-data-flow-in-go-libraries.rst
        • ssa.dot
        • ssa.png
      • codeql-for-javascript
        • abstract-syntax-tree-classes-for-working-with-javascript-and-typescript-programs.rst
        • analyzing-data-flow-in-javascript.rst
        • basic-query-for-javascript-code.rst
        • codeql-library-for-javascript.rst
        • codeql-library-for-typescript.rst
        • data-flow-cheat-sheet-for-javascript.rst
        • index.rst
        • using-flow-labels-for-precise-data-flow-analysis.rst
        • using-type-tracking-for-api-modeling.rst
      • codeql-for-java
        • abstract-syntax-tree-classes-for-working-with-java-programs.rst
        • analyzing-data-flow-in-java.rst
        • annotations-in-java.rst
        • basic-query-for-java-code.rst
        • codeql-library-for-java.rst
        • index.rst
        • javadoc.rst
        • navigating-the-call-graph.rst
        • overflow-prone-comparisons-in-java.rst
        • types-in-java.rst
        • working-with-source-locations.rst
      • codeql-for-python
        • analyzing-control-flow-in-python.rst
        • analyzing-data-flow-and-tracking-tainted-data-in-python.rst
        • basic-query-for-python-code.rst
        • codeql-library-for-python.rst
        • expressions-and-statements-in-python.rst
        • functions-in-python.rst
        • index.rst
        • pointer-analysis-and-type-inference-in-python.rst
      • index.rst
    • codeql-overview
      • about-codeql.rst
      • codeql-glossary.rst
      • codeql-tools.rst
      • index.rst
      • supported-languages-and-frameworks.rst
    • conf.py
    • images
      • codeql-for-visual-studio-code
        • choose-database.png
        • explore-ast.png
        • open-extension-settings.png
        • open-source-file.png
        • open-test-explorer.png
        • query-history.png
        • run-multiple-queries.png
        • select-logs.png
        • show-test-diff.png
      • monotonic-aggregates-graph.png
      • python-flow-graph.png
      • ql-select-statement-basic.png
      • ql-select-statement-filename.png
      • ql-select-statement-similarity.png
      • query-metadata.png
      • query-progress.png
    • index.rst
    • ql-language-reference
      • .gitignore
      • about-the-ql-language.rst
      • aliases.rst
      • annotations.rst
      • evaluation-of-ql-programs.rst
      • expressions.rst
      • formulas.rst
      • index.rst
      • lexical-syntax.rst
      • modules.rst
      • name-resolution.rst
      • predicates.rst
      • ql-language-specification.rst
      • qldoc-comment-specification.rst
      • queries.rst
      • recursion.rst
      • types.rst
      • variables.rst
    • ql-training
      • _static-training
        • alternative-slide.svg
        • analysis-overview.png
        • curiosity.png
        • curiosity2.png
        • end-slide.svg
        • java-data-flow-code-example.svg
        • java-expression-ast.svg
        • mismatched-calls-and-returns.svg
        • normal-slide.svg
        • setup-slide.svg
        • slides-semmle-2
          • end_slide.html
          • layout.html
          • slide.html
          • static
            • config.rb
            • js
              • hammer.js
              • modernizr.custom.45394.js
              • order.js
              • polyfills
                • classList.min.js
                • dataset.min.js
                • history.min.js
              • prettify
                • lang-apollo.js
                • lang-clj.js
                • lang-css.js
                • lang-go.js
                • lang-hs.js
                • lang-lisp.js
                • lang-lua.js
                • lang-ml.js
                • lang-n.js
                • lang-proto.js
                • lang-scala.js
                • lang-sql.js
                • lang-tex.js
                • lang-vb.js
                • lang-vhdl.js
                • lang-wiki.js
                • lang-xq.js
                • lang-yaml.js
                • prettify.css
                • prettify.js
              • require-1.0.8.min.js
              • slide-controller.js
              • slide-deck-instantiate.js
              • slide-deck.js
              • slide-testing.js
              • slides.js
            • slide_config.js_t
            • slide_config.js
            • theme
              • css
                • default.css
                • hieroglyph.css
                • io2013.css
                • phone.css
              • scss
                • _base.scss
                • _variables.scss
                • default.scss
                • hieroglyph.scss
                • io2013.scss
                • phone.scss
          • theme.conf
          • title_slide.html
        • title-slide.svg
      • conf.py
      • cpp
        • bad-overflow-guard.rst
        • control-flow-cpp.rst
        • data-flow-cpp.rst
        • global-data-flow-cpp.rst
        • intro-ql-cpp.rst
        • program-representation-cpp.rst
        • snprintf.rst
      • index.rst
      • java
        • apache-struts-java.rst
        • data-flow-java.rst
        • global-data-flow-java.rst
        • intro-ql-java.rst
        • program-representation-java.rst
        • query-injection-java.rst
      • query-examples
        • cpp
          • bad-overflow-guard-1.ql
          • bad-overflow-guard-2.ql
          • bad-overflow-guard-3.ql
          • control-flow-cpp-1.ql
          • control-flow-cpp-2.ql
          • control-flow-cpp-3.ql
          • control-flow-cpp-4.ql
          • control-flow-cpp-5.ql
          • data-flow-cpp-1.ql
          • data-flow-cpp-2.ql
          • empty-if-cpp-class.ql
          • empty-if-cpp-model.ql
          • empty-if-cpp-predicate.ql
          • empty-if-cpp.ql
          • global-data-flow-cpp-1.ql
          • snprintf-1.ql
        • java
          • data-flow-java-1.ql
          • data-flow-java-2.ql
          • empty-if-java-class.ql
          • empty-if-java-model.ql
          • empty-if-java-predicate.ql
          • empty-if-java.ql
          • global-data-flow-java-1.ql
          • query-injection-java-1.ql
          • query-injection-java-2.ql
          • query-injection-java-3.ql
      • slide-snippets
        • abstract-syntax-tree.rst
        • database-note.rst
        • global-data-flow-extra-slides.rst
        • global-data-flow.rst
        • intro-ql-general.rst
        • local-data-flow.rst
        • path-queries.rst
      • template.rst
    • qllexer.py
    • reusables
      • abstract-syntax-tree.rst
      • advanced-query-execution.rst
      • codeql-cli-overview.rst
      • codeql-ref-tools-further-reading.rst
      • cpp-further-reading.rst
      • csharp-further-reading.rst
      • download-lgtm-database.rst
      • extractors.rst
      • go-further-reading.rst
      • index-files-note.rst
      • java-further-reading.rst
      • javascript-further-reading.rst
      • license-note.rst
      • path-problem.rst
      • python-further-reading.rst
      • running-queries-debug.rst
      • test-qlpack.rst
      • threads-query-execution.rst
    • support
      • conf.py
      • framework-support.rst
      • index.rst
      • language-support.rst
      • read-me-project.rst
      • reusables
        • frameworks.rst
        • versions-compilers.rst
    • vale-styles
      • Microsoft
        • AMPM.yml
        • Accessibility.yml
        • Acronyms.yml
        • Adverbs.yml
        • Auto.yml
        • Avoid.yml
        • Backend.yml
        • ComplexWords.yml
        • Contractions.yml
        • Dashes.yml
        • DateFormat.yml
        • DateNumbers.yml
        • DateOrder.yml
        • Ellipses.yml
        • FirstPerson.yml
        • Foreign.yml
        • Gender.yml
        • GenderBias.yml
        • GeneralURL.yml
        • HeadingAcronyms.yml
        • HeadingColons.yml
        • HeadingPunctuation.yml
        • Headings.yml
        • Hyphens.yml
        • Negative.yml
        • Ordinal.yml
        • OxfordComma.yml
        • Passive.yml
        • Percentages.yml
        • Quotes.yml
        • RangeFormat.yml
        • RangeTime.yml
        • Ranges.yml
        • Semicolon.yml
        • SentenceLength.yml
        • Spacing.yml
        • Suspended.yml
        • Terms.yml
        • URLFormat.yml
        • Units.yml
        • Vocab.yml
        • We.yml
        • Wordiness.yml
        • meta.json
        • vocab.txt
      • README.md
      • Semmle
        • Headings.yml
        • Spelling.yml
        • ignore.txt
    • writing-codeql-queries
      • codeql-queries
        • about-codeql-queries.rst
        • about-data-flow-analysis.rst
        • creating-path-queries.rst
        • defining-the-results-of-a-query.rst
        • index.rst
        • metadata-for-codeql-queries.rst
        • providing-locations-in-codeql-queries.rst
        • query-help-files.rst
        • troubleshooting-query-performance.rst
      • index.rst
      • ql-tutorials
        • catch-the-fire-starter.rst
        • cross-the-river.rst
        • crown-the-rightful-heir.rst
        • find-the-thief.rst
        • index.rst
        • introduction-to-ql.rst
        • river-crossing-1.ql
        • river-crossing.ql
  • language
    • codeql
      • .gitignore
      • codeql-cli.rst
      • codeql-for-visual-studio-code.rst
      • conf.py
      • index.rst
      • notes-ql-users.rst
      • snippets
        • advanced-query-execution.rst
        • running-queries-debug.rst
    • images/codeql-for-visual-studio-code
      • choose-database.png
      • explore-ast.png
      • open-extension-settings.png
      • open-source-file.png
      • open-test-explorer.png
      • query-history.png
      • run-multiple-queries.png
      • select-logs.png
      • show-test-diff.png
    • learn-ql
      • conf.py
      • index.rst
      • ql-training.rst
      • terminology-note.rst
    • reusables
      • codeql-cli-overview.rst
      • download-lgtm-database.rst
      • extractors.rst
      • index-files-note.rst
      • license-note.rst
      • test-qlpack.rst
      • threads-query-execution.rst