JavaScript: Add model of JSON parsers #10
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Adds
JsonParserCall
which models a call to a JSON parser.JsonParseCall
to avoid confusion.JSON.parse
has been updated to includeJsonParserCall
.NosqlInjection
query used two-pass taint tracking to identify user-controlledJSON.parse
calls, and then use those as sources. This was redundant with the taint step throughJSON.parse
, however. This has been removed, instead relying on the standard taint step. I've added a test to make sure it still works. In theory, some results may disappear since the two-step solution technically allowed for mismatched call/returns.The evaluation indicates no changes; maybe a slight speed-up even due to
NosqlInjection
. The speed-up could be covering up a slow-down elsewhere, but looking over the per-query results there doesn't seem to be any glaring slow-downs. No new results were flagged.