chusanchen

Can i use command **$ solcjs --bin test1.sol | tail -n1 > test1.code** to replace **$ solc --bin test1.sol | tail -n1 > test1.code**

Hi dear author Now my **solc version is 0.4.9** and **solc can --bin** but When I execute **$ solc --bin test.sol | tail -n1 > test.code** the error is: **test.sol:27:9:...

Hi dear author when i execute **$ python bin/gen_exploit.py test.contract.code 0x1234 0x1000 +1000** and the **result** is : INFO:root:Finished all paths INFO:root:Finished all paths INFO:root:Finished all paths INFO:root:Found 1 CALL...

Hi  Do u remember me ? long time no see ;)  how can i see my z3 version ?  My version of Python3 is 3.8.5   ------------------ 原始邮件 ------------------ 发件人: "nescio007/teether" ***@***.***>; 发送时间: 2021年1月11日(星期一) 凌晨1:36 ***@***.***>; ***@***.******@***.***>; 主题: Re: [nescio007/teether]...

 My version of Python 3 is 3.8.5。  The command 'Python'  doesn't work in my work so i use the Python3 to execute. just like  $ python3  bin/extract_contract_code.py test.code > test.contract.code...

This is my z3 version 4.8.9 ------------------ 原始邮件 ------------------ 发件人: "故事还长" ***@***.***>; 发送时间: 2021年6月7日(星期一) 晚上9:10 ***@***.***>; 主题: 回复： [nescio007/teether] ERROR: Unknown option --bin (#18)  My version of Python 3 is 3.8.5。 The command 'Python' ...

OK I will try my best to downgrade my z3 to version 4.8.5 :)  Dear author are you Chinese? Do you use wechat? Maybe we can add wechat to make communication easier. Thank you very much and wish you have a good day :) ------------------ 原始邮件 ------------------ 发件人: "nescio007/teether" ***@***.***>; 发送时间: 2021年6月7日(星期一) 晚上9:16 ***@***.***>;...