SIF

SIF copied to clipboard

Hi, Your suggested tool for AST_Diff in its README.md file is: ``` sif -v TypeOfFault -a contract_name.ast -j contract_name.json -b contract_name2.ast -k contract_name2.json ``` However, it seems that `-b` and...

mojtaba-eshghie

Makefile does not compile the tools in Tools

1

It would be great that the default Makefile compiles everything, incl. the tools in [folder Tools](https://github.com/chao-peng/SIF/tree/master/Tools). Then, one could do ``` cd build ./sif ./ast_diff ... ``` How to compile...

monperrus

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

2

Hi, I tried running "sif -a test.ast -j test.json" and get error below: **terminate called after throwing an instance of 'nlohmann::detail::out_of_range' what(): [json.exception.out_of_range.403] key 'isConstructor' not found Aborted (core dumped)**...

leochenseu

Excuse me, can you share a detailed tutorial on SIF, and I've also seen the segmentation fault（core dumped）?

Zddd97

I came across this error when using SIF to generate solidity code, is there any clues ?  The code was written in solidity 0.4.15 and the solc version is...

zhouzihanntu

Continue/break statements and strings problems in CFG generation

3

I'm trying to generate the CFG of my solidity code. Unfortunately there are some problems with Continue/Break statements inside while loop and with strings handling. 1) Continue/Break statements point directly...

diegocom

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

1

Are there any more detailed tutorials, ranging from installing a soidity compiler to using sif?

Tough-Stone

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

1

The error message is: terminate called after throwing an instance of 'std::regex_error' what(): regex_error gcc 4.8.5

bwuwcs

Segmentation fault (core dumped)

2

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)` I don't have any clues...

ToolmanInside