ContractFuzzer generates fuzzing inputs based on the ABI specifications of smart contracts, defines test oracles to detect security vulnerabilities, instruments the EVM to log smart contracts runtime behaviors, and analyzes these logs to report security vulnerabilities.
2021-01-28 05:07:50
1.59MB
1
RBAC-SC: Role-based access control using smart contract中文翻译
2021-01-28 05:07:43
760KB
1
The paper outline a framework to analyze and verify both the runtime safety and the functional correctness of Solidity contracts in F*, a functional programming language aimed at program verification.
2021-01-28 05:07:10
291KB
1
Securify, a security analyzer for Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors as safe/unsafe with respect to a given property. Securify s analysis consists of two steps. First, it symbolically analyzes the contract s dependency graph to extract pr
2021-01-28 05:07:09
1.75MB
1
西门子SIMATIC IPC3000 SMART产品简介pdf,本文档主要介绍了西门子SIMATIC IPC3000 SMART产品的亮点、规格、技术参数等一些详细内容。
2020-05-19 09:12:39
13.31MB
1
SMART LINE系列触摸屏通过MODBUS协议直接与V20变频器通讯.pdf 非常好！！！分享了！值得下载！
2020-05-02 03:05:11
780KB
1
西门子SMART\S7-200\S7-1200部分模块CPU的CAD图，免得自己画了，分享给大家！下载了觉得好用的记得评价一下哦。西门子SMART\S7-200\S7-1200部分模块CPU的CAD图，免得自己画了，分享给大家！下载了觉得好用的记得评价一下哦。西门子SMART\S7-200\S7-1200部分模块CPU的CAD图，免得自己画了，分享给大家！下载了觉得好用的记得评价一下哦。西门子SMART\S7-200\S7-1200部分模块CPU的CAD图，免得自己画了，分享给大家！下载了觉得好用的记得评价一下哦。
2020-02-19 03:02:31
25.27MB
1
这是一个非常出色的关键词链接插件，他可以帮你自动在日志，种类，评论，页面以及标签中增加关键词的链接。
2020-02-01 03:16:09
56KB
1