symbolic: Factor stack setup code into its own module

GaloisInc / macaw

Open source binary analysis tools.

BSD 3-Clause "New" or "Revised" License

208 stars 21 forks source link

symbolic: Factor stack setup code into its own module #431

Closed langston-barrett closed 2 months ago

langston-barrett commented 3 months ago

Factors some code out of Testing into its own module for the sake of clarity and code-sharing. Several downstream projects could benefit from this API, see #430 for examples.

Also, rewrites a comment that I believe to have been misleading.