first commit
test
initial working draft
try
the code for extracting graph from results of IDA
this is a modification to divide the initial code into two parts for the convenience of debugging
this code is for realizing the abstraction method 1
code for abstracting method 2: Loop abstraction
a mid-term work
Merge remote-tracking branch 'cc_origin/master'