search

AliveToolkit / alive2

Automatic verification of LLVM optimizations
MIT License
721 stars 93 forks source link

optimize indirect fn calls #1003

Closed nunoplopes closed 3 weeks ago

nunoplopes commented 5 months ago

so they only search for potencial targets from a subset list. This list can be collected by intersecting the list of addr taken functions in src and directly called fns in tgt.

nunoplopes commented 3 weeks ago

not possible