代码编织梦想

[论文分享] bingo: cross-爱代码爱编程

BinGo: Cross-Architecture Cross-OS Binary Search [FSE 2016] Mahinthan Chandramohan, Nanyang Technological Unive

【程序分析】符号执行_面向程序分析的符号执行实现方法-爱代码爱编程

符号执行入门 参考:https://zhuanlan.zhihu.com/p/26927127 给定一个结果,求解对应的程序输入。 经典符号执行与动态符号执行 参考:https://p1kk.github.io/20

[论文分享] accurate and scalable cross-爱代码爱编程

Accurate and Scalable Cross-Architecture Cross-OS Binary Code Search with Emulation [TSE 2018] Yinxing Xue, Uni

[论文分享] b2sfinder: detecting open-爱代码爱编程

B2SFinder: Detecting Open-Source Software Reuse in COTS Software [ASE 2019] Muyue Feng, Zimu Yuan, Feng Li, Gu

【软件分析/静态分析】chapter7 课程09/10 指针分析基础(pointer analysis foundations)_静态分析 差分传播-爱代码爱编程

🔗 课程链接:李樾老师和谭天老师的: 南京大学《软件分析》课程09(Pointer Analysis - Foundations I)_哔哩哔哩_bilibili 南京大学《软件分析》课程10(Pointer Analysis - Foundations II)_哔哩哔哩_bilibili 目录 第七章 指针分析基础 7.1 指

【软件分析/静态分析】学习笔记01——introduction_李樾static program analysis-爱代码爱编程

🔗 课程链接:李樾老师和谭天老师的:南京大学《软件分析》课程01(Introduction)_哔哩哔哩_bilibili 目录 一、静态程序分析介绍 1.1 PL and Static Analysis 程序语言和静态分析 1.2 为什么要学 Static Analysis? 1.3 什么是静态分析 ? 1.4 静态分析的特征和例子

程序分析与神经网络后门_新加坡管理大学孙军-爱代码爱编程

原文来自微信公众号“编程语言Lab”:程序分析与神经网络后门 搜索关注“编程语言Lab”公众号(HW-PLLab)获取更多技术内容! 欢迎加入编程语言社区 SIG-程序分析,了解更多程序分析相关的技术内容。 加入方式:

klee内存模型_klee代码-爱代码爱编程

klee内存模型 一.LLVM基础二.Klee中相关的类2.1.基础类2.2.内存管理相关类 三.示例3.1.示例13.2.示例23.3.示例33.4.示例4 这篇blog主要通过一些简单

[论文分享] ir2vec: llvm ir based scalable program embeddings-爱代码爱编程

IR2Vec: LLVM IR Based Scalable Program Embeddings [TACO 2020] S. VENKATAKEERTHY, ROHIT AGGARWAL, Indian Institu

svf saber的实现_svf怎么检测bug-爱代码爱编程

SVF Saber 1.基本原理2.API类型定义3.Memory Leak Checker3.1.示例3.2.初始化3.3.程序切片3.4.路径约束求解3.5.报告错误 4.总结5.参考文献

会议论文分享-爱代码爱编程

Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths 1.引言2.问题陈述与分析2.1.实现状态感知

程序分析-爱代码爱编程

一.klee介绍 1.1.简单介绍 Klee是一个LLVM IR符号执行工具(OSDI 08 Paper地址),能够自动生成测试,实现对各种复杂且环境密集型程序的高覆盖率 klee有2个目标: 命中目标程序中的每一

会议论文分享-爱代码爱编程

基于学习的状态修剪策略 1.引言2.Homi算法2.1.概率修剪策略2.2.Homi2.2.1.Collecting Promising Data2.2.2.Generating Features.2.2.3.

eosioanalyzer_wasm的cfg-爱代码爱编程

目录 EOSIOAnalyzer Control flow graph builderStatic analyzer 将得到的Wasm CFG转为IR CFG对IR CFG基本块进行数据流分析输出所有的ED

会议论文分析-爱代码爱编程

Learch: a Learning-based Strategies for Path Exploration in Symbolic Execution 一.Introduction二.Motivation

程序分析-爱代码爱编程

Klee Bug检测 1.系统API调用处理1.1.Free1.2.Overflow 2.vector越界检查3.指针异常4.其它bug klee中目前定义了一些异常退出机制,定义在 ExitO

[论文分享] automated bug hunting with data-爱代码爱编程

概述 Automated Bug Hunting With Data-Driven Symbolic Root Cause Analysis [CCS 2021] 成功网络攻击的成本增加导致了思维模式的转变, 防御者现在

[论文分享] pata: fuzzing with path aware taint analysis_pata fuzzing-爱代码爱编程

PATA: Fuzzing with Path Aware Taint Analysis [S&P 2022] 清华和南大合作的一篇fuzzing结合污点分析的论文, 发在今年的S&P 2022上 论文链接

指针分析-爱代码爱编程

Fast and Accurate Pointer Analysis for Millions of Lines of Code 一.Introduction二.提出的算法2.1.LCD算法2.2.HCD算法