about ConvertToString

[libin0410]

i dont find ConvertToString（） function in class Rewriter， is it written by yourself ？

[farseer002]

@libin0410
Sorry, this project may not be maintained any more. This is a toy project written by some novice programmers( I'm still a newbie :) ) to finish a small task, and we no longer cover anything about it.
If you want to do some simple and similar runtime verification(not model checking) using clang, I guess you need this tutorial:
https://github.com/loarabia/Clang-tutorial
We use libclang and RecursiveAST just to complete the checking of dividing-by-zero, array-index-out-of-bounds, no-match-for-malloc-free at very simple situation.

If you want to learn static analysis, other project like Lint, pysonar may be helpful.

[farseer002]

@libin0410
Maybe your clang version is too high since this is an old project and clang is developing rapidly.
Try clang 3.x or find the subsititute.

http://clang.llvm.org/doxygen/d1/d9b/classclang_1_1Rewriter.html

https://www.crest.iu.edu/projects/conceptcpp/docs/html-ext/classclang_1_1Rewriter.html#a6ac023ea1676823fd3002956e5938656