soundiness
0x01 从soundness到soundiness
The typical reasons for such choices are engineering compromises: implementers of such tools are well aware of how they co
...
安全性分析
Posted on
这是我最后一次抄ppt了(认真脸)
0x01 安全
信息安全基本功，(完整性、保密性、可用性)...
首先讨论一个基本问题，什么是安全：
Achieving some goals in the presence of adversaries
在有敌人的情况下仍要达到某个特殊目标
在cyber世
...
CHA
Posted on
资料： https://www.bilibili.com/video/BV1GQ4y1T7zm?from=search&seid=7528278619420042576
01:30 Motivation
04:40 Call Graph Construction(CHA)
65:40 In
...
程序分析之Loops in Flow Graphs
Posted on
此文为编译原理(龙书)9.6章， 补充南大重续分析第6节之后。
1. 支配结点
定义
支配结点
Dominators, 即支配结点， 如果从一段程序的entry point 到结点n的所有路径， 都经过结点m，那么我们就可以说m支配n，记为 m dom n
支配结点性质：
reflexive: a
...
Static Detection of Security Vulnerabilities in Scripting Languages
Posted on
Static Detection of Security Vulnerabilities in Scripting Languages
本文为Stanford大学2005年发表的文章追本溯源，这个Yichen Xie和Alex Aiken团队似乎是PHP安全静态分析比较早的，那个时候，台大的Huan
...
Simulation of Built-in PHP Feature for Precise Static Code Analysis
Posted on
文章题目： Simulation of Built-in PHP Feature for Precise Static Code Analysis.
作者： Johannes Dahse & Toorstem Holz
RIPS研究PHP静态分析几乎绕不开的工具， 一是选择的时间点好，201
...
What's in an Exploit? An Empirical Analysis of Reflected Server XSS Exploitation Techniques
Posted on
原文链接
本文发表自RAID2020年，作者来自微软、东北大学和纽约大学。一项对反射型XSS的实证分析研究。
本文从XSSED和OPENBUGBOUNTY两个网站收集了近十年来的反射型XSS提交的payload。 两个测试集OBB的比较新一些。
image-20201030162110612
...
递归
Posted on
设计一个递归函数， 考虑三个方面： 参数、 中间量、返回值
参数： 设计递归表达式中包含的关键东西， 每一次调用，只有参数在改变。
中间量：中间每次调用时，会在一个新的栈中存储，他在内存上和上次的变量是两块独立的空间，他们的行为只依赖于参数的变化。
返回值： 需要所有过程共同的return值来完成
...
taint
Posted on
如下是一个典型污点分析算法：
一般地，污点分析会选择后向追踪。如果前向按照程序执行的方向追踪，即从sources找sinks往往会有很多误报。 从sinks后向找的话首先定位了漏洞点了。后向的话就是在一个赋值过程中左值为污点传播给右值(lval->rval) 那么一个后向算法的实现：
第一
...
byte
Posted on
计算机和计算器的区别是什么？抛开体积、功能等等，我觉得最本质的区别还是处理的信息域。 计算器只有数学语言的有限编码，它更像是封装了计算机的一个处理数学符号的软件而已。
而为什么计算机可以处理几乎所有的信息域呢？计算机可以通过二进制的0和1，创造出更加丰富的编码来表示更多种类的信息。起初可能计算机和计
...