[LLVMdev] Another project using LLVM: LENS, a program investigation framework.

[Michael McCracken]

Hi again, here's the website for LENS:
http://www.cse.ucsd.edu/~mmccrack/lens/

Feedback about any part of what we're doing is welcome.

We only have a tech report thus far, and it describes the framework
itself more than the integration with LLVM, so if anyone has any
questions about what we use LLVM for, I'll be glad to answer via
email.

(Read on if you're interested in details:)
We are using LLVM to generate our program structure definitions, aka
the 'external representation' of the program, and we have also
modified some passes in LLVM to respond to queries about their success
as a demonstration of the technique. We don't currently have a version
of LLVM that exposes similar information about all the passes.

-mike

On 2/10/06, Chris Lattner <sabre at nondot.org> wrote:
> On Fri, 10 Feb 2006, Michael McCracken wrote:
> > The project is called LENS. It's a file format and a framework for storing
> > generic information about a program based on the control structure of the
> > ...
>
> Very cool!
>
> > I'll be putting up a LENS web page soon - I'll post a link to that when it's
> > ready so you can add it to the LLVM projects list if you want.
>
> Please do, I would like to add a link from the projects using LLVM page.
> Also if you have any publications, we can host a copy of them on the
> publications page for you if you'd like.
>
> Thanks!
>
> -Chris
>
> --
> http://nondot.org/sabre/
> http://llvm.org/
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>



--
Michael McCracken
UCSD CSE PhD Candidate
research: http://www.cse.ucsd.edu/~mmccrack/
misc: http://michael-mccracken.net/wp/