Erik Krogh Kristensen 6b0df9bdfb refactor the concretize algorithm

2022-06-23 14:36:25 +02:00

..

consistency-queries

Kotlin/Java: Add the beginnings of a "visibility" consistency query

2022-06-21 17:24:37 +01:00

examples

Use EqualityTest for either value or ref comparions, and ReferenceEqualityTest for strictly ref comparison.

2022-05-10 19:51:17 +01:00

lib

refactor the concretize algorithm

2022-06-23 14:36:25 +02:00

src

Java: Report log-injection at the source rather than the sink

2022-06-22 13:05:20 +01:00

test

make ReDoSPruning into a parameterized module

2022-06-23 14:36:25 +02:00