yxliang

Hello @cryptomental , I actually don't know whether this is still being maintained. I have had a look at the error: ``` /app/source/contracts/trading/Trade.sol:59:29: Warning: Assertion Failure. Order.Types _type = Order.getOrderTradingTypeFromFillerDirection(_direction)...

@cryptomental This is interesting. Have seen Oyente finished checking `Trade.sol` without reporting any Assertion Failure?

@cryptomental as far as I see, for the contracts that previously said containing assertion failure, they either hasn't been scanned before segfault or they are still being reported as having...

@cryptomental Hey! I'm wondering what the progress on this issue is at the moment. For the issues I can find on Github, looks like it's paused? Or, is it?

Hey @leonardoalt ! I am really interested in OBMC , I think it sounds really cool. I am wondering, have you finished implementing it? Thanks

@walterliang did you mean downgrade? Since the WARNINGs are saying that the versions are too new. Did you mean how to modify the codebase to support newer version?

@walterliang I guess you have to check the difference of the `solc` between the latest supported version and the newer version that is beyond the support version. Then, read the...

@walterliang Is this issue still relevant? If not, maybe can be closed.

@Maryam-Imani sat_stats.json stores the json format of the content of variable `contract_sats`. https://github.com/melonproject/oyente/blob/45f44e8397062e475020f3dddf6476d584c81574/misc_utils/generate-graphs.py#L202 specifies how this variable is built. I think you might need to ask more concretely to give...

@xf97 Referring to https://github.com/melonproject/oyente/blob/6c9d38241449b648909531d09ae0dd5fbd2fcd52/oyente/symExec.py#L111 , the vulnerabilities can be detected are: - integer_underflow - integer_overflow - callstack (Deprecated as this isn't happening in new EVM) - money_concurrency - time_dependency -...