Skip to content

Commit

Permalink
Update wiki for via_value_of for add_features_to_arguments
Browse files Browse the repository at this point in the history
Summary: As titled.

Differential Revision: D55150218

fbshipit-source-id: 8e8321d6930846637c41c4134bc5661385ac8eae
  • Loading branch information
Anwesh Tuladhar authored and facebook-github-bot committed Mar 21, 2024
1 parent d6784cc commit e5ead0f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion documentation/website/documentation/models.md
Original file line number Diff line number Diff line change
Expand Up @@ -476,7 +476,7 @@ we could use the following JSON to specifiy a via-type feature that would materi

#### Via-value Features

_Via-value_ feature captures the value of the specified callable's port seen at its callsites during taint flow analysis. They are specified similar to `Via-type` features -- in model generators within the "sources" or "sinks" field of a model with the "via_value_of" field. It is mapped to a nonempty list of ports of the method for which we want to create via-value features.
_Via-value_ feature captures the value of the specified callable's port seen at its callsites during taint flow analysis. They are specified similar to `Via-type` features -- in model generators within the "sources", "sinks" or "add_features_to_arguments" field of a model with the "via_value_of" field. It is mapped to a nonempty list of ports of the method for which we want to create via-value features.

For example, if we were interested in the specific `mode` with which the method below was called:

Expand Down

0 comments on commit e5ead0f

Please sign in to comment.