3 ms·
People at Mozilla have created a lot of neat tools for working with large C/C++ code bases. Relavent Links: https://developer.mozilla.org/en/Dehydra https://d
by turnersr 15y ago
People at Mozilla have created a lot of neat tools for working with large C/C++ code bases.
Relavent Links:
https://developer.mozilla.org/en/Dehydra https://developer.mozilla.org/en/Dehydra
https://developer.mozilla.org/en/Treehydra https://developer.mozilla.org/en/Treehydra
http://dxr.lanedo.com/ http://dxr.lanedo.com/
http://corp.galois.com/blog/2010/6/4/tech-talk-large-scale-static-analysis-at-mozilla.html http://corp.galois.com/blog/2010/6/4/tech-talk-large-scale-s...
- tptacek 15y agoDehydra and Treehydra are GCC extensions; they have to be integrated (painfully) into your build environment. DXR is a source code search engine. It appears to be cscope with a database. That's not nothing, but it's not exactly taking us out of the opaque blobs of text and into semantics.
- turnersr 15y agoI agree that it is pain to integrate. Once integrated, however, these tools offer a start on the road towards semantics. Here is an overview of some of the techniques used in Treehydra: https://wiki.mozilla.org/Abstract_Interpretation https://wiki.mozilla.org/Abstract_Interpretation DXR is currently a pain to get up and running. There's been talk on the mailing list on streamlining the install process but it would still require a lot intervention depending the compilation process. https://groups.google.com/forum/#!topic/mozilla.dev.static-analysis/q0TunpwhnOU https://groups.google.com/forum/#!topic/mozilla.dev.static-a...
- tptacek 15y agoDoes DXR do anything particularly interesting, as far as source code search engines go?
- wladimir 15y agoInteresting! I've seen DXR before but it used to be pretty limited, no advanced queries, and the project seemed to be dead. Nice to see there is at least work in that direction. Large projects such as Mozilla could especially benefit from it.