search for: aanounwind

...alse in the case that we're somehow sure that the instruction does not throw. In this case the instruction is a call, so it will return true if we're sure that the called function does not throw. But we're not, so we move forward. What then happens is a little bit weird but it basically AANoUnwind asks AANoUnwindCallSite for info because this instruction is a call site. Attributes ask one another and this is very important in the Attributor because one's information is useful in another. We do it with getAAFor. Without getting into too much info, the other attribute says that it's no...

Hi Fahad, > > Improve dynamic memory related capabilities of Attributor. For example > Improve HeapToStackConversions. Maybe such deductions can help safety > (dis)provers. For example, can we improve the use-after-free bug detection > using some attributes? > Stefan should know more about H2S. Regarding the use-after-free, I don't > think there's currently any plans