feliam
feliam
Hey @lialan thank you for this. The idea of having labels and other more high level constructs is very interesting. I was secretly expecting for someone to use this in...
This is most likely a false positive. I may have built the doc with some unusual tool.
#This happens with the last capstopne pip installed ? shiva@shiva:~/pysymemu-capstone/pysymemu$ echo ++++ >stdin shiva@shiva:~/pysymemu-capstone/pysymemu$ python system.py --sym stdin examples/toy002-libc [+] Running examples/toy002-libc with arguments: [] with environment: [] 2015-04-13 11:26:24,222:...
Apparently from o 0.3.3 to 0.3.4 the caller started to pay for the tx.
Try: ``` def EXP(self, base, exponent) result = 1 for i in range(256): result = Operators.ITEBV(256, exponent & 1 == 1, base * result, result) base = base * base...
Hi! @aj07 I'm exited you want to start this. \o/ Be prepared you'll be approved soon.
@aj07 the idea is to implement the full set of the most common expression optimizations. (cc ryan-shea)
Is it common to have the ABI and not the source code ? We don't _need_ the ABI to analize a bytecode only contract. (Just saying ^. Totally doable, and...
Yes there is. Well.. Though the code that makes the reporting at the end of each state currently assumes there is solidity generated metadata associated to each contract. And it...