雪溯

摘要： ## Abstract 背景： 逆向工程的挑战：stripped binary中语义信息很少，且不同的代码优化为assembly code patterns带来了很大差异 本文： 工具: Nero 方法：使用静态分析获取call sites的特征，结合control-flow graph中的call 阅读全文

摘要： ## Abstract 本文：探索LLM在source code上pretrain时的subtokenization效果。 subtokenization: split long tokens into smaller subtokens, in order to ensure the relati 阅读全文

摘要： ## Abstract 本文： 方法：直接从伪代码中利用多数tokens，以此节约计算代价 步骤： 1. Copy: 使用二分类来决定哪些pseudocode tokens to be masked，以便直接使用 2. Generate: 使用Seq2Seq来生成masked PL code 3. 阅读全文

摘要： ## Abstract 背景： 1. decompilers难以恢复注释、variable names, custom variable types 本文： 工具：DIRTY((DecompIled variable ReTYper) 方法: postprocesses decompiled fil 阅读全文

摘要： ## Abstract 方法：4维分类 研究对象： - 19 pre-trained model - 13 SE tasks 阅读全文

摘要： 1. intro Blockchain community防范scam attack措施 包含malicious domains的开源数据库，例如CryptoScamDB和EtherScanDB 多半是使用crowd-sourcing based approach搜集，例如受害者报告 本文探究 th 阅读全文

摘要： Abstract 背景：由于开销过大，目前的sanitization-enabled builds一般不会发布 本文：PartiSan 方法：run-time partitioning technique 阅读全文

摘要： 1. Intro Monte Carlo Tree Search (MCTS) is a decision-making algorithm that consists in searching combinatorial spaces represented by trees. In such t 阅读全文

摘要： 1. Intro memory corruption exploits 能绕过Address Space Layout Randomization(ASLR，地址空间布局随机化)和Data Execution Prevention(DEP, 数据执行保护） Code reuse attacks: c 阅读全文

摘要： Abstract 本文： SAILFISH TASK: find state-inconsistency bugs in smart contracts Method: a hybrid approach, 1. a lightweight exploration phase 2. 一种新的valu 阅读全文