search for: gudka

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

2015 Mar 23
4
[LLVMdev] New kind of metadata to capture LLVM IR linking structure
On Mon, Mar 23, 2015 at 9:50 AM David Blaikie <dblaikie at gmail.com> wrote: > On Mon, Mar 23, 2015 at 8:15 AM, Khilan Gudka <Khilan.Gudka at cl.cam.ac.uk> > wrote: > >> Hi David >> >> Thanks for your email. >> >> What's the benefit/purpose of the MDLLVMModule over just having the >>> MDCompileUnits themselves? I would imagine the user cares about which >>>...
2015 Mar 23
2
[LLVMdev] New kind of metadata to capture LLVM IR linking structure
...tc)). It also allows an analysis tool to support turning on/off output warnings for particular libraries (as they can lead to a lot of analysis output). > > >> >> I would be very grateful if someone could review this. >> >> Thanks >> >> -- >> Khilan Gudka >> Research Associate >> Security Group >> Computer Laboratory >> University of Cambridge >> http://www.cl.cam.ac.uk/~kg365/ >> >> >> _______________________________________________ >> LLVM Developers mailing list >> LLVMdev at cs.uiuc.edu...
2015 Mar 20
2
[LLVMdev] New kind of metadata to capture LLVM IR linking structure
...iles> I thought this might be useful to the wider LLVM community and would like to see this added to LLVM. I have attached a patch that I produced against r232466. I've also added a corresponding DILLVMModule class. I would be very grateful if someone could review this. Thanks -- Khilan Gudka Research Associate Security Group Computer Laboratory University of Cambridge http://www.cl.cam.ac.uk/~kg365/ -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150320/29a8a5d6/attachment.html> --------------...
2012 Oct 12
0
[LLVMdev] Cambridge LLVM Afternoon Workshop on Monday
...CHERI - Language support for hardware capabilities David Chisnall 2:30 TESLA - Temporally Enhanced Security Logic Assertions Jonathan Anderson 2:50 Exploring compartmentalisation hypotheses with SOAAP Khilan Gudka 3:10 Coffee Everyone 3:30 Sigma*: Symbolic Learning of Stream Filters Matko Botincan 3:50 Efficient compilation of automata Bruce Watson 4:10...