Jonas Jensen 3ffda2f341 Shared: Overhaul the AlertFiltering QLDoc ...

The documentation is now up-to-date with the new and more relaxed rules
that allow overapproximating the results. I have also attempted to make
a clearer distinction between the requirements of the specification and
the behaviour of the implementation.

2025-07-09 14:32:18 +02:00

..

suppression

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

test

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

AlertFiltering.qll

Shared: Overhaul the AlertFiltering QLDoc

2025-07-09 14:32:18 +02:00

Boolean.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

DenseRank.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Either.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

FilePath.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

FileSystem.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Location.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Numbers.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Option.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

ReportStats.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Strings.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Unit.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Void.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00