There are a number of tools in the srctools distribution.
The srccon tool can be used to automatically identify conceptual requirements of template functions as described in the ICSM'08 paper, "Automatically Identifying C++0x Concepts in Function Templates".
The srccon tool taks as input, a srcML marked up file that has been translated as previously discussed. If you plan to change the analyzed source frequently, I suggest building a Makefile extension that will automatically re-translate the source file(s) during a build. The Makefile in the test directory gives a good example of how this might be done.
Running the program is actually fairly straightforward. Simply run srccon and give it the name of the srcML file to translate. For example, running the program on the find() algorithm in the test/stl directory would be written as:
> srccon find/find.hpp.xml
srccon currently generates a signficant amount of output - most of this is used for debugging and has not yet been turned off or made optional. The final results of the analysis are the last thing printed to the terminal.
srccon will also generate additional output files that contain the refinement lattice and the formal concept lattice named rig.dot and lattice.dot, respectively. These can be rendered into postscript, pdf or other image formats with the graphviz tool.
srccon works best if each file contains only a single function template. Although it will generate requiremeents for each template separately, it has not been extensively tested in this format.