Chao Peng comments

Results 8 comments of


                                            Chao Peng

Is there a detailed SIF installation and usage tutorial for beginners?

Thanks for the suggestion. I will make a starter's tutorial soon.

terminate called after throwing an instance of 'std::regex_error' what(): regex_error

Can you provide us with the contract code for us to debug the problem?

Continue/break statements and strings problems in CFG generation

Can you provide the code snippet for us to test through?

Continue/break statements and strings problems in CFG generation

Thank you very much for providing this useful bug report. I will work on these issues.

terminate called after throwing an instance of 'nlohmann::detail::out_of_range'

This is due to the incompatibility of Solidity compilers. The "isConstructor" keyword no longer exists from solc 5 onwards. You can try to produce the AST using solc 0.4.25. In...

Makefile does not compile the tools in Tools

Hi, This tool is different from others and you will need to replace the original main.cpp with the main.cpp provided in this tool's folder. Best, Chao

Segmentation fault (core dumped)

Could you provide the source code of the contract?

Segmentation fault (core dumped)

> An error occurred when I try SIF on my Solidity codes > `sif -a ~/Desktop/SIF/out546.ast -j ~/Desktop/SIF/out546.json -o out546.sol` > Then I got > `Segmentation fault (core dumped)` >...