Issues

• float.toString() result is lossy

  Complexity: MediumEngine: Evaluator
  github/codeql-cli-binaries#58 · Filter by author Marcono1234 opened on Mar 18, 2021
  6

• CodeQL: Make any() expression and exists() formula variable identifier optional

  CLIEngine: Compiler and OptimiserenhancementQLIP
  github/codeql-cli-binaries#53 · Filter by author Marcono1234 opened on Feb 12, 2021
  4

• [build err] Python not found + questions

  CLI
  github/codeql-cli-binaries#52 · Filter by author mxrch opened on Jan 22, 2021
  8

• evaluation/runQueries query server command fails silently if it fails to acquire the database lock

  CLI
  github/codeql-cli-binaries#51 · Filter by author pwntester opened on Dec 21, 2020
  2

• How to create codeql DB for android?

  CLI
  github/codeql-cli-binaries#50 · Filter by author sweetlie opened on Dec 16, 2020
  11

• The output location should both be a directory and not be directory

  CLI
  github/codeql-cli-binaries#48 · Filter by author lorenzleutgeb opened on Nov 3, 2020
  3

• compile AOSP with CodeQL

  CLI
  github/codeql-cli-binaries#47 · Filter by author to-the-batmobile opened on Oct 18, 2020
  16

• Single predicate causing bottleneck in queries

  CLIComplexity: Highenhancement
  github/codeql-cli-binaries#42 · Filter by author sad-dev opened on Aug 17, 2020
  5

• codeql run test doesn't match absolute fs paths in graph queries

  CLI
  github/codeql-cli-binaries#36 · Filter by author smowton opened on Jun 17, 2020
  3

• Building sgx-lkl under codeql fails.

  bugCLI
  github/codeql-cli-binaries#34 · Filter by author matt-gretton-dann opened on Jun 15, 2020
  2

• analyzing JS code with annotations

  CLI
  github/codeql-cli-binaries#32 · Filter by author franktip opened on Jun 3, 2020
  11

• including externs definitions in "codeql test"

  CLI
  github/codeql-cli-binaries#28 · Filter by author franktip opened on Apr 30, 2020
  5

  

• On MacOS, libtrace.dylib can't load into platform binaries for build instrumentation during DB creation

  CLI
  github/codeql-cli-binaries#26 · Filter by author xpcmdshell opened on Apr 19, 2020
  8

• codeql database interpret-results: Confusing (and possibly wrong) error message NO_KIND_SPECIFIED

  bugCLI
  github/codeql-cli-binaries#20 · Filter by author hmakholm opened on Mar 5, 2020
  1

• Make pretty-printing of graphs available to codeql query run

  CLI
  github/codeql-cli-binaries#17 · Filter by author criemen opened on Feb 6, 2020

• brew install on mac

  CLIenhancement
  github/codeql-cli-binaries#16 · Filter by author mteodori opened on Jan 30, 2020
  8

• Some files missing after database creation

  CLI
  github/codeql-cli-binaries#14 · Filter by author mvanotti opened on Jan 25, 2020
  12

• Provide tools to analyze the files in a database.

  CLIenhancement
  github/codeql-cli-binaries#13 · Filter by author mvanotti opened on Jan 24, 2020
  2

• Support non-standard compilation processes

  CLIenhancement
  github/codeql-cli-binaries#12 · Filter by author mvanotti opened on Jan 24, 2020
  20

• database analyze not honoring the memory limits.

  bugCLI
  github/codeql-cli-binaries#11 · Filter by author mvanotti opened on Jan 24, 2020
  7

• Can codeql binary use compile_database.json for cpp projects?

  CLIenhancement
  github/codeql-cli-binaries#9 · Filter by author Warchant opened on Jan 12, 2020
  1

  

• Cannot access CodeQL environment variables in database create --command

  CLI
  github/codeql-cli-binaries#2 · Filter by author max-schaefer opened on Nov 19, 2019
  4