Displaying 3 results from an estimated 3 matches for "aareachability".
2020 Mar 18
2
[GSOC] "Project: Improve inter-procedural analyses and optimisations"
...be a very good issue
> for me, It seems doable and I can get familiar with the whole process of
> writing a patch for an issue. How should I indicate to the community that I
> have started working towards this issue (should I comment on the issue page
> on github?)? I can try to work on AAReachability TODO after solving this
> issue.
I think the AAReachability TODO is being worked on but #179 not, as far
as I know. Would you be interested in taking this one? If so, make sure
to split it in multiple smaller patches, starting with one for the
LangRef.doc and the Attributor.
FIWI, I think we w...
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
2020 Mar 16
3
[GSOC] "Project: Improve inter-procedural analyses and optimisations"
...does it call then? how are attributes
created? etc.) When starting out, these things might not be important to
tackle. But they helped me. > How should I indicate to the community that I
have started working towards this issue (should I comment on the issue page
on github?)? I can try to work on AAReachability TODO after solving this
issue.
You can write it in the Github comments. I don't think you can / need to do
something else. Kind regards, Stefanos Baziotis
Στις Δευ, 16 Μαρ 2020 στις 12:12 π.μ., ο/η Fahad Nayyar <
fahad17049 at iiitd.ac.in> έγραψε:
> Dear Stefan and Stefanos,
>
>...