吐司博客 
  • 首页
  • 归档
  • 分类
  • 标签
  • 关于
  •   
  •   
FCDetector:Functional code clone detection with syntax and semantics fusion learning

FCDetector:Functional code clone detection with syntax and semantics fusion learning

本文使用调用图(call graph)来组合相关方法、使用CFG(Control Flow Graph,控制流图)来表示代码结构,基于嵌入技术 AST和CFG 的句法和语义特征来识别不同代码段的相似功能。

2021-04-16
智能合约
Smart Contract CFG

Hexo + Github 搭建博客

Hexo Hexo 文档 Hexo 是一个快速、简洁且高效的博客框架。Hexo 使用 Markdown(或其他渲染引擎)解析文章,在几秒内,即可利用靓丽的主题生成静态网页。 Hexo 安装 安装前提 安装 Hexo 相当简单,只需要先安装下列应用程序即可: Node.js (Node.js 版本需不低于 10.13,建议使用 Node.js 12.0 及以上版本) Git 检测是否

2021-04-07
使用教程
Hexo
CCGraph:a PDG-based code clone detector with approximate graph matching

CCGraph:a PDG-based code clone detector with approximate graph matching

本文提出了一种新颖的基于程序依赖图的代码克隆检测器CCGraph,它使用使用一种基于重整WL图内核的近似图匹配算法来检测代码克隆。

2021-03-19
智能合约
Smart Contract 图匹配
Learning features from enhanced function call graphs for Android  malware detection

Learning features from enhanced function call graphs for Android malware detection

本文提出增强函数调用图(E-FCG)的概念来表征应用程序运行时行为,同时开发基于图卷积网络(GCN)的算法来获取E-FCG的矢量表示。

2021-01-06
智能合约
Smart Contract 图匹配
SIF: A Framework for Solidity Contract Instrumentation and Analysis

SIF: A Framework for Solidity Contract Instrumentation and Analysis

SIF 可以生成Solidity 语言的AST、CFG等结构。

2021-01-03
智能合约
Smart Contract
Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Evaluating Smart Contract Static Analysis Tools Using Bug Injection

本文提出了用于评估智能合约静态分析工具的自动化系统方法,SolidiFI 基于将 Bugs 注入到智能合约的所有潜在位置中以引入针对性的安全漏洞。然后SolidiFI使用静态分析工具检查生成的合同,并识别工具无法检测到的漏洞。

2020-12-25
智能合约
Smart Contract
S-gram: towards semantic-aware security auditing for ethereum smart contracts

S-gram: towards semantic-aware security auditing for ethereum smart contracts

本文提出了一种新的语义感知安全审计技术也即以太坊S-gram方案,结合N-gram语言建模和静态语义标记的S-gram方案可用于通过识别不规则标记序列并优化现有深度分析器来预测潜在漏洞。

2020-12-19
智能合约
Smart Contract
teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts

teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts

本文提出的TEETHER可以在允许仅在给定二进制字节码的情况下进行智能合约的自动漏洞识别和漏洞利用能力,并且对所有38,757个以太坊合约进行了大规模分析,在其中815个合约中找到了漏洞。

2020-12-12
智能合约
Smart Contract
智能合约A类会议整理

智能合约A类会议整理

可能包含智能合约相关的 CCF-A 会议。

2020-12-12
智能合约
Smart Contract
Smartcheck: Static analysis of ethereum smart contracts

Smartcheck: Static analysis of ethereum smart contracts

SmartCheck 将 Solidity代码转化为基于xml的中间表示式,然后根据XPath模式对其进行对比检查。

2020-11-26
智能合约
Smart Contract
123

搜索

© 2020 - 2021 Reanon
总访问量 次 总访客数 人