Finishing DXR is probably quite boring - it mostly just needs porting to a different database at this stage. Although I'd be happy to have some help :-)
One area I haven't touched with DXR yet and would like to see done is handling macros, I think there is enough info in the compiler to do this really well, and if there is not, we should add it. If you're keen, ping me, I'd be happy to see this worked on. On a different note, I would be really keen to see dynamic or static analysis of unsafe blocks to show that they do in fact re-establish the invariants that the rust compiler expects by the end of the unsafe block. I expect this is hard to do, but would be super-interesting research. Cheers, Nick. On Fri, Oct 10, 2014 at 5:06 AM, Josh Matthews <[email protected]> wrote: > Finishing the DXR (https://wiki.mozilla.org/DXR) support for Rust that > Nick Cameron started would be extremely valuable and intersect with your > static analysis interests. > https://bugzilla.mozilla.org/show_bug.cgi?id=956768 is our tracking > metabug for the DXR-side work that is still required; presumably Nick (nrc > on irc) can clarify the Rust-side stuff remaining. > > Cheers, > Josh > > On 9 October 2014 02:22, Victor Barua <[email protected]> wrote: > >> I'm interested in a project from a programming languages perspective. >> It's an area I've recently gotten into and it would also align with the >> research focus of my supervisor. I think it would be interesting to work on >> some static analysis tooling. Sean mentioned a test coverage tool earlier >> in the thread which is actually a pretty good baseline for a project as >> it's a combination of mucking with the language internals (which I could >> talk about in a report) and implementing a useful tool. Your idea about >> proving properties of Rust programs would also make an excellent project as >> its a great combination of theory and implementation. >> >> I'd like to thank everyone for the ideas so far, there's a lot of good >> material and I'm slowly accumulating project ideas to run past my >> supervisor. If you've got more keep them coming. >> >> >> On 8 October 2014 21:36, Tony Arcieri <[email protected]> wrote: >> >>> On Wed, Oct 8, 2014 at 10:51 AM, Victor Barua <[email protected]> >>> wrote: >>> >>>> I'm a senior Computer Science undergraduate student at the University >>>> of British Columbia. As part of my degree I have to complete an >>>> undergraduate thesis which is a project of around 220 hours between now and >>>> next April. Rust is a language that has caught my eye and I would be very >>>> interested in working on something related to it that I could contribute >>>> back to the community at the end of my project. >>>> >>> >>> What are you interested in? I think it'd be really cool to create a >>> language based on Rust for proving properties about Rust programs using >>> things like dependent types, refinement types, or otherwise. >>> >>> -- >>> Tony Arcieri >>> >> >> >> _______________________________________________ >> Rust-dev mailing list >> [email protected] >> https://mail.mozilla.org/listinfo/rust-dev >> >> > > _______________________________________________ > Rust-dev mailing list > [email protected] > https://mail.mozilla.org/listinfo/rust-dev > >
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
