文章/答案/技术大牛

发布

社区首页 >问答首页 >智能合约人工审计方法及流程是怎么样的呢？

问智能合约人工审计方法及流程是怎么样的呢？

提问于 2019-04-30 15:18:40

回答 0关注 0查看 435

智能合约审计工作多为自动化工具进行，但不同自动化审计工具存在性能不一，结果不全等问题，人工审计将会弥补工具带来的缺陷，但关于智能合约人工审计的文献少之又少，请问r智能合约人工审计的方法、步骤及合约中漏洞的分析流程是怎么样的呢？

区块链

自动化

网络安全

安全

回答 25

诗和远方

发布于 2024-09-26 06:25:22

早上来了泡杯茶，开晨会，晨会结束开始修bug，遇到困难让测试演示复现bug，接着再修bug，让产品再讲讲需求，给产品砍砍需求，喝茶，跟同桌聊聊新的解bug的思路，下楼抽根烟，上楼解bug，解完bug让测试验证，接着喝茶，接着写......

炒香菇的书呆子

发布于 2024-10-07 16:18:48

作为一名(单身)程序员，在业余时间时间，最多的还是去参加各种开发者线上或者线下活动啦。既能学习新知识，也能认识新朋友，也有各种礼品拿哈哈哈

今天减肥了吗

发布于 2024-09-26 13:15:12

一杯茶，一包烟，一个bug调一天。办公室不让拍照，放张网图重在参与，手动狗头保命

和开发者交流更多问题细节吧，去写回答

【已结束】有奖讨论：程序员，怎么应对你的三十岁？

费用中心

本文讨论程序员在30岁时面临的挑战和困境，以及如何通过技术和思维方式的提升来应对这些挑战。作者认为，程序员在30岁时可以尝试转型为技术管理或产品管理，以充分发挥自己的优势。同时，作者也鼓励程序员保持持续学习和自我提升的态度，以应对未来技术的更新迭代。

腾讯云开发者社区

2017/05/08

5K0

大厂程序员的一天是如何度过的？

小李是一位大公司里的程序员，虽然已经在公司上班一年了，但也只能算是个新人，毕竟 title 摆在那里。

程序员黄小斜

2019/07/19

6830

css动画是可以暂停的

css

css动画大家都不陌生，但是你知道css动画是可暂停的吗？如果你不知道就来看看吧。

用户4962466

2019/12/05

9930

有奖征文｜程序员的指尖浪漫？

数据库 sql 腾讯云开发者社区 https

首届腾讯云数据库TDSQL征文大赛开启啦！只要您对腾讯云数据库TDSQL有兴趣、有研究、有想法，皆可参加。无论您是数据库资深开发者，还是小白爱好者，亦或是工作原因接触到TDSQL的用户，腾讯云数据库诚挚邀请您参与进来，分享和TDSQL邂逅的若干趣事。我们已为各位备好了精美大礼，只等您的指尖浪漫。大赛简介腾讯云数据库TDSQL是腾讯自研的企业级分布式数据库，在金融、政务、运营商、电商、游戏等数十个行业中落地应用，具备金融级高可用、强一致、高性能、高可靠等特性。目前，腾讯云数据库TDSQL 已助力

腾讯云数据库 TencentDB

2022/04/13

6670

表格问答完结篇：落地应用

数据分析汽车 sql 腾讯云开发者社区

不知道大家还记不记得，上一篇文章中的X-SQL和HydraNet都是来自微软的模型。微软作为一个老牌科技公司近年不仅在云计算领域迎头赶上，在AI方面也有很多优秀的技术创新和应用。依托于强大的Excel，他们在表格问答方面也有很好的落地土壤。

朴素人工智能

2020/04/21

2.1K0

Python 技巧篇-让我的程序暂停一下

python

它的功能就是当程序执行到这一步就暂停执行，如何继续呢？你在控制端按下任意的键就可以

小蓝枣

2020/09/25

3.3K0

帮忙优化一下问答社区的tdk

搜索引擎 cdn 脚本性能优化

当优化网页的标题（Title）、描述（Description）和关键字（Keywords）时，可以考虑以下几点：

半夜喝可乐

2024/09/30

900

PowerQuery 猴子大仙来踢馆啦！有奖知识问答

bi excel powerbi powerquery

这正是猴子大仙的猴子书，可惜，此书并未上市。（时间未知，佐罗会跟踪报道）我们知道国内的读者很缺乏资料，他竟然趁此来踢馆啦~~

BI佐罗

2019/09/23

8270

是时候解放一下广大程序员的双手了

spring 数据库 sql 存储 java

作为靠双手吃饭的广大程序猿媛们，大家基本都是从数据库的增删改查一步一步过来的，每天都有写不完的代码，好不容易写完了，又会因为改了需求，为了能完工不得不加班写这些简单并且耗时的代码。

小柒2012

2020/05/14

6270

身边有个漂亮女程序员是种什么样的体验？

编程算法

企鹅号小编

2018/01/05

2.7K1

传特斯拉上海厂已暂停生产

model

12月12日消息，据彭博社10日报导，因产线升级以及需求放缓，美国电动汽车大厂特斯拉（Tesla）上海工厂将在12月底起最长至2023年1月初期间阶段性暂时停止生产。

芯智讯

2023/02/09

1730

什么样的程序员才是牛逼的程序员？

编程算法

PS：很多人都为了生活打拼，放弃自己的梦想、兴趣、爱好，像机器一样工作。如果一个人有追求，能够享受生活，活的有趣，对我来说他就是牛逼的。除了技术，日常爱好摄影、音乐。我觉得这才叫程序员，而我这种以及很多普通程序员只能算是民工。总体上而言，厉害的程序员能够对问题（不仅仅是技术问题）有更深入的见解，从而能够根据更复杂的信息做更好的抉择，然后能够执行好这个抉择。

IT架构圈

2018/06/11

60511

什么样的程序员适合创业

php

摘要：前天晚上看吉日嘎啦老师的博客，让我突然找到生命的动力了，熬夜看到3点左右（哥哥我一向都是十点钟睡觉的），最近有看到园子里一个关于程序员创业的文章，不免要浅谈一下自己的一点想法，欢迎各位拍砖，但是是请看完再拍，谢谢正文为什么要创业？原因：给人打工只能解决温饱问题，不能实现国家领导人N前的提出的小康生活水平，感觉对不起党和人民，所以需要创业。想挖一口属于自己的一口井，如果有一天我们老无所依，把我们埋在春天里是不可能了，也不可能让我们活在新闻联播里，还是有一口自己的“井”，比较靠谱自我价值

程序员互动联盟

2018/03/13

1.6K0

什么样的程序员才是牛逼的程序员？

编程算法

恰好最近在反省自己的日常生活，感觉每天做些增删改查、枯燥无味的工作，对于现在的我来讲，学会且能够享受生活就是牛逼，对于其他行业一样。

java架构师

2018/08/23

3630

腾云先锋【技术出题官，等你来挑战】有奖问答活动

腾云先锋

成功参与，就有机会可以获得：丰富的实物礼包、大额的腾讯云代金券、腾云先锋（TDP）反馈交流群的丰厚积分

TDP 官方运营

2021/09/27

1.8K4

和程序员谈恋爱是一种什么样的神仙体验？

机器人

最近小N和朋友们聊起程序员的话题，发现大家对程序员的评价是两极分化：一部分人认为程序员邋遢不浪漫不适合当老公；一部分人认为程序员是智慧与浪漫的结合体，也是理想的人生伴侣。小N在互联网公司工作，长期跟程序员打交道，今天就给大家说说程序员当男朋友有！多！好！（文章内有一波狗粮~） “男朋友等于AI机器人” 小N有个姐妹的男朋友是程序员，有一天她突然一脸严肃的对我说： “我怀疑我的男朋友是个AI机器人！” “哈？” “什么电脑问题他都能够帮我解决。而且哦~他好像和机器人一样会进化！犯过的错误指出来后就立马改正

腾讯NEXT学位

2019/12/05

1.6K0

什么样的模型是好的模型？

数据分析机器学习神经网络深度学习人工智能

导读：什么样的模型是好的模型？相信这是每一个数据分析师和大数据AI算法工程师都曾经默默思考过的问题。

石晓文

2020/10/09

2K0

什么样的代码是好代码？

https 网络安全编程算法

关于什么是好代码，软件行业烂大街的名词一大堆，什么高内聚、低耦合、可复用、可扩展、健壮性等等。也有所谓设计6原则—SOLID:

梁规晓

2019/09/29

1.6K0

ERP是个什么样的存在？

erp 企业

　　当企业达到一定规模，不论之前的管理如何到位，大部分都会出现部门之间资源分配和协作上的问题，ERP软件多种多样，用户先试后买已经是了解一个软件屡试不爽的一个方法了。大多数的ERP都是可以免费申请试用的，像金蝶、甲骨文、仓管云、用友等等，当然了也有一些服务商因为一些个别的原因不提供试用，这个时候就需要利用市面上的资料来选择了。

明象ERP

2019/03/01

1K0

什么样的代码是好代码？

https 网络安全编程算法

即Single Responsibility （单一职责），Open Close（开闭），Liskov Substitution（里氏替换），Interface Segregation（接口隔离），Dependency Inversion（依赖反转）

NaughtyCat

2020/10/09

1.6K0

相似问题

【有奖问答】程序员如何过春节？（已完结）

431K

【有奖问答】程序员的电脑桌面是什么样的？(已完结)

13710

【有奖问答】程序员有哪些浪漫行为？(已完结)

22881

【有奖问答】程序员的快乐是什么？(已完结)

39848

【有奖问答】程序员最想和谁交换生活？（已完结）

24665

交个朋友

加入腾讯云官网粉丝站

蹲全网底价单品享第一手活动信息

问智能合约人工审计方法及流程是怎么样的呢？

回答 25

诗和远方

炒香菇的书呆子

今天减肥了吗

【有奖问答】程序员如何过春节？（已完结）

【有奖问答】程序员的电脑桌面是什么样的？(已完结)

【有奖问答】程序员有哪些浪漫行为？(已完结)

【有奖问答】程序员的快乐是什么？(已完结)

【有奖问答】程序员最想和谁交换生活？（已完结）

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐