Posts

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

香山杯初赛的3到逆向的WP，不是很难的题，但是有一些新的东西，chaquopy框架，这个框架完成了一套sdk，可以安卓调用python代码也可以python调用java代码。可惜的是python是源码存储，还有研究的空间

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

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

会议：IEEE Transactions on Software Engineering

等级：CCF-A

4道题做了3到，都不太方便纯静态，动调倒是都挺简单的. 最后一题unity的游戏没什么经验，不知道怎么下手，CE也没下就放弃了

更新：又看了一下其实unity还是很简单，只是忘记dnspy该展开那个类了，（我说怎么看不到代码呢

没打，王哥发了我三题，我就看了一下，稍微多花了时间。