A use case is when a media file contains headers. It would be nice to have a way to designate these as either concrete or not, or to constrain them to some value (such as the initial input i.e., make them concrete).
I don't know the best way to go about this. One possibility is, in the configuration file, have something akin to:
What this example illustrates is designating the first 128 bytes of the file "input.data" as concrete. That is, constrain them to the initial values provided in the file.
A use case is when a media file contains headers. It would be nice to have a way to designate these as either concrete or not, or to constrain them to some value (such as the initial input i.e., make them concrete).
I don't know the best way to go about this. One possibility is, in the configuration file, have something akin to:
What this example illustrates is designating the first 128 bytes of the file "input.data" as concrete. That is, constrain them to the initial values provided in the file.