SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Fri 16 Jul 2021 09:05 - 09:40 at ISSTA Demos - ISSTA Tool Demos (Live Discussion) 3 Chair(s): Michael Pradel
With the increasing popularity of block-chain technologies, more and more engineers use smart contracts for application implementation. Traditional supporting tools can either provide code completions based on static libraries or detect a limited set of vulnerabilities, which results in the manpower waste during coding and miss-detection of bugs. In this work, we propose SCStudio, a unified smart contract development platform, which aims to help developers implement more secure smart contracts easily. The core idea is to realize real-time security-reinforced recommendation through pattern-based learning; and to perform security-oriented validation via integrated testing. SCStudio was implemented as a plug-in of VS Code. It has been used as the official development tool of WeBank and integrated as the recommended development tool by FISCO-BCOS community. In practice, it outperforms existing contract development environments, such as Remix, improving the average word suggestion accuracy by 30%-60% and helping detect about 25% more vulnerabilities.
The video is presented at https://youtu.be/U68xS8Wh27A.
Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
18:05 - 18:40 | ISSTA Tool Demos (Live Discussion) 1Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart | ||
18:05 35mLive Q&A | RESTest: Automated Black-Box Testing of RESTful Web APIs Tool Demonstrations Alberto Martin-Lopez Universidad de Sevilla, Sergio Segura Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville | ||
18:05 35mLive Q&A | C4: the C Compiler Concurrency Checker Tool Demonstrations Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London | ||
18:05 35mLive Q&A | echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing Tool Demonstrations | ||
18:05 35mLive Q&A | SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Tool Demonstrations Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University | ||
18:05 35mLive Q&A | ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing Tool Demonstrations |
Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:05 - 09:40 | ISSTA Tool Demos (Live Discussion) 3Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart | ||
09:05 35mLive Q&A | SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Tool Demonstrations Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University | ||
09:05 35mLive Q&A | TauMed: Test Augmentation of Deep Learning in Medical Diagnosis Tool Demonstrations Yunhan Hou Nanjing University, Jiawei Liu Nanjing University, Daiwei Wang Nanjing University, Jiawei He Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University | ||
09:05 35mLive Q&A | ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing Tool Demonstrations | ||
09:05 35mLive Q&A | C4: the C Compiler Concurrency Checker Tool Demonstrations Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London | ||
09:05 35mLive Q&A | echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing Tool Demonstrations | ||
09:05 35mLive Q&A | MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services Tool Demonstrations Hanlin Wei The University of Queensland, Behnaz Hassanshahi Oracle Labs, Australia, Guangdong Bai University of Queensland, Paddy Krishnan Oracle Labs, Australia, Kostyantyn Vorobyov Oracle Labs, Australia |