Displaying 3 results from an estimated 3 matches for "heaptostackconversions".
2020 Mar 13
3
[GSOC] "Project: Improve inter-procedural analyses and optimisations"
...tra-procedural analysis passes of LLVm. I’ve seen the tutorial [4]. I
would like to discuss ways of improving other optimization passes similarly
(or some examples which have already been implemented).
2.
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?
3.
Improve Liveness related capabilities of Attributor. Again I want to
consider whether some attribute deduction can help liveness (dis)provers....
2020 Mar 14
3
[GSOC] "Project: Improve inter-procedural analyses and optimisations"
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 for it directly, but they c...
2020 Mar 16
3
[GSOC] "Project: Improve inter-procedural analyses and optimisations"
...vm/llvm-project/issues/179
>
>
>
>
> On Sat, Mar 14, 2020 at 4:12 PM Stefan Stipanovic <stefomeister at gmail.com>
> wrote:
>
>> 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 p...