K-CFA, K-OS Implementation in Chord

8 views

Skip to first unread message

Sheng echo

unread,

Apr 15, 2015, 2:24:54 PM4/15/15

to chord-...@googlegroups.com

Hi,

I am a beginner of program analysis and currently learning the source code of Chord.

But I am very confused of those .dlog files. Like in the implementation of K-CFA and K-OS, those two files are too hard to understand for me: "cspa_kobj.dlog" and "cspa_kcfa.dlog".

I assume it defines some rules to generate the call graph based different algorithms. But I cannot find any helpful materials that can explain the details of those algorithms nor doc in Chord to explain those rules.