I have a reverse architecting project for inferring from source code the nested decomposition of a software system into subsystems. It can be extended to take binary executables on input, so to be used for reverse engineering too. It performs hierarchical clustering of the call&dependency graph in static analysis, so this technique can be applied for dynamic analysis using the dynamic call graph produced by a profiler.