Commit Graph

  • b0dc48e393 Merge pull request #20723 from paldepind/rust/ti-inheritance Tom Hvitved 2025-11-17 13:36:05 +01:00
  • 4eb22a7e55 Rust: Fix grammar Simon Friis Vindum 2025-11-17 10:29:48 +01:00
  • 9971936036 Rust: Improvements to docs from review comments Simon Friis Vindum 2025-11-03 10:21:19 +01:00
  • a07f015d01 Rust: Accept changes to expected files Simon Friis Vindum 2025-11-03 09:55:34 +01:00
  • 3419c00bc0 Rust: Use ToIndex instead of FromIndex in ranked forex predicates Tom Hvitved 2025-11-17 12:27:53 +01:00
  • 7b25e22a37 Merge branch 'main' into java-kotlin-sensitive-logging-substring-barriers Paul Hodgkinson 2025-11-17 11:03:39 +00:00
  • 528c451007 Added change note, adjusted spacing in comment aegilops 2025-11-17 11:02:59 +00:00
  • 1df47cc747 C++: Fix QL-for-QL warning Jeroen Ketema 2025-11-13 13:32:06 +01:00
  • 15393ae621 C++: Add change note Jeroen Ketema 2025-11-13 13:15:03 +01:00
  • 61b7eb3d5c C++: Update dbscheme stats file Jeroen Ketema 2025-11-13 10:41:18 +01:00
  • a8d488fa29 C++: Add upgrade and downgrade scripts Jeroen Ketema 2025-11-12 15:32:20 +01:00
  • ee97d6f461 C++: Expose the expanded compilation arguments Jeroen Ketema 2025-11-12 11:47:29 +01:00
  • 861c236dae C++: Add table for expanded compilation arguments Jeroen Ketema 2025-11-12 11:44:12 +01:00
  • 4b57b4418f JS: Factor out some code Asger F 2025-11-17 10:48:15 +01:00
  • a405b7b3e0 JS: Add discard predicates for locations Asger F 2025-11-17 10:47:37 +01:00
  • 089bffff94 Rust: Make impl blocks only give rise to direct trait implementation Simon Friis Vindum 2025-10-30 15:50:03 +01:00
  • c0ebc17bdc Merge pull request #20768 from michaelnebel/csharp/extractionlogging Michael Nebel 2025-11-17 10:06:05 +01:00
  • 19ff5c09d2 Rust: Cache inferCertainType Tom Hvitved 2025-11-17 09:30:20 +01:00
  • e986cca5c1 Merge pull request #20843 from hvitved/rust/access-after-lifetime-speedup Tom Hvitved 2025-11-17 08:40:27 +01:00
  • 8047450668 javascript: Update property access for `document.defaultView as getAPropertyRead eliav 2025-11-17 01:05:58 +02:00
  • bd18e862eb javascript: add change note eliav 2025-11-17 01:02:21 +02:00
  • 30cc91421d javascript: Add support for document.defaultView in global variable references eliav 2025-11-17 00:52:06 +02:00
  • 8455663255 Rust: Speedup AccessAfterLifetime.ql Tom Hvitved 2025-11-15 15:17:33 +01:00
  • fabcd044d6 Merge pull request #20838 from owen-mc/go/fix/dataset-check-errors-sourcefile Owen Mansel-Chan 2025-11-14 21:04:24 +00:00
  • 0c0fbc1457 Fixed sensitive logging barriers for substring to allow single-arg use aegilops 2025-11-14 18:12:05 +00:00
  • 7817f55744 C++: Enable overlay compilation igfoo/overlay Ian Lynagh 2025-11-14 17:34:12 +00:00
  • fa703e3e60 Test cases for sensitive logging sanitizer aegilops 2025-11-14 16:53:46 +00:00
  • 68a03585da Merge pull request #20811 from github/redsun82/update-rules_java Paolo Tranquilli 2025-11-14 16:44:47 +01:00
  • 0f2e29c90e Merge pull request #20816 from paldepind/cpp/range-analysis-perf-fix Jeroen Ketema 2025-11-14 16:15:04 +01:00
  • 1c93710ed3 Merge pull request #20826 from aschackmull/guards/disjunctive-implication Anders Schack-Mulligen 2025-11-14 15:44:45 +01:00
  • 792ac7a772 C++: Fix typo Simon Friis Vindum 2025-11-14 12:59:41 +01:00
  • da12d73f25 Merge branch 'main' into redsun82/update-rules_java Paolo Tranquilli 2025-11-14 12:35:09 +01:00
  • 0f28502e68 Merge branch 'main' into redsun82/just2 redsun82/just2 Paolo Tranquilli 2025-11-14 12:28:00 +01:00
  • 1dd78e2f4b C++: Add change note Simon Friis Vindum 2025-11-11 15:34:29 +01:00
  • 5da73f3232 C++: Make sure that nrOfBoundsNEPhi is functional Simon Friis Vindum 2025-11-11 15:29:07 +01:00
  • 74b433ef59 C++: Add range analysis tests Simon Friis Vindum 2025-11-11 15:23:49 +01:00
  • 69e70d7cbc Reapply "Merge pull request #20645 from paldepind/cpp/range-analysis-measure" Simon Friis Vindum 2025-11-11 14:56:28 +01:00
  • 96f57b207d Merge pull request #20615 from github/idrissrio/java-jdk Idriss Riouak 2025-11-14 12:18:19 +01:00
  • 4867306b5e C#: Add change note. Anders Schack-Mulligen 2025-11-14 11:44:27 +01:00
  • dc029e8da9 C#: Accept qltest weirdness. Anders Schack-Mulligen 2025-11-14 11:38:13 +01:00
  • 59ac2d3d3e Move TransformPath into FileLabelFor Owen Mansel-Chan 2025-11-14 10:24:22 +00:00
  • 8668473916 Merge pull request #20683 from hvitved/rust/type-inference-arg-target-typed Tom Hvitved 2025-11-14 10:46:04 +01:00
  • 4c7f9c0144 Rust: Rename ContextType -> UnknownType Tom Hvitved 2025-11-14 10:16:21 +01:00
  • 4005a6e2de Merge pull request #20835 from github/dependabot/go_modules/go/extractor/extractor-dependencies-d13c81f2db Owen Mansel-Chan 2025-11-14 09:09:18 +00:00
  • 337e161aa3 Merge pull request #20834 from hvitved/rust/fix-bad-join Tom Hvitved 2025-11-14 09:57:56 +01:00
  • d916ebdc24 Java: Address review comments. Improve Change note Idriss Riouak 2025-11-14 09:53:09 +01:00
  • 79bdf897d7 Rust: Context typing for constructors Tom Hvitved 2025-11-03 19:09:37 +01:00
  • c16b42119d Rust: More type inference tests Tom Hvitved 2025-11-04 09:39:18 +01:00
  • e69ff0d5e8 Rust: Restrict type propagation into arguments Tom Hvitved 2025-10-23 16:02:56 +02:00
  • 72b7dd8955 Rust: Add more type inference tests Tom Hvitved 2025-10-23 15:17:30 +02:00
  • acfca601bc Bump golang.org/x/tools dependabot[bot] 2025-11-14 03:08:48 +00:00
  • f926a076b8 Rust: Fix bad join Tom Hvitved 2025-11-13 21:26:30 +01:00
  • caccee9990 Merge pull request #20833 from hvitved/rust/fix-bad-join Tom Hvitved 2025-11-13 19:11:27 +01:00
  • e0f0305ace Rust: Add test cases for rust/access-invalid-pointer based on real world FPs. Geoffrey White 2025-11-13 11:55:34 +00:00
  • 1b6b1e56ed Rust: Fix bad join Tom Hvitved 2025-11-13 15:21:04 +01:00
  • a28a718409 Merge pull request #20814 from aschackmull/guards/wrapper-perf Anders Schack-Mulligen 2025-11-13 13:16:13 +01:00
  • b31dfdd5f4 Guards: Add elaborating comment. Anders Schack-Mulligen 2025-11-13 13:09:44 +01:00
  • bfa35629ac Merge pull request #20744 from hvitved/rust/path-resolution-unqualified-use-tree Tom Hvitved 2025-11-13 11:18:41 +01:00
  • c6164b33e5 Address review comment Tom Hvitved 2025-11-13 10:47:04 +01:00
  • e43000f7cf Rust: Correct ordering in query suite .expected lists. Geoffrey White 2025-11-13 09:21:04 +00:00
  • 12cbb64ef8 Rust: Add query to suite .expected lists. Geoffrey White 2025-11-13 08:38:07 +00:00
  • 15fa99a288 Rust: Clarify some confusing text in the .qhelp. Geoffrey White 2025-11-13 09:00:46 +00:00
  • 42aca4a171 Apply suggestions from code review Geoffrey White 2025-11-13 08:51:41 +00:00
  • c7341f295d JS: Fix bad join in BarrierGuards.qll Asger F 2025-11-11 14:47:20 +01:00
  • 578355ac27 JS: Fix bad join in CallGraphs.qll Asger F 2025-11-11 14:47:09 +01:00
  • ecfa94600f Sync ApiGraphModels.qll Asger F 2025-11-03 11:43:16 +01:00
  • 16e7dc1b8a Sync ApiGraphModelsExtensions.qll Asger F 2025-11-03 11:42:52 +01:00
  • 46b1387846 JS: Make isAssignedInUniqueFile global, as it should be Asger F 2025-11-03 10:05:39 +01:00
  • 6498cd1b07 JS: Remove obsolete overlay[global] annotations Asger F 2025-10-31 09:35:40 +01:00
  • 0594f84dfc JS: Improve join orders related to getABooleanValue() Asger F 2025-10-22 12:24:23 +02:00
  • 4645f327a5 JS: Avoid more bad joins due to locality Asger F 2025-10-20 11:57:39 +02:00
  • 269489e817 JS: Avoid bad join in shared predicate induced by 'forex'. Asger F 2025-10-16 12:22:45 +02:00
  • 5dd87e379b JS: Add overlay[local] to restore magic in unwrap() predicate Asger F 2025-10-16 12:22:18 +02:00
  • ac3913e7db JS: Fix bad join in DuplicateProperty.ql Asger F 2025-10-16 12:01:57 +02:00
  • e72232fd1d JS: Add more overlay[caller?] annotations Asger F 2025-10-15 11:05:22 +02:00
  • 66febb263d JS: Add some overlay[caller] and a pragma[nomagic] annotations Asger F 2025-10-15 10:46:42 +02:00
  • 889209719b JS: Overlay annotations for some failing tests Taus 2025-10-10 15:10:17 +00:00
  • c09563f775 JS: Make more general-purpose data flow things local Asger F 2025-10-10 09:46:49 +02:00
  • b1418e1d70 JS: Add overlay[local?] to new summaries after rebasing Asger F 2025-10-10 13:27:46 +02:00
  • 2b338fc1d9 JS: Fix getRawEnclosingStmt call Asger F 2025-10-03 10:43:49 +02:00
  • 23e42c89ee JS: Overlay annotations for AST layer Asger F 2025-08-29 11:56:15 +02:00
  • e6d4e515b0 Java: Add change note for Maven Java version auto-detection idrissrio 2025-11-13 09:41:32 +01:00
  • 0675a29ae6 Rust: Minor corrections. Geoffrey White 2025-11-12 19:26:45 +00:00
  • 467bd541d2 Merge pull request #20770 from hvitved/rust/attribute-macro-expansion-filter Tom Hvitved 2025-11-12 19:52:09 +01:00
  • 7a62642ed7 Rust: Change note. Geoffrey White 2025-11-12 18:17:12 +00:00
  • 49063ac8a9 Rust: Cut down the example for readability. Geoffrey White 2025-11-12 18:13:02 +00:00
  • dcae0ef975 Rust: I prefer the original certificates reference from the Go .qhelp. Geoffrey White 2025-11-12 18:10:44 +00:00
  • 87d66c69a3 Rust: Clean up the .qhelp a little. Geoffrey White 2025-11-12 18:10:02 +00:00
  • bb78fdf150 Rust: Add qhelp and examples (translated from Go, by Copilot). Geoffrey White 2025-11-12 16:50:50 +00:00
  • c77eef39e2 Rust: Convert the query to a path-problem with global data flow. Geoffrey White 2025-11-11 17:55:29 +00:00
  • 209f394b5e Rust: Fix the alert message. Geoffrey White 2025-11-11 18:10:32 +00:00
  • f8ef48b924 Rust: Add query test. Geoffrey White 2025-11-11 16:22:40 +00:00
  • 86465b36e0 Merge pull request #20623 from github/nickrolfe/go-extractor-overlay Nick Rolfe 2025-11-12 14:56:25 +00:00
  • 9598772477 Update rust/ql/examples/snippets/simple_constant_password.ql Geoffrey White 2025-11-12 14:37:45 +00:00
  • 085d3c85cd Merge pull request #20425 from michaelnebel/csharp/basicextractoroverlay Michael Nebel 2025-11-12 15:25:57 +01:00
  • d6800394fa Guards: Support disjunctive implications. Anders Schack-Mulligen 2025-11-12 14:14:32 +01:00
  • 2192d75286 Java: Add test for a known FP. Anders Schack-Mulligen 2025-11-12 14:08:18 +01:00
  • 54ff206fde Merge pull request #20822 from github/dependabot/go_modules/go/extractor/extractor-dependencies-b217d21568 Owen Mansel-Chan 2025-11-12 09:27:06 +00:00
  • 7c31cf17d8 Merge pull request #20815 from github/update-ripunzip Paolo Tranquilli 2025-11-12 10:25:59 +01:00
  • 4a58a0158a Java: Reinstate useless null check results for fields that are no longer tracked as SSA variables. Anders Schack-Mulligen 2025-11-11 15:28:45 +01:00