Mathias Vorreiter Pedersen b7b731bab7 Merge branch 'main' into mad-write-through-model

2026-06-30 15:12:02 +01:00

..

concepts

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

controlflow

Use module already provided by BasicBlocks lib

2026-06-18 12:37:27 +01:00

dataflow

Go: Fixes after changes to the flow summary API.

2026-06-23 20:33:14 +01:00

dependencies

Go: annotate the standard library with for overlay

2026-03-13 15:03:01 +00:00

frameworks

Model panicking log functions better

2026-06-02 01:32:00 +01:00

internal

Sync OverlayXml.qll

2025-11-28 09:23:49 +01:00

security

Expand FileNameSource for stored xss

2026-06-25 22:50:21 +01:00

Architectures.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

AST.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

Comments.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

Concepts.qll

(Trivial) Fix QLDoc grammar

2026-06-02 00:39:25 +01:00

Decls.qll

Make getACallee overlay[global]

2026-04-24 12:35:11 +01:00

DiagnosticsReporting.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

Errors.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

Expr.qll

Deprecate FuncTypeExpr.getResultDecl()

2026-06-09 12:20:04 +02:00

Files.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

GoMod.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

HTML.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

Locations.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

Overlay.qll

Factor XML discard predicates into OverlayXml.qll

2025-11-26 11:48:32 +01:00

Packages.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

PrintAst.ql

Fix formatting of QLDocs

2023-03-31 16:47:56 +01:00

PrintAst.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

Scopes.qll

Make getACallee overlay[global]

2026-04-24 12:35:11 +01:00

Stmt.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

StringOps.qll

Go: annotate the standard library with for overlay

2026-03-13 15:03:01 +00:00

Types.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

Util.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00

VariableWithFields.qll

Mark various files as overlay[local]

2026-03-13 15:03:02 +00:00