search for: zhixuan

Displaying 4 results from an estimated 4 matches for "zhixuan".

Did you mean: zhihua
2016 Dec 17
2
How to ask MustAlias queries from DSA results
...removed from DSA, the interface never returns MustAlias results. I guess it may not be possible to get 'MustAlias' results from DSA. Will it be possible to modify the DSA code so that every heap DSNode tracks all possible malloc() calls it comes from? Thanks for your help. Best regards, Zhixuan Yang -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20161217/8fe26204/attachment.html>
2016 Dec 17
0
How to ask MustAlias queries from DSA results
On 12/16/16 9:53 PM, 杨至轩(Zhixuan Yang) via llvm-dev wrote: > Hello, everyone! > > I'm writing an automatic memory leak fixing tool recently. For my > task, I'm using the DSA (Data Structure Analysis) for alias analysis. > In my task, when I detect a memory leak, I need to find a pointer (in > C) 'm...
2016 Dec 18
1
How to ask MustAlias queries from DSA results
...o analysis algorithm for your work. In fact, my task can be solved in a simpler (while less elegant) way. If I want to find pointers must-alias with a malloc() call, I can create a new variable storing the result returned by the malloc() when it is called. Thanks for your help. Best regards, Zhixuan Yang -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20161218/dc8ad692/attachment.html>
2016 Dec 19
0
How to ask MustAlias queries from DSA results
...ariable. In my task, I want to fix leaks in the C source code rather than relying on runtime libraries. Now, I think it's not necessary to use BBAC in my task. Maybe I will change my idea if I find too few bugs can be fixed without relying on any runtime libraries. Thanks a lot. Regards, Zhixuan Yang -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20161219/0675799e/attachment.html>