Daniel Grumberg
Daniel Grumberg
Adds a fast-path for `memset`, `memcpy`, and `memmove` with concrete arguments. Instead of delegating to the implementation of these functions, we add a fast path via a call to `__klee_handle_mem{set|cpy|move}`...
When a signal action is attached from the plugin, it is not possible to properly locate symbols for functions in the client program in order to present the user with...
What I have in mind is using something like what `highlight-changes-mode` does on save to track the modified lines. We could then use the current RCS patch strategy to match...
rdar://125622225
This sets up the necessary stuff to include symbols from exported imported modules in symbol graphs generated using the swift-symbolgraph-extract tool Changes include: Add option to provide an allow list...
The additional "calls" to `__klee_handle_mem{set|cpy|move}` are intercepted by the klee `SpecialFunctionHandler` and implement the intended functionality directly in concrete cases. The associated PR in klee is at https://github.com/klee/klee/pull/1341 which needs...