Max Schaefer 48105db5b0 Fix isNeutral predicates.

2024-02-08 13:22:53 +00:00

..

AutomodelApplicationModeExtraction

Improve representation of implicit varargs arrays to more reliably filter out known flow steps.

2024-02-08 13:22:52 +00:00

AutomodelFrameworkModeExtraction

Fix isNeutral predicates.

2024-02-08 13:22:53 +00:00

AutomodelExtractionTests.qll

Rename {source,sink}Model to {source,sink}ModelCandidate.

2024-01-22 13:10:51 +00:00

qlpack.yml

Turn AutomodelApplicationModeExtractCandidates into an inline-expectations test.

2024-01-17 14:40:46 +00:00