Developing Contraol Flow graph for Solidity Smart Contracts in C/C++ Language

[zak100]

Hi,

I am interested in developing Control flow graph in C++ language. What are the advantages available (i.e. libraries for C++ developers related to EVM) in this regard?Kindly guide me.

Please guide me some CFG tutorial in this regard.

Zulfi

[kbw]

C++ kinda sucks when it comes to libraries. Which, in itself, is ironic because C++ was created to write libraries.

And even the stuff it provides is often inadequate, and we often have to build our dogs from quarks. For example, compare C++'s std::string with Ruby's string class. The C++ one should have kept the name basic_string, which is what it really is, a vector of chars.

I'd suggest looking for math libraries, probably start on github and google.

Doing that myself showed:
CoFlo, which died in 2012, http://coflo.sourceforge.net/wordpress/
github has virtually nothing: https://github.com/search?q=c%2B%2B+%22control+flow+graph%22

You may have to build your dog from quarks.

[zak100]

Hi,
Thanks for your response. I am not a se, I cant understand what you mean by dog or dogs.

You mean first I have to search for C++ libraries for EVM/Solidity?

Zulfi.

[kbw]

It means, you'll probably have to build it yourself from more primitive code or libs.