This repository has been archived by the owner on May 26, 2023. It is now read-only.
- Optimize symbolic execution by simplifying symbolic expressions. (commit #2bc26a)
- Solved #129 Oyente couldn't convert contracts linking to libraries to opcodes because evm can't convert the placeholder in the compiled binary into opcodes
- Solved #172 Analysis with bytecode didn't record the results of bug detection which led to not report bugs correctly
- #176 Fix source mapping when a contract calls other contracts
- #204 Import other files feature for the web version
- Implement CREATE and DELEGATECALL opcodes
- Reduced false positives of reentrancy attack and call stack attack detections
- Display Ether flows in money concurrency bug
- Generate sample inputs for state variables and parameters that lead to an assertion failure
- Detect assertion failure caused by external function call