Obfuscation

智能合约代码混淆，感觉还是ollvm的影子，还是那三种模式，只是做了相关的适配以及加了很多其他细节，总体思路是没有变的。

创新点在于使用改进后的混沌映射来做不透明谓词，增加了一定的混淆程度

会议：IEEE Transactions on Software Engineering

等级：CCF-A

Rust语言污点分析相关的几篇内容

• SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.
• Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems.
• Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem
• Detecting Cross-language Memory Management Issues in Rust
• MirChecker: Detecting Bugs in Rust Programs via Static Analysis
• Static Deadlock Detection for Rust Programs

Rust语言污点分析相关的几篇内容

• SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.
• Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems.
• Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem
• Detecting Cross-language Memory Management Issues in Rust
• MirChecker: Detecting Bugs in Rust Programs via Static Analysis
• Static Deadlock Detection for Rust Programs

这是一篇CCFB的文章，来自中科大，文章提出了一种新的二进制混淆模式来抵抗binary diffing技术的分析。

从混淆角度，它是从IR层面切割函数并融合函数，改变了函数的调用关系。与OLLVM是不冲突的混淆，对抵抗binary diffing有很好的效果，并且也是基于LLVM框架，对混淆技术的发展是有意义的。