C ++ kodu için arama grafiği oluşturma

Belirli bir işleve ulaşan tüm olası yürütme yollarını bulmak için arama grafiği oluşturmaya çalışıyorum (böylece bu işleve götüren birçok yol olduğu için tüm yolları manuel olarak bulmam gerekmiyor. ). Örneğin:

path 1: A -> B -> C -> D  
path 2: A -> B -> X -> Y -> D  
path 3: A -> G -> M -> N -> O -> P -> S -> D  
...  
path n: ...

Codeviz ve Doxygen'i denedim, bir şekilde her iki sonuç da hedef fonksiyonun callees'inden başka bir şey göstermiyor, D. Benim durumumda, D, nesnesi akıllı bir göstericiye sarılacak olan bir sınıfın üye fonksiyonudur. Müşteriler, D'yi çağırmak için akıllı işaretçi nesnesini her zaman bir fabrika aracılığıyla elde edeceklerdir.

Bunu nasıl başaracağını bilen var mı?

static void D() { }
static void Y() { D(); }
static void X() { Y(); }
static void C() { D(); X(); }
static void B() { C(); }
static void S() { D(); }
static void P() { S(); }
static void O() { P(); }
static void N() { O(); }
static void M() { N(); }
static void G() { M(); }
static void A() { B(); G(); }

int main() {
  A();
}

Sonra

$ clang++ -S -emit-llvm main1.cpp -o - | opt -analyze -dot-callgraph
$ dot -Tpng -ocallgraph.png callgraph.dot

Parlak bir resim verir ("harici bir düğüm" vardır, çünkü mainharici bağlantıya sahiptir ve bu çeviri biriminin dışından da çağrılabilir):

Bunu ile sonradan işlemek isteyebilirsiniz c++filt, böylece ilgili işlevlerin ve sınıfların yönetilmemiş adlarını alabilirsiniz. Aşağıdaki gibi

#include <vector>

struct A { 
  A(int);
  void f(); // not defined, prevents inlining it!
};

int main() {
  std::vector<A> v;
  v.push_back(42);
  v[0].f();
}

$ clang++ -S -emit-llvm main1.cpp -o - |
   opt -analyze -std-link-opts -dot-callgraph
$ cat callgraph.dot | 
   c++filt | 
   sed 's,>,\\>,g; s,-\\>,->,g; s,<,\\<,g' | 
   gawk '/external node/{id=$1} $1 != id' | 
   dot -Tpng -ocallgraph.png    

Bu güzelliği sağlar (oh tanrım, optimizasyonların açılmadığı boyut çok büyüktü!)

Bu mistik isimsiz işlev, Node0x884c4e0tanımı bilinmeyen herhangi bir işlev tarafından çağrıldığı varsayılan bir yer tutucudur.

Bunu doxygen kullanarak elde edebilirsiniz (grafikler oluşturmak için nokta kullanma seçeneğiyle).

Johannes Schaub - litb main.cpp ile bunu üretir:

doxygen / dot, clang / opt'in yüklenmesi ve çalıştırılmasından daha kolaydır. Kendim kurmayı başaramadım ve bu yüzden alternatif bir çözüm bulmaya çalıştım!

Doğru bir C ++ çağrı grafiğini statik olarak hesaplamak zordur, çünkü kesin bir dil ayrıştırıcısına, doğru ad aramasına ve dil anlamını doğru bir şekilde yerine getiren iyi bir noktadan analiz ediciye ihtiyacınız vardır. Doxygen bunlardan hiçbirine sahip değil, insanların neden C ++ için sevdiklerini iddia ettiklerini bilmiyorum; Doxygen'in hatalı olarak analiz ettiği 10 satırlık bir C ++ örneği oluşturmak kolaydır).

Dinamik olarak bir arama grafiği toplayan bir zamanlama profili oluşturucu çalıştırmanız daha iyi olabilir. (bu bizimkini açıklar) ve sadece birçok vakayı uygulayan bir . Bu tür profil oluşturucular size uygulanan gerçek arama grafiğini gösterecektir.

DÜZENLEME: Birden C ++ için Anlamayı hatırladım arama grafikleri oluşturduğunu iddia eden . Ayrıştırıcı için ne kullandıklarını veya ayrıntılı analizi doğru yapıp yapmadıklarını bilmiyorum; Ürünleriyle ilgili belirli bir deneyimim yok.

Schaub'ın Clang kullanarak verdiği yanıttan etkilendim; Clang'ın tüm unsurlara sahip olmasını beklerdim.

CppDepend'i kullanabilirsiniz , birçok türde grafik oluşturabilir

• Bağımlılık Grafiği
• Arama Grafiği
• Sınıf Kalıtım Grafiği
• Kaplin Grafiği
• Yol Grafiği
• Tüm Yollar Grafiği
• Döngü Grafiği

clang++Komutun standart başlık dosyalarını bulabilmesi için mpi.hiki ek seçenek gibi kullanılması gerekir -### -fsyntax-only, yani tam komut şu şekilde görünmelidir:

clang++ -### -fsyntax-only -S -emit-llvm main1.cpp -o - | opt -analyze -dot-callgraph

"C ++ Bsc Analyzer", bscmake yardımcı programı tarafından oluşturulan dosyayı okuyarak arama grafiklerini görüntüleyebilir.

doxygen + graphviz , daha sonra insan gücüne verilen çağrı grafiği oluşturmak istediğimizde çoğu sorunu çözebilir.

Scitools anlayın bir olan fantastik bir araç, ben biliyorum her şeyi daha iyi ters mühendislik ve üretir kaliteli grafikler .

Ancak bunun oldukça pahalı olduğunu ve deneme sürümünün kelebek arama grafiğinin yalnızca bir arama seviyesi ile sınırlı olduğunu unutmayın (IMHO, bunu yaparken kendilerine yardımcı olmadıklarına inanıyorum ...)