sCompile: Critical path identification and analysis for smart contracts
Ethereum smart contracts are an innovation built on top of the blockchain technology, which
provides a platform for automatically executing contracts in an anonymous, distributed, and
trusted way. The problem is magnified by the fact that smart contracts, unlike ordinary
programs, cannot be patched easily once deployed. It is important for smart contracts to be
checked against potential vulnerabilities. In this work, we propose an alternative approach to
automatically identify critical program paths (with multiple function calls including inter …
provides a platform for automatically executing contracts in an anonymous, distributed, and
trusted way. The problem is magnified by the fact that smart contracts, unlike ordinary
programs, cannot be patched easily once deployed. It is important for smart contracts to be
checked against potential vulnerabilities. In this work, we propose an alternative approach to
automatically identify critical program paths (with multiple function calls including inter …
[PDF][PDF] sCompile: Critical path identification and analysis for smart contracts.(2019)
Ethereum smart contracts are an innovation built on top of the blockchain technology, which
provides a platform for automatically executing contracts in an anonymous, distributed, and
trusted way. The problem is magnified by the fact that smart contracts, unlike ordinary
programs, cannot be patched easily once deployed. It is important for smart contracts to be
checked against potential vulnerabilities. In this work, we propose an alternative approach to
automatically identify critical program paths (with multiple function calls including inter …
provides a platform for automatically executing contracts in an anonymous, distributed, and
trusted way. The problem is magnified by the fact that smart contracts, unlike ordinary
programs, cannot be patched easily once deployed. It is important for smart contracts to be
checked against potential vulnerabilities. In this work, we propose an alternative approach to
automatically identify critical program paths (with multiple function calls including inter …
以上显示的是最相近的搜索结果。 查看全部搜索结果