Shared, rust: Add option to disable reads steps as taint steps in model generator

This commit is contained in:
Simon Friis Vindum
2026-01-12 10:21:27 +01:00
parent 9cdf63e175
commit 8bfce6b284
2 changed files with 6 additions and 0 deletions

View File

@@ -113,6 +113,8 @@ module ModelGeneratorCommonInput implements
c.(SingletonContentSet).getContent() instanceof ElementContent
}
predicate applyReadStepsAsTaintSteps() { none() }
string partialModelRow(Callable api, int i) { i = 0 and result = api.getCanonicalPath() }
string partialNeutralModelRow(Callable api, int i) { result = partialModelRow(api, i) }