哪位大神能给解释一下_Pragma("function_effects = no_write(1)")

sopho没有more 2016-01-02 05:48:59

网上找了#pragma的参数，没有找到相关内容，，，，，

...全文

176 4 打赏收藏转发到动态举报

写回复

4 条回复

切换为时间正序

请发表友善的回复…

发表回复

sopho没有more 2016-01-02

打赏
举报

回复

引用 3 楼 fefe82 的回复:

编译器可以自定义，得去查编译器文档。

IAR

fefe82 2016-01-02

打赏
举报

回复

编译器可以自定义，得去查编译器文档。

sopho没有more 2016-01-02

打赏
举报

回复

引用 1 楼 pcboyxhy 的回复:

这是自定义用法，当然找不到了

这个可以自定义嘛？自定义的格式是什么呀？

pcboyxhy 2016-01-02

打赏
举报

回复

这是自定义用法，当然找不到了

本文详解如何使用Solidity构建安全、高精度的链上复利计算智能合约，涵盖离散复利与连续复利模型选型、定点数精度设计（1e18）、全局复利乘数状态优化、Gas高效更新逻辑、防溢出与整数截断处理，并强调集成SafeMath和PRBMath等审计数学库的必要性，同时指出利率精度误设、时间戳依赖、重入防护等关键安全风险。

本文深入探讨使用Solidity在以太坊上实现复利计算的核心技术，涵盖定点数精度处理、区块时间驱动的复利周期设计、快速幂算法优化、份额模式（share-based）架构等关键方案。重点分析数值溢出、重入攻击、时间戳操纵等安全风险，并提出Gas优化策略，如惰性计算、链下Keeper触发和OpenZeppelin SafeMath/PRBMath库应用，为DeFi储蓄、质押及借贷协议提供高精度、低Gas、可审计的复利基础设施。

FAUDITOR是一种面向智能合约安全的定向模糊测试框架，核心创新在于融合审计专家知识与自动化测试：通过NLP从审计报告、漏洞库中抽取实体关系，构建金融合约漏洞知识图谱；利用该图谱引导模糊引擎（如AFL++）进行语义感知的交易序列生成、变异与优先级调度；结合状态不变式检查与图谱模式匹配实现高置信度漏洞判定。其关键技术涵盖知识图谱构建、EVM插桩、约束感知变异及多层漏洞验证。

其它技术问题

3,881

社区成员

9,044

社区内容

发帖

与我相关

我的任务

社区管理员

加入社区

近7日
近30日
至今

加载中

查看更多榜单

社区公告

暂无公告

试试用AI创作助手写篇文章吧

+ 用AI写文章